dnautics

5 ms·

1.
by dnautics 3d ago
> but I doubt it can be useful without proper integration with the language itself So projects like mypy or sorbet aren't useful because they aren't properly integrated?
2.
by dnautics 3d ago
> LLM decisionmaking cannot possibly be like human decisionmaking I mean how can it possibly be like human decisionmaking? It's not like it's trained on human data
3.
by dnautics 4d ago
You can very likely borrow check in languages that don't have it in the type system. Exactly the way you suggest, as an optional add-in. It's still WIP but in my side project I haven't found cases that can't be handled
4.
by dnautics 4d ago
I feel like 5g is worse
5.
by dnautics 4d ago
DOGE has only been a year and change. Screwworm does not suddenly appear like that.
6.
by dnautics 5d ago
Hasnt automattic been around for a decade?
7.
by dnautics 6d ago
There is no reason to believe that the transformers couldn't be doing something close to what copycat does (especially with thinking tokens), as an emergent phenomenon of the sheer size of the corpus. The architecture is certainly cap
8.
by dnautics 6d ago
What are you talking about? There have been 5 (five) cases of screwworm in the us and the us is responding by producing millions of sterile male screwworms a day as we speak.
9.
by dnautics 7d ago
Unless your eye can casually assemble great circle routes it's hopeless on any projection except the radial one (and then only for routes emanating from one spot)
10.
by dnautics 7d ago
What's the task here?
11.
by dnautics 7d ago
> many tasks where Mercator would be more useful than an equal-area projection. What sort of tasks besides a size measuring contest is an equal area projection good for?
12.
by dnautics 7d ago
"Maybe it’s really verbose, or maybe you can’t do it inside certain kinds of statements. Maybe you can only call them on line numbers that are prime." Nope. If it's explicit but maybe like a single keyword away that's n
13.
by dnautics 8d ago
No. Function colors (see criterion 4 in the original article) deal with the idea of "how much of a pain in the ass is it to deal with" which is not really a concept that is a PL theory concept.
14.
by dnautics 9d ago
WIP, but that is the target ethos in the prover I'm building: https://github.com/ityonemo/bpa Its painfully verbose and explicit but its designed to let you cut down to the structure of the proof with a query lang
15.
by dnautics 9d ago
sure, but that's not the 14th amendment. Maybe the guarantee clause. It MIGHT touch the 14th amendment via incorporation. That's not what the attorneys argued.
16.
by dnautics 10d ago
> If the model can understand neuralese why can it not convert it into English for monitoring or review purposes Colas described in-article cntent review is done by a weaker model (think like maybe gpt-2 class or llama8b class), and it s
17.
by dnautics 10d ago
I think this is correct. But the article is also correct (If a bit breathless and overstating on the risk): having to reinterpret neuralese is a layer of indirection which introduces effort and inaccuracy
18.
by dnautics 13d ago
Is anyone else noticing degradation of quality many evenings from 9pm-2am-ish ET? I wonder if anthropic has some sort of usage pattern that incentivizes them to route to weaker models. I also fully acknowledge that I might be making spurio
19.
by dnautics 13d ago
You can wrap claude code in a harness without -p, it works fine. I think most of the concern was that -p resubmits the entire chat history on each prompt which is really bad for kv caching, and when Anthropic announced that they were ok wit
20.
by dnautics 15d ago
No requirement doesn't mean "don't be a mensch"
21.
by dnautics 15d ago
It's an slm
22.
by dnautics 15d ago
They said "nearly nothing". As a fraction of total effort I'd say that the contribution of academia is relatively low. If you're going to say something dumb like overweighting foundationality, I can counter by remindin
23.
by dnautics 17d ago
Nah even traits are kinda bad because it increases the indirection necessary for code reading
24.
by dnautics 18d ago
I don't think so. It's pretty clear that LLMs use the higher level layers for reasoning, so a bit of logorrhea very possibly enriches the result quality.
25.
by dnautics 18d ago
The stochastic parrot epithet is so 4 months ago
26.
by dnautics 21d ago
As a former academic scientist, I suspect it's not gonna work out like they think it will--the process will self select for mostly lemons.
27.
by dnautics 22d ago
So you're technically correct, but IIUC Tesla is still the most delivered (customers taking delivery) EV brand in China. Draw what conclusions you will from that fun fact
28.
by dnautics 24d ago
is it? They extended the study from "just wales" to "all of UK" and I wonder if it's possible that in the rest of the UK, adherence to the strict week-of-eligibilty criteria was less strict than in wales.
29.
by dnautics 28d ago
isnt its core literally femtolisp, ehich was written by one of the julia authors?
30.
by dnautics 28d ago
by my understanding: there is an extensive and complicated cooling system that permeates the wafer. some of the cores are completely turned off because they fail qc (see the tsmc logo) if all of their neighbors have been going at full bore

More ›