porcoda

8 ms·

31.
by porcoda 10mo ago
Not a big surprise once LLMs came along: stack overflow developed some pretty unpleasant traits over time. Everything from legitimate questions being closed for no good reason (or being labeled a duplicate even though they often weren’t),
32.
by porcoda 10mo ago
Seems the TL;DR is “squished out most of the structural and semantic features of languages to reduce tokens, and trivial computations still work”. Beyond that nothing much to see here.
33.
by porcoda 10mo ago
I do wish when people say happy vs sad with LLMs for code they’d qualify it with what kind of code they’re talking about. I can totally see a web dev being super happy grinding out JS code and someone doing scientific computing being less
34.
by porcoda 10mo ago
Not a stupid question at all. There are two reasons verification tends to happen in these specialized languages: the languages we usually use are often not expressive enough to write things like specifications, and a bit too expressive in
35.
by porcoda 10mo ago
I assume you mean first SMT solver when you refer to Oppen-Nelson? I thought their contribution was the basis for SMT methods.
36.
by porcoda 10mo ago
ACL2 doesn't get a lot of love from the side of the verification community that focuses on the proof systems that are more academically popular (HOL family, CIC family, etc.). A lot of interesting industrial work has been done with AC
37.
by porcoda 11mo ago
Anti-MS sentiment is common in some corners of the tech world. People ignore the fact that the CLI and C# are ECMA standards like JavaScript and C++, and treat them like closed proprietary systems. .NET is a great choice and there are ton
38.
by porcoda 1y ago
I maintain my own library too where I spent a while ripping my CD collection back in the early 2000s (and then again maybe 6 years ago when storage was cheaper to a lossless format). The CDs are all boxed up safely for archival storage, an
39.
by porcoda 1y ago
Ideally that is true. I do see the volume-over-quality phenomenon with some early career folks who are trying to expand their CVs. It varies by subfield though. While grant metrics tend to dominate career progression, paper metrics still
40.
by porcoda 1y ago
Vanilla emacs to start, and then the approach I take to finding interesting packages and config is to read the Emacs Weekly News from Sacha Chua (which often links to articles and videos describing packages and configs). There sometimes ar
41.
by porcoda 1y ago
I think people are willing to pay for privacy protecting software. The problem is I don’t think people trust companies who claim that because there are too many instances of that “privacy” coming with a subtle asterisk. Businesses can’t s
42.
by porcoda 1y ago
Tehran season 3 had a similar fate due to the situation in the region. https://www.hollywoodreporter.com/news/politics-news/tehran-...
43.
by porcoda 1y ago
This update is one of the rare cases where I really dislike the new version. I’m usually happy with Apple updates, even ones the commentators dislike. This time I’m sorta agreeing with them: I don’t like the new iOS. Same with the Mac an
44.
by porcoda 1y ago
Sadly, based on the responses I don’t think many people have read the report. Just read how the essay discusses “exfiltration” for example, and then look at the 3 places that shows up in the NIST report. The content of the report and the
45.
by porcoda 1y ago
That does happen: foundations will fund specific research and universities apply and get it. What is often different is that foundations rarely put out open calls outside the areas the foundation is specifically interested in. That is wh
46.
by porcoda 1y ago
No. Just google for NVIDIA and Adacore to see how Ada is quite alive in NVIDIA land. Ada is quite a nice language that more or less anticipated a lot of the current trends in languages that the safe languages like Rust and friends are fol
47.
by porcoda 1y ago
Yeah, I saw that and was tempted to say the same thing. Ocaml is alive and well, and SML still is in active use. Ocaml has a relatively broad application space, whereas SML is more or less limited to the world of theorem provers and relat
48.
by porcoda 1y ago
The HPCS benchmarks predated Graph500. They were talked about at SC for a few years in the early 2000s but mostly faded into the background. It’s hard to dig up the numbers for the MTA on RandomAccess, but the Eldorado paper from ‘05 by F
49.
by porcoda 1y ago
The RandomAccess (or GUPS) benchmark (see: https://ieeexplore.ieee.org/document/4100365 ) was looking at measuring machines on this kind of workload. In high performance computing this was important for graph calculati
50.
by porcoda 1y ago
Not all of us fell into that trap! My dissertation was written almost entirely using a default document class and a handful of packages, and only towards the end did I apply the university document style to come into compliance. I had more
51.
by porcoda 1y ago
I’m guessing this isn’t just to optimize for binary size. If you have the resources to avoid third party dependencies you eliminate the burden of having to build a trust case for the third party supply chain. That is the number one reason
52.
by porcoda 1y ago
I use it as a C++ alternative on Linux. We ported a substantial code base from C++ to Swift last year and it works great. Performance is better in some places, comparable to C++ in others. Productivity is definitely improved over the C++
53.
by porcoda 1y ago
Can this be aimed at ollama or some other locally hosted model? It wasn’t clear from the docs since their config examples seem to presume you want to use a third party hosted API.
54.
by porcoda 1y ago
Cosmetic changes aren’t exciting. More freedom with what I can run on it, that would be exciting.
55.
by porcoda 2y ago
You’re not wrong. I’ve assumed it’s a side effect of the way the industry deals with career advancement. If you’re an engineer or middle manager, you aren’t going to get a promotion or bonus if you say “we took feature X and made it more
56.
by porcoda 2y ago
I'm all for this more open internet without the walled gardens, but skeptical that we'll get there simply by creating open alternatives. Not only is there a massive amount of inertia behind the walled garden networks that exist n
57.
by porcoda 2y ago
Reminds me a little of Wolfram Tones ( https://tones.wolfram.com/ ) which is a cellular automaton tune generator. I used to use that for the ringtones on my cell phone around 20 years ago when they made that site.
58.
by porcoda 2y ago
I assume they’re making a reference to Lox the food (brined Salmon), so a fish is appropriate.
59.
by porcoda 2y ago
I really wish sites would stop with the clickbait style headlines. “Mysterious” is unnecessary here since there isn’t much mystery about this. If anything, this kind of wording gives non-experts and non-scientists the wrong message since
60.
by porcoda 2y ago
Cool site. One thing I wish we had were rich, open archives of news that could be fed into something like this so we could see not just the live updating perspective, but a retrospective time series of the fascism-o-meter over a long time.

More ›