kragen

24 ms·

361.
by kragen 11mo ago
At night, what people will do is wait until the morning to run the washing machine.
362.
by kragen 11mo ago
Balcony solar is even cheaper to build than utility-scale solar.
363.
by kragen 11mo ago
Yes, but nobody has found a more effective way to build infrastructure in poor countries. State capitalism as described is how infrastructure development happened in Indonesia, Malaysia, Taiwan, Hong Kong, Korea, Japan, Vietnam, Thailand,
364.
by kragen 11mo ago
Your comment appears to be unrelated to Pakistan and, due to the confusion of units, has been reduced to nonsense. Moreover, your implied calculations don't work out. If we assume that you meant €7000 for 6 kilowatts peak (not 6 kelvi
365.
by kragen 11mo ago
Currently "Sodium Battery Cell" is priced at US$50–70/kWh on the Shanghai Metals Market, which gives every appearance of being a real thing: https://www.metal.com/en/markets/43 . They list LFP batte
366.
by kragen 11mo ago
tibbydudeza didn't post about a fast payback period. Maybe neebz is his wife?
367.
by kragen 11mo ago
No, we've been trying it here in Argentina for the last 75 years. When we started, we were one of the richest countries in the world. The end state is worse than you can possibly imagine. It's not the way to rescue the country.
368.
by kragen 11mo ago
That sounds interesting!
369.
by kragen 11mo ago
That's a very poorly thought out design: https://news.ycombinator.com/item?id=45789850
370.
by kragen 11mo ago
I only skimmed this paper, but it doesn't mention floating point (it's only modeling the FNN as a function on reals), and I don't think you can extract a working FNN implementation from an SMT-LIB or Z3 problem statement, so
371.
by kragen 11mo ago
Solar panels can pretty easily produce way over 100°, like 1000°. All you need is a nichrome wire. 1000° sand has about 3× as much energy as 100° water by mass, about 7× by volume. Water is cheaper but harder to contain.
372.
by kragen 11mo ago
Do you have a direct-DC-powered workshop?
373.
by kragen 11mo ago
Have you tried using them as macro assemblers in the way described in the paper?
374.
by kragen 11mo ago
You can write a prover like Coq in a Lisp, but, though it's easier than doing it in C, I think it's somewhat harder than doing it in something like OCaml. ACL2 is an example of such a thing.
375.
by kragen 11mo ago
Yes.
376.
by kragen 11mo ago
You could call it "C".
377.
by kragen 11mo ago
Right, Susan Kare found it in her international symbol dictionary: https://www.folklore.org/Swedish_Campground.html?sort=date?s... But what I mean is, what X-Windows keysym and modifier does it map to?
378.
by kragen 11mo ago
I'm curious about how you'd do that, too. I haven't tried doing anything like that, but I'd think you'd start by trying to formalize the usual optimality proof for the Kalman filter, transfer it to actual program l
379.
by kragen 11mo ago
I don't think they're particularly less bad. All five architectures just treat memory as a single untyped array of integers, and registers as integer global variables. Their only control structure is goto (and conditional goto.)
380.
by kragen 11mo ago
Not much of a terminal without a monitor, is it? Or is its output entirely audio? I'm curious what the physical size of the machine is. Is it GPD MicroPC-sized or are we talking about a normal laptop? 100g or 10kg? When I worked in
381.
by kragen 11mo ago
That doesn't seem right to me. If the problem is that it has too many instructions and addressing modes, you can decide to only use a small subset of those instructions and addressing modes, which really isn't much of a handicap
382.
by kragen 11mo ago
Have you found Coq or other formal-methods tooling useful?
383.
by kragen 11mo ago
The canonical URL, dating back to at least 02015, may be http://research.microsoft.com/en-us/um/people/nick/coqasm.pd... , which now redirects to https://www.microsoft.com/en-us/resea
384.
by kragen 11mo ago
Hmm, that seems plausible, yeah. It's unfortunate munchler didn't say something like that. But it seems like now people on HN are dogpiling on this Andrew guy? I imagine he'll feel the same way reading this thread, won&#x2
385.
by kragen 11mo ago
Compared to installing Apache, Wiki, Roundup, CVS, and Mailman on your own server, SourceForge's UI was fantastic .
386.
by kragen 11mo ago
I'm not sure that your unsupported assertion represents a substantive contribution to this discussion. Why do you believe it's not cool, munchler?
387.
by kragen 11mo ago
It sounds funny to say that JavaScript classes aren't classes, but if you don't believe me, just ask JavaScript in your browser (Ctrl-Alt-K, probably): » class X { }; typeof(X) ← "function"
388.
by kragen 11mo ago
Diode heating does a better job of "MPPT tracking" than a resistive wire, but diodes are orders of magnitude more expensive, and they only work at low temperature (typically up to 175°, though SiC diodes can go a little higher).
389.
by kragen 11mo ago
Batteries cost US$80/kWh. 700° sand costs about US$1.25/kWh, though that depends on how far the sand has to be trucked. A normal stove burner is about 2kW and requires about 20 minutes to cook a meal for a person, so about 0.7kW
390.
by kragen 11mo ago
I'm talking about divinity, not nursing.

More ›