It can be a mix of both. There's no reason, after all, that humans no longer being the most intelligent systems on the planet has to mean giving up such a passion, especially since it means living in a world with more and not less mathematics. One has to separate the joy of doing mathematics from a capacity (or, more importantly, need) to obtain a living doing it from the pride of being the best in your field.
It's interesting to recall Turing's own position: "There would be great opposition [to AI] from the intellectuals who were afraid of being put out of a job. It is probable though that the intellectuals would be mistaken about this. There would be plenty to do, i.e. in trying to keep one’s intelligence up to the standard set by the machines, for it seems probable that once the machine thinking method had started, it would not take long to outstrip our feeble powers. There would be no question of the machines dying, and they would be able to converse with each other to sharpen their wits."
On the other hand, Thomas Bernhard's The Loser is a horrifying account of the opposite standpoint---of an essentially second best piano student who cannot stand existing in a world with Glenn Gould.
Major religions, minor religions, cults will have a field day. Or more like a field century or a millennium or twenty, who knows.
Up to a few years ago, I would see or read some science fiction that was medieval times with spaceships (ala Dune) and I would roll my eyes and think “ffs, can’t people move on and invent something more original?”. Now I seriously believe that’s one of the most benign futures waiting for our species[^1]. Not that there aren’t lots of lights in this tunnel, it’s just that its shadows are very black.
“ 39. Re graphics: A picture is worth 10K words - but only those to describe the picture. Hardly any sets of 10K words can be adequately described with pictures.”
Perlis has an aphorism for this, as he does every important problem [0].
I’ve been doing really heavy text analysis work with LLMs where false negatives/misses are important to minimize and my god did I hit cost thresholds quickly with 5.6 Luna — it was the first time I felt motivated to seriously work with local open models, even if inference was degraded for the task. Cheaper and much better inference now brings me back to the closed models for better or worse.
It’s more than that, I think. I read through the various government statements as I was curious about rationale and precedent: the other two groups impacted by the order are rather unambiguous extremists, so understandable. In the extended justification for this a/I group, the US gov lists a large number of US and EU “Antifa” groups that variously leverage their services, including one that the individual recently arrested for wiping his phone is meant to be connected to. It suggests to me this was the result of some considerable network analysis and that the intent is to now have stronger legal tools to go after those groups.
I think that second (speculative, of course) step would be the more worrying precedent: if the use of technical infrastructure also used by designated groups was formally made to be incriminating/right-waiving. Why wouldn’t that apply to Signal, for example? The OP suggests the dividing line should be between true infrastructure open to all, including unsavory actors, versus tools that advertise services to a particular faction. It’s not an entirely disagreeable distinction, but I think in practice it’s rather fuzzy (Moxie of signal is/was rather far left himself, if I recall).
EDIT: Re-reading the document, the state department emphasizes that a/I “manually vets all potential users.” OP’s distinction stands for now.
I share most HN'ers priors about this administration and its motives and am commenting positively, not normatively, and only about the specific claim the Treasury Department made.
Signal doesn't knowingly and deliberately provide services to any organization, let alone one formally designated by the US and the EU. The whole point of Signal is to eliminate all pretenses of the service knowing who its users are or what they're doing. To the extent that's also true of Autistici Inventati, the OFAC designation is invalid.
Yes, I originally only meant to note that in the extended statement on a/I the PKK isn’t mentioned and the focus is rather on a network of “antifa” groups [0]. With respect to your legal point, I reread the document and we’re in agreement: the state department goes to lengths to demonstrate that a/I “manually vets all potential users.”
I feel much more confident saying that regardless of the validity of the underlying legal argument, this administration's messaging (on everything) is unhinged and partisan. I'm purposefully not reading into or out of what they're saying.
I don’t think the effects on the hardware market of open weight models triumphing has been reflected upon enough. It’s not clear that it will be less impactful if every enterprise decides to build for predominantly on-premise inference. In fact, before the question is ultimately decided, we’re probably heading towards a few years where hobbyists, enterprises and ‘hyper scalers’ are all competing for certain parts in common. Ram booked through 2027 sounds about right.
Companies are avoid risks, and at this stage, sometimes, I feel that all cloud providers are just buying RAM that they would have bought anyway. Now it's ensure that no company will be willing to pay x digits just for cards. One of my clients is stuck in "we are doing things on premise but we are too cheap to spend a few 100k in cards but we don't want to go on clouds.
Professionally, Scala was always my favorite language to work in and I was lucky to get to use it most of my career. It is, however, probably the worst language I’ve experienced using with LLMs. Next worst is any dynamic language: it’s just so hard to not introduce strange bugs after iterating on a large-ish project across multiple agent sessions.
I’ve had good enough experiences with Rust, but actually OCaml has been hands down the language I’ve seen best results with. The quality (and performance) of code is just phenomenal — and the main issue when working as a solo human with the language, namely smaller pool of community libraries, just isn’t an issue any more. Jane Street has really done tremendous work modernizing the language and tooling.
I've experience severe problems with Scala in teams with different skill levels or programming styles. Sometimes Scala code was very cryptic. As much as I like the elegance of the language as such, I've given up on it completely because it is not a good fit for industrial software development in my opinion.
having claude to work with has actually been pushing me from ocaml to rust for some of my personal projects. the LLM makes up for the fact that rust is less ergonomic, and being able to pull parts of my project out into libraries that can be called from any language is a rust superpower that is hard to turn down.
This is fascinating. I haven't really kept up with SEO for years, but was recently helping an academic publisher setup their web presence and ran into exactly this issue: Google was/is refusing to index the actual journal articles on the new site and they were moved into this liminal "Crawled, not indexed" state before vanishing entirely. Comically, it's now easier to get your content indexed and served with a visible link by ChatGPT than it is Google...
If I recall correctly, the film actually had Emmanuel Goldstein of 2600 and Kevin Mitnick as consultants, so despite the hollywood treatment you have moments of accuracy like https://www.youtube.com/watch?v=4U9MI0u2VIE. Probably the only time Compilers: Principles, Techniques and Tools made it to the big screen. At the yearly 2600 conference, they used to always do a big group rollerblade through NYC.
Yeah it's a whole lot better than the usual Hollywood depiction of hacking which brought us gems like creating a GUI in visual basic to trace and IP address. And more importantly it doesn't take itself too seriously which I think makes the ridiculous parts work just like much sci-fi takes liberties with the science part when required for the story.
Interesting, yeah I thought there must have been some consultation there. Especially because there's a couple instances where the hackers rely on social engineering over the phone first, and faking the "coin added" noise on the payphone. I guess a hollywood suit could have come up with that, but I doubt it
It's interesting to recall Turing's own position: "There would be great opposition [to AI] from the intellectuals who were afraid of being put out of a job. It is probable though that the intellectuals would be mistaken about this. There would be plenty to do, i.e. in trying to keep one’s intelligence up to the standard set by the machines, for it seems probable that once the machine thinking method had started, it would not take long to outstrip our feeble powers. There would be no question of the machines dying, and they would be able to converse with each other to sharpen their wits."
On the other hand, Thomas Bernhard's The Loser is a horrifying account of the opposite standpoint---of an essentially second best piano student who cannot stand existing in a world with Glenn Gould.