minimaltom

3 ms·

1.
by minimaltom 5d ago
Wait _how_ Very cool
2.
by minimaltom 23d ago
Hell yeah, whats your thoughts on doing it for like a whole city?
3.
by minimaltom 24d ago
This is beautiful! I would love if we could model out a whole city, ideally using a much cheaper model.
4.
by minimaltom 24d ago
You can have a prediction be specific and falsifable while inside the system, its just then riskier (and less useful). For example, that french dude that bet on a prediction market what the temperature would be, then broke into the weather
5.
by minimaltom 24d ago
Its a fair question to ask! and ive landed on the opposite answer lol
6.
by minimaltom 24d ago
Indeed!! It was an example of an utterance that wasnt falsifiable to illustrate what falsifiable means.
7.
by minimaltom 24d ago
That’s the crux of it!! You don’t have to agree but people do care, and I think (ignoring the obvious partisans) that’s the two dominant camps of commenters on this thread. One pony’s trash is another pony’s treasure, so I guess here one pe
8.
by minimaltom 24d ago
Take a look at the thread below yours, but basically if the prediction has to be wishy-washy or just interpreted as 'direction', theres way more noise and way less signal. Why not just state the underlying trend/forces instea
9.
by minimaltom 24d ago
Falsifiable means able to be correct or incorrect. So if i said that my stepmom was kinda whelp, that wouldnt be falsifable, because like what does that even mean. But if I said my stepmom is going to be on her third marriage by the end of
10.
by minimaltom 25d ago
I agree he is directionally correct, or at least is a vessel to raise important points and valid criticisms. But predictions need to be specific and falsifable. If not, its just rag-chewing over a beer (luv that shit, but i aint predicting
11.
by minimaltom 25d ago
Yeah, I think this is fair criticism, and I definitely felt the pointedness in the tone as well. On the overly-literal / narrow thing, I think thats the culture around evaluating predictions overall. Like, all those posts around christ
12.
by minimaltom 25d ago
You made a poor characterization of the content of the post and were rebutted with direct quotes. It happens, thats okay! Its not an attack on your character. There's no need to feel defensive!
13.
by minimaltom 25d ago
Idk about that. A bunch of his wrong predictions were predicated on things turning sour sooner than a "year or so" than now.
14.
by minimaltom 26d ago
Hell yeah a birdie over thirty, with a splash of tech! (you either go the path of a burner or a birdie, I don't make the rules)
15.
by minimaltom 27d ago
Its not in the kernel but in the userspace tool that goes from password to key (the key is handed to the kernel). You can see the implementation here: https://gitlab.com/cryptsetup/cryptsetup/-/blob/main&
16.
by minimaltom 1mo ago
Oh like one of those scenic cone towers like on a nuclear power plant? Iiuc youre saying: its more cost-efficient to waste water using evaporative cooling so thats what we'll get, not that a closed loop with a heat exchanger is technic
17.
by minimaltom 1mo ago
For datacenters specifically I've never understood what specifically consumes the water. Arent the water-cooling loops closed, so the water just cycles around and around and around?
18.
by minimaltom 1mo ago
Thats what I thought too but then it would be s**?
19.
by minimaltom 1mo ago
Interesting, for anything more than side chats/projects I usually am watching the output generate and thinking about the problem. I have the same issue with switching back, takes a while to recall and page everything back into my conte
20.
by minimaltom 1mo ago
What is bpw? Also whats your cutoff for 'acceptable' speed? I would have said 25tok/s.
21.
by minimaltom 1mo ago
Worth distinguishing knowledge/task benchmarks from IF / agentic. It doesn't seem out of the question that you can have a small model thats generally good at instruction following and long-horizon agentic, as usually in those
22.
by minimaltom 1mo ago
Architecture thread! Afaict they continue to use gated attention + delta net, which was also adopted+adapted by K3, but im surprised theres no improvements to the residual stream (deepseek are using manifold hyper-connections, kimi have att
23.
by minimaltom 1mo ago
I mean look at the name... this seems more like a fun quip than a product. I'm over here basking in the glow of dem vibes.
24.
by minimaltom 2mo ago
Yeah 100%! And I'm sorry if I sound a little more critical and less eager, its just thats theres a world of difference between a priori finding the bug, and reproducing it, and the impression of the article (from my read) was the forme
25.
by minimaltom 2mo ago
Thanks for clarifying! It would be really interesting if Antithesis finds the bug when: 1. The specific bug isnt mentioned 2. (If youre game) a model with a knowledge-cutoff date before the report is used
26.
by minimaltom 2mo ago
I went clicking through to see if I could find the prompt they fed the AI to locate the issue / write the test suite. I couldn't find it, so its unclear if the prompt was completely "make a test suite" or was lead toward
27.
by minimaltom 2mo ago
I'm equal parts intrigued and skeptical- I guess if the prompt doesn't lead on there is a bug there then I'm impressed.
28.
by minimaltom 2mo ago
Idk if its accurate to rote project the policies of OpenBSD to OpenSSH, yes technically its a subproject but in practice stewardship and thus effective policy is pretty much all damien.
29.
by minimaltom 2mo ago
What about mHC? I'm surprised it helped with such a small compute budget.
30.
by minimaltom 2mo ago
Was really cool to see yous use Engrams to cut down compute! Given its basically an O(1) lookup with disk space being the main constraint, I was curious if you've tried ablating engram layers and sizes across your setup? Also, why mHC

More ›