jaen

6 ms·

61.
by jaen 5mo ago
Uhh... did you read the same article? Where does it propose re-inventing the wheel? It just says "make things addressable" eg. an URL for every object. Regarding your examples, they don't even make sense in that context.. eg.
62.
by jaen 5mo ago
Noticed this myself as a VSCode-derivative user. But I think this is just because having multiple Python extensions enabled generally breaks the UX... Since VSCode doesn't really have a nice way for multiple language extensions to coop
63.
by jaen 6mo ago
Just by the (lack of) inter-model variance, I don't think SWEBench-Pro does a very good job of representing model capability. Terminal-Bench seems more challenging and separates the wheat from the chaff. Also, *ops work, which in my ex
64.
by jaen 6mo ago
For similarly sized models, not looking very good on the slightly-less-benchmaxxed Terminal-Bench 2.0: Laguna XS.2 33B-A3B params: 30.6 Qwen 3.6 35B-A3B : 51.5 Devstral 2 123B : 31.2 Quite a huge lead for Qw
65.
by jaen 6mo ago
SEO spam link. Actual webpage of the project: https://opencoworkai.github.io/open-codesign/
66.
by jaen 6mo ago
T3 Code should be similar: https://t3.codes/
67.
by jaen 6mo ago
Crystal has an explicit static type system and is actually optimized at the language level for AOT compilation. These features are pretty much required for compiling and maintaining large programs. This is for a limited subset of Ruby -
68.
by jaen 6mo ago
There are ways to partially improve or at least quantify the specification gap using LLMs, by analyzing variance in the output formal specification when given a natural language specification (by eg. generating many formal specs from an inp
69.
by jaen 6mo ago
No. Did you even read the article? It talks about the "specification gap", which is the difference between the formalized semantics and the intended semantics. Every formal method has that problem (including the mentioned trivial
70.
by jaen 6mo ago
LLM-generated slop. Could be written as two paragraphs.
71.
by jaen 6mo ago
C# is a great language with almost unlimited power and great ergonomics (as the article shows), but the .NET CLR (runtime) is a bit overcomplicated with a distinct "Java smell", and packaging and distribution is still meh. If they
72.
by jaen 6mo ago
Maybe the content is great, but the AI writing style is really grating with its staccato sentences and faux-"profoundness". Can't bear it any more, stopped reading. "You’re not checking logic. You’re checking shape.&quot
73.
by jaen 6mo ago
Unfortunately, somewhat of a substanceless article, looks more like SEO spam. Reiterates the same points everybody on HN has been making for the last couple of months and adds nothing new.
74.
by jaen 6mo ago
There are actually two different types of case fans - high airflow vs. high static pressure. The CFM number alone doesn't show that. I assume the high static pressure ones would do a much better job in this context.
75.
by jaen 6mo ago
I wish the "optimizations" meme would die as well, read my comment upthread on how that's generally inaccurate.
76.
by jaen 6mo ago
That's a blatant simplification, and does not match reality as far as I've seen. The OS only only has one large source of memory it uses "optimistically" - the file/buffer cache. But that's tracked separately
77.
by jaen 6mo ago
It's a multi-level sauna though, so it's "choose-your-own-temperature" (due to the hot air gradient), not everybody is there for the 120C experience.
78.
by jaen 6mo ago
110C is not that unusual in the Nordics (although way above average, it's for tougher sauna goers). I've been in one. Not most people's cup of tea though, the experience is comparable to the opposite of a long cold plunge.
79.
by jaen 7mo ago
It doesn't write anything extra to the browser history. How about actually checking before exaggerating. If you are bothered by a single wrong title with the right URL, well... I think something else is wrong. You are also completel
80.
by jaen 7mo ago
That site/app doesn't have a single piece of information about who's running it, what the privacy policy is (besides some AI slop in the FAQ section) etc. etc. - and you're supposed to put business-critical information i
81.
by jaen 7mo ago
Those TFLOPS numbers are quite useless as they are "marketing peak TFLOPS". There's usually a 10-100× difference between that and actual computational capabilities in meaningful general workloads. It only makes sense to compa
82.
by jaen 7mo ago
What is this based on? Where did the content come from? It looks quite LLM-generated TBH.
83.
by jaen 7mo ago
Not quite, the Earth Simulator in 2003 had 35.86 Linpack TFLOPS, 10TB of RAM and 700TB of disk. That's still almost three orders of magnitude from the iPhone 12 (0.02 Linpack TFLOPS, 4GB RAM, 256GB storage).
84.
by jaen 7mo ago
That's assuming every developer can get the same AI efficiency boost and contribute meaningfully to any feature, which is unfortunately not really the case. Seniors can adjust, but eg. junior frontend-only devs might be doomed in bot
85.
by jaen 7mo ago
No, it's not, that links to a different page, this is a blog post.
86.
by jaen 7mo ago
HTML+JavaScript-based statically hostable apps (eg. presentations) can't use paths as deep links, since there's no standard for simple static hosting or URL rewriting (even 30 years later). Oh well.
87.
by jaen 7mo ago
Was fun and kind of meditative locking in like that – I noticed that the anti-glare coating on my screen introduces a visibly larger Δ than the later stages of the game (kind of a dithered "cloud" noise), making it quite a challen
88.
by jaen 7mo ago
That didn't answer or reply to the original question... Security is orthogonal to performance. My question was, how is the performance better? (as implied by the word evaluations ) (also the original post was about exposing all sort
89.
by jaen 7mo ago
(I'm not upset at all, I'm confused.)
90.
by jaen 7mo ago
Lovely bag of tricks. Abstractly, representing differences seems to make a lot of problems easier / more general. For more weird stuff, see eg. regular expression derivatives, differential dataflow.

More ›