pflanze

11 ms·

91.
by pflanze 4y ago
(I'm a software developer, not a mathematician. I'm just starting to try to understand the proof world.) I'm not sure about the "disdain" the authors have about "program source code". The parallel between
92.
by pflanze 4y ago
> picolisp script which prints the source code in the target language. The ability to execute and modify ASTs as the nested lists they are is just so convenient. I'd be interested in seeing some of your code doing this. I've do
93.
by pflanze 4y ago
Again, from all sources I've ever seen, you can't ignite aluminium blocks and have a sustained fire, whereas you can with magnesium. If the aluminium is liquid then perhaps by spraying it around because of the spark it would give
94.
by pflanze 4y ago
Yes, what I've found indicates that aluminium burns when it boils, which is at 3073 °C, which doesn't happen in normal fires (house, car, forest fires), which is why it's safe in normal fires. It is melting at 660°C, at which
95.
by pflanze 4y ago
Can you point to an aluminium fire that wasn't based on the aluminium being powdered, and where there were no fire enhancers (O2-enriched atmosphere, oxidizers like permanganate) present, and that sustained itself? (Because that's
96.
by pflanze 4y ago
> I assume it was aluminum Maybe it was magnesium? That is known to burn once ignited. Aluminium AFAIK doesn't (unless it is powder).
97.
by pflanze 4y ago
It's an interesting thought, since you might effect a larger momentary difference than you could achieve any other way, depending on personal predisposition. But for one, the total change we can achieve as a society that way is limited
98.
by pflanze 4y ago
> I am a frequent guest on talk shows anyway, but nobody has ever called to ask me to discuss "the bright side of the Internet." Heh, that's a fun sentence. And then I'm reminded of the issue of the negative top-voted
99.
by pflanze 4y ago
> .sample Yes, I carelessly copy-pasted the path. And yes, as I said it would probably be a good idea to have a feature like that in the core. -- Ah, I see the other reply, so it's done. I generally recommend asking such questions o
100.
by pflanze 4y ago
You could put a failing script (printing a message and exit 1) at .git/hooks/pre-commit in the submodule[1] (note that this is by-passed if you give --no-verify to git commit). Or you could put a script at .git/hooks/pre
101.
by pflanze 4y ago
The mentioned advantage seems dubious considering that the only cell type for which that is currently true is those using lead, for which the toxicity issue isn't solved. Trading the complexity of the cleanroom facility for the complex
102.
by pflanze 4y ago
> Does that mean they're bad for your eyes As far as I can see from distributors, most white LEDs today are using a blue light emitter, so there's no issue with UV. When using white LEDs that use an UV emitter, some glass cover
103.
by pflanze 4y ago
"Why roller coaster loops aren’t circular anymore", https://news.ycombinator.com/item?id=32005421
104.
by pflanze 4y ago
> re-emission in valance holes Are you talking about single-colour LEDs? Since white LEDs use a "phosphor", just like fluorescent lights, that convert blue or UV light. In fact I thought that the phosphors used by LEDs today ar
105.
by pflanze 4y ago
> huge amount of unencrypted metadata your average Matrix conversation will generate Do you have more details on this? Matrix being distributed of course will not "tumble" everything through a single service, sure, is that what
106.
by pflanze 4y ago
> Lockdowns have zero chances of working and were dumb from day one. We got played by China "Bickering about some imprecisely passed-around details doesn't seem to have any benefit at this point." I mean, maybe there was
107.
by pflanze 4y ago
> Believe it or not, places outside the US did do a 'real lockdown' for a lot longer than a month, and it didn't 'solve' covid. If other countries harbour the virus then that won't eradicate it (and the coun
108.
by pflanze 4y ago
I do agree with you that the 1000 people are a drop compared to the millions (although those were young children, thus making for a longer duration of life potentially destroyed or disrupted individually). > Covid could've been solv
109.
by pflanze 4y ago
Replacing the promise with the result in the map (using a sum type as the map value type) might be more efficient than maintaining two maps?
110.
by pflanze 4y ago
I'm reposting your message with the code formatted as you had entered it (the original white space use is still visible in the html source code; I've just indented it so that HN recognizes it as preformatted): --- The bloat is mos
111.
by pflanze 4y ago
Which way did you go, (1) not use pointers from child to parent (functional programming approach), or (2) kept using such pointers but made it work? Your first paragraph sounds like (1), but the second sounds like (2). If it was (2), it sou
112.
by pflanze 4y ago
Wikipedia[1] has some more details and slight corrections: - Henry V was operated on 16 years old (1403), but became king only 10 years later (1413) (your wording isn't incorrect, just incomplete) - He ruled for only 9 years, until 142
113.
by pflanze 4y ago
Previous discussion (Nov 2020): https://news.ycombinator.com/item?id=25136422
114.
by pflanze 4y ago
Is there a tool that can watch HN for links to (or mentions of) projects one has? For my own websites, I could run a notifier daemon checking server logs for spikes from referrer domains. But that doesn't work for code hosting sites li
115.
by pflanze 4y ago
The RP2040 alone could run doom well: https://news.ycombinator.com/item?id=30672527
116.
by pflanze 4y ago
If you bother to set the permissions, I suggest to do it in a way that doesn't leave a time window during which it still is unprotected (note that non-priviledged processes just need to open the file during that window; they can keep r
117.
by pflanze 4y ago
Not true? Just place a planet of the same size next to an existing one and see the effect.
118.
by pflanze 4y ago
Only if there's a way to access it. From within JavaScript you don't have access to it, unless there's a security hole in the VM. But yes, programs handling encryption keys generally overwrite the memory holding them before f
119.
by pflanze 4y ago
> since a goto is faster than creating a whole stack frame Yes, as I mentioned in parentheses--creating a stack frame costs because it is writing to memory, other than that it's just an increment of the stack pointer register in com
120.
by pflanze 4y ago
It would be the other way around, you'd get the stack overflow issues in non-Safari browsers. But because nowadays nobody is coding with TCO in mind, there are no such issues. What paulhodge is pointing out is that once people start co

More ›