fooker

30 ms·

751.
by fooker 10mo ago
No, a doctor is not getting to you on a fast efficient light rail in an emergency.
752.
by fooker 10mo ago
True, the only part that can not be solved by microcode emulation is faster decoding. Most architectures other than x86 have fixed sized machine instructions now, making decoding fast and predictable.
753.
by fooker 10mo ago
China can make CPUs around as good as 2016-18 intel now.
754.
by fooker 10mo ago
Software or microcode emulation works pretty well. So it would be faster and more efficient when sticking to the new subset and Nx slower then using the emulation path.
755.
by fooker 10mo ago
Is this a trick question, because you run it as administrator in a sandboxed account.
756.
by fooker 10mo ago
> 56k Downloads? That seems ..low..?
757.
by fooker 10mo ago
You are describing the effects, rather than causes in my opinion.
758.
by fooker 10mo ago
Why do you think there's a re in research?
759.
by fooker 10mo ago
For the last decade or so Europe has managed to kill its tech industry by coming up with regulations only corporations with deep pockets can afford to satisfy. This seems to be changing, so hopefully that works out.
760.
by fooker 10mo ago
Developing passes out of tree causes so many random headaches that it's not really worth doing it. Just spend 30 mins and build LLVM from source. Because : > It works perfectly with your system's LLVM installation It works perf
761.
by fooker 10mo ago
Defaults are powerful.
762.
by fooker 11mo ago
You are answering a question you want to answer, not the one I asked! :) Yes, dependent types can encode nice constraints, but so can asserts and assumes. I am not seeing the fundamental difference in yeeting these constraints to a solver.
763.
by fooker 11mo ago
There seems to be a bunch of papers and tools that extend CBMC for unbounded loops with k-induction!
764.
by fooker 11mo ago
What could possibly go wrong?
765.
by fooker 11mo ago
Yeah I can see pointer weirdness being an issue. As for being not expressive enough for specifications, isn't the code itself a form of specification? :)
766.
by fooker 11mo ago
What's an invariant you can not encode in a general purpose programming language? I'd have assumed, by virtue of being Turing complete, you could express any invariant in almost any language?
767.
by fooker 11mo ago
Dafny seems to have loops too, and the way it solves the problem you mentioned is forcing the user to write these invariants. I assume if you were to develop such a system for C, C++, or Rust you'd similarly expect the user to do this.
768.
by fooker 11mo ago
What does it mean for verification to be efficient? Are there benchmarks showing dafny is faster than other inefficient options ?
769.
by fooker 11mo ago
This might be a stupid question, but why a separate programming language rather than aiming to verify/synthesize invariants in languages people use?
770.
by fooker 11mo ago
Me too. Until having language specific features really lost to AI auto complete, and now it's some vscode flavor.
771.
by fooker 11mo ago
Whatsapp backs up unencrypted messages to Google cloud on Android and whatever it's called for Apple. The government can just ask them to turn over those. (note that this is legally very different from forcing someone to unlock a devic
772.
by fooker 11mo ago
He did name git after himself though :)
773.
by fooker 11mo ago
What's the rationale for naming it after yourself?
774.
by fooker 11mo ago
A typical scene graph for a visually interesting 2D game has more than 5000 elements and works on a 15 year old computer without issues.
775.
by fooker 11mo ago
Think of some coding heavy project you always wanted to do but haven't had time for. Open up cursor-agent to make the repo scaffolding in an empty dir. (build system, test harness, etc. ) Open up cursor or Claude code or whatever and j
776.
by fooker 11mo ago
Do not redeem /s
777.
by fooker 11mo ago
I am not opposing regulation of broadcasting. I am against regulation of broadcasting equipment. There's a difference.
778.
by fooker 11mo ago
I don't think this should be a matter of regulation, as you can create a device that broadcasts powerful signals at almost any frequency, with high school physics and garage engineering. It should very much be enforced though, similar
779.
by fooker 11mo ago
> Does code work if it's 97% correct? Of course it does. The vast majority of software has bugs. Yes, even critical one like compilers and operating systems.
780.
by fooker 11mo ago
Interactive and SVGs don't really mix, although intuitively it would seem that they do. Rendering remotely complex SVGs tale multiple seconds, while any kind of interactivity demands ~30+ frames per seconds. Without interactivity, post

More ›