tatjam

5 ms·

1.
by tatjam 8d ago
The only possible way for this to do anything measurable if it somehow reduces the 50/60Hz AC hum impressed on your body. But either way with the wavelength of 60Hz in meat being like earth sized I dont think any significant electric f
2.
by tatjam 11d ago
I presume "anti-satellite campaign" means hundreds of anti-satellite missiles launched into LEO / MEO, at which point we do have a serious problem
3.
by tatjam 12d ago
Well considering the proof is pretty much accepted by mathematicians to be correct (I'll be happy with that!), it would be sort of unnecessary to cheat. Maybe if some aspect is really tricky to formalize it could have done something th
4.
by tatjam 12d ago
I think there's a big misunderstanding going on here, translating the proof to Lean is, well... a translation task. Formalizing the proof in a way that's useful (breaks the proof down into relatively independent blocks that can be
5.
by tatjam 15d ago
Makes sense, I presume any defense corporation (even small ones of the drone manufacturer style) could get one of these running in a few months if needs arise. Now, for the defense model of "western" nations (once again, not sayin
6.
by tatjam 15d ago
I wonder, at the point of such a simple thing as the Saheed (there are videos online of some of its electronics, not saying it's bad, indeed it's cheap and effective, but it's dirt simple), does the USA really need to reverse
7.
by tatjam 25d ago
I'm a bit of a victim to this mindset. I don't particularly play many video games, except the occasional one that clicks, but love making small game experiences and similar. I find that gamedev programming is very fun and engaging
8.
by tatjam 1mo ago
I'm running my remarkable on some ancient software version, and honestly for my use case (reading textbooks and occasional note taking) the old version is perfectly fine. I don't connect it to the internet, just use the awesome RC
9.
by tatjam 2mo ago
Also read Greg Egan's short story Luminous :)
10.
by tatjam 2mo ago
In a twisted kind of way, this is an advantage of going to court in the US being SO expensive, even $500k may not be enough to justify it!
11.
by tatjam 3mo ago
You can't use a solar sail for this, but if you use lasers, you can get a few newtons / GW of incident laser power. Sci-fi stuff but if you can make a very very light reflector that can somehow be cooled (microscopic IR dipoles co
12.
by tatjam 3mo ago
Galileo already contains this function for the navigation message via OSNMA, and GPS CHIMERA is soon to be operational, with the latter actually including crytographic "signatures" in the spreading code itself, so if you use these
13.
by tatjam 3mo ago
Uranium is not even that rare, it's just that when chemistry fails at separating atoms, you have to use physics, and 3 ~proton~ (EDIT: neutron) masses is very little to work with
14.
by tatjam 3mo ago
This is a very cool idea, feels like a sane way to use LLMs in this crazy time! Could be a very good way to break the ice when starting a new project and everything is friction.
15.
by tatjam 4mo ago
I'd honestly love to see the PCB. Using an LLM for a mostly geometric task like PCB layout feels like using a hammer to cook a chicken, unless KiCAD has some kind of text-based description language i'm not aware of that gets aroun
16.
by tatjam 4mo ago
Aggh if only its LSP was better! I have always run into issues when using Helix with it (it kept crashing), and I'm absolutely spoiled by good LSPs in other languages :( Wish I had the time and skill to actually contribute to the LSP,
17.
by tatjam 4mo ago
Welp, I mean once the Rust rewrite is merged, isn't it vibecoded? Fair enough, it was vibecoded from a pretty detailed Zig specification :)
18.
by tatjam 6mo ago
Precisely, I would say embassy is a satisfying middle-point between "baremetal" firmware and running something like FreeRTOS / NuttX that hides the event loop from you.
19.
by tatjam 6mo ago
Writing embedded code with an async-aware programming language is wonderful (see Rust's embassy), but wonder how competitive this is when you need to push large quantities of data through a micro controller, I presume this is not suita
20.
by tatjam 7mo ago
I do agree with this, and in fact I do often use LLMs for for these tasks! I guess my message is more intended towards vibe-only coders (and, I guess, the non-technical higher ups drooling at the idea of never having to hire another develop
21.
by tatjam 7mo ago
Would you consider drudgery the in-depth thinking that's required to actually go and write that algorithm, think out all the data ownership relationships, name the variables, think the edge cases for the tests? For me, the act of sitti
22.
by tatjam 7mo ago
Except the cooks don't exist anymore as they all have become head chefs (or changed careers) and the food is being cooked by magical cooking black boxes
23.
by tatjam 7mo ago
It's perfectly framed in the loss of local-compute autonomy that seems to be the trend nowadays: https://andrewkelley.me/post/renting-is-for-suckers.html If it wasn't obvious by now, the big capital doesn&#x2
24.
by tatjam 7mo ago
Claude, fix the memory leaks, or you'll go to jail!
25.
by tatjam 8mo ago
Wellll you could technically jam their uplink channels, but doing so may get the US in your doorstep quite quickly
26.
by tatjam 9mo ago
Confusingly, because it stops the "particle spawning" but not the animation! At first I thought it just changed the background to orange.
27.
by tatjam 9mo ago
Exactly, for the thing that has been done in Github 10000x times over, LLMs are pretty awesome and they speed up your job significantly (it's arguable if you would be better off using some abstraction already built if that's the c
28.
by tatjam 9mo ago
This kind of stuff could trigger the next revolution in computing, as the theoretical energy consumption of computing is pretty insignificant. Imagine if we could make computers with near-zero energy dissipation! A "solid 3D" comp
29.
by tatjam 9mo ago
Lean 4 seems to be pretty AI-usable, and you get insane guarantees (but LLM do seem to make very heavy use of "sorry")
30.
by tatjam 9mo ago
As a quick example, compare doing embedded work with a C static uint8_t[MAX_BUFFER_SIZE] alongside a FreeRTOS semaphore and counter for the number of bytes written, vs using Rust's heapless::Vec<u8, MAX_BUFFER_SIZE>, behind a emb

More ›