porcoda

8 ms·

1.
by porcoda 8d ago
They aren't, but the problem is that open problems tend to emerge when people are working on other problems. If fewer people are spending time deeply thinking about current problems since a handful of labs are solving them with AI wit
2.
by porcoda 29d ago
That would be a great outcome of this situation. I doubt it will happen though: unlike fuel efficiency rules, there aren’t likely to be external pressures like that on software. Outside developer circles most users likely are unaware of me
3.
by porcoda 2mo ago
I think mlton is the one to reach for if you want strict conformance to the SML'97 definition [1]. There's a page on the MLton site that describes where SMLNJ deviates from SML'97 [2]. I'm surprised Gemini says SML&#x2F
4.
by porcoda 2mo ago
For those interested in the Standard ML compilers, Mlton is another one worth checking out. Standard ML of New Jersey (smlnj) is another interesting one although it tends to be more of a research vehicle than polyml or mlton. If you are i
5.
by porcoda 3mo ago
I am eager for a lean equivalent of flocq in rocq. When I did some lean verification of numerical algorithms I did the same thing with rationals or the reals from mathlib. The big gap between that and the actual code is the lack of a soli
6.
by porcoda 4mo ago
I use it a few times a week for about that long, almost exclusively as a virtual display for my MacBook. I bought it mostly because I travel for work, and when I'm stuck in a hotel and want to work I wanted something similar to my big
7.
by porcoda 5mo ago
NSF is one of the primary agencies supporting research in the US. It’s not a “foundation” in the sense of charitable foundations if that’s what’s confusing you about their name. The base research engine that fuels the US in most disciplin
8.
by porcoda 5mo ago
Not really surprising. I would guess this goes beyond just the AI and jobs issue. Your average person sees AI all over the place in contexts they didn’t ask for it but can’t escape. Social media is covered with AI garbage (e.g., AI gener
9.
by porcoda 5mo ago
As others pointed out, the explosion of interest started with the deep convolutional networks that were applied in image problems. What I always thought was interesting was that prior to that, NNs were largely dismissed as interesting. Whe
10.
by porcoda 5mo ago
Yup. The rumor mill was talking about a CEO change for a while, and around the time you saw the rumors building you saw the departures you mentioned. Ternus was being mentioned as the likely successor at least back to November last year.
11.
by porcoda 5mo ago
I’ve had similar experiences with code I’ve proven correct, although my issues were of the more common variety than the overflow issue - subtle spec bugs. (I think the post mentions the denial of service issue as related to this: a spec ga
12.
by porcoda 6mo ago
In my experience over the last couple years, lists like this won’t move the needle at all. The AI zealots reject anything that calls into question the AI stuff, usually appealing to “just wait, better models/agents/guardrails imm
13.
by porcoda 6mo ago
Effective April 20? Sometimes these days it’s hard to distinguish reality from The Onion.
14.
by porcoda 6mo ago
Interesting how not many comments talk about the game itself and how Epic may have driven their own players away with changes that players dislike. I’ve played for most of the life of the game pretty regularly and I’ve found myself growing
15.
by porcoda 6mo ago
I work in a subfield of CS that requires those fundamentals pretty regularly, and I also make regular use of AI tools. You definitely need those fundamentals because AI tools can’t always be trusted to make good decisions when it comes t
16.
by porcoda 6mo ago
They define this: “The influencers presented their claims as exposés of industry deceit, despite offering no verifiable evidence to support them.” So, misinformation = make claim with no supporting, verifiable evidence. Seems like a pretty
17.
by porcoda 6mo ago
> Absolutely not. Reading a language is crucial. I don't think the post implied that this package writing activity was a write-only activity where reading and learning is strictly forbidden. > You can find open source licensed pa
18.
by porcoda 7mo ago
Not really a new term: “warfighter” always has made me cringe but it’s been commonplace in defense contractor pitches to DoD for many years. Basically, if you hear it being used you’re likely in the presence of someone who does (or did) Do
19.
by porcoda 7mo ago
I noticed the same thing, having also written an interpreter for the Wolfram language that focused on the core rule/rewriting/pattern language. At its heart it’s more or less a Lisp-like language where the core can be quite small
20.
by porcoda 7mo ago
The em-dash metric is silly. Some people (including me) have always used them and plan to continue to do so. I just pulled up some random articles by Wolfram from the before-LLM days and guess what: em-dashes everywhere. One sample from
21.
by porcoda 7mo ago
Yes. This is one of the things that drives me nuts about a lot of titles on here: the context like “for the web” changes how it’s is interpreted a great deal. I see the same thing when I see posts about other languages and AI and such. C
22.
by porcoda 7mo ago
This seems like a business opportunity. “Ethically sourced organic mud speaker wires for a clean, organic, pure sound.” /s
23.
by porcoda 7mo ago
The footnote on their sentence about assembly programmers: “I mean, I dunno. I'm not a historian. This is a vibes-level historical reconstruction. I would be curious if this is way off base though” So, yeah. They just made it up becau
24.
by porcoda 8mo ago
> At the end of the day, I am a Builder. I like building things. The faster I build, the better. This I can’t relate to. For me it’s “the better I build, the better”. Building poor code fast isn’t good: it’s just creating debt to deal
25.
by porcoda 8mo ago
I’ve done both Swift and rust for Linux applications (symbolic analysis tools and compilers, not web stuff or other server apps). I have to say, I’m torn after building a couple moderate (10-30k SLOC) scale tools in both. I prefer swift s
26.
by porcoda 8mo ago
In their revenue report this week out of $140B, services made up 30B. 140B-30B = 110B. Thats pretty far from bankruptcy.
27.
by porcoda 8mo ago
Nah, it’s just Wolfram being Wolfram. He was generating this scale and style of content well before LLMs were a thing. He usually has some interesting ideas buried in the massive walls of text he creates. Some people can’t get past the s
28.
by porcoda 8mo ago
I’m glad to see people finding coding accessible again. To me this kind of common “AI made coding fun and accessible again” message signals something deeper. As a field, we allowed our systems to get so complex that we lost people: and AI
29.
by porcoda 8mo ago
Ad driven internet content is at least 25 years old, so it’s had time to settle into the equilibrium the market will converge to. The current state of things is precisely where the market drove it to, so it seems pretty clear that the “inv
30.
by porcoda 9mo ago
I regularly use Claude and friends where I ask it to use the web to look at specific GitHub repos or documentation to ask about current versions of things. The “LLMs just get their info from stack overflow” trope from the GPT-3 days is lon

More ›