chalst

19 ms·

211.
by chalst 5y ago
Tromp's binary lambda calculus, which is what Justine is using, is based on de Bruijn indices. It works, but it's very fiddly. My favourite way of solving the problem of names in the lambda calculus is to use Pitts-Gabbay nominal
212.
by chalst 5y ago
Putin is not giving off the same vibes of dark inspiration that he had in, say, Grozny. He comes across as foolishly distant, esp. compared to Zelensky: https://nitter.pussthecat.org/kgorchinskaya/status/149797926.
213.
by chalst 5y ago
You make a good point. Please excuse my offtopic aside: could you use better news sources than the NY Post? We have, for instance, active discussion of the story on this site, via a Politico story: https://news.ycombinator.com&#x
214.
by chalst 5y ago
NATO have been training Ukrainian troops since at least Euromaidan and the US have provided Ukrain with billions in military aid. Actually sending NATO troops to Ukraine is the kind of obvious provocation that clearly could have sparked a R
215.
by chalst 5y ago
I don't think so. He's Canadian.
216.
by chalst 5y ago
Graydon Hoare wrote a really nice intro to the state of compiler technology in 2019: http://venge.net/graydon/talks/CompilerTalk-2019.pdf He shouts out to Nanopass, a way of writing highly compositional compilers
217.
by chalst 5y ago
With respect to your first point, I'm reminded of Peter Alvaro's comment "the only good reason to design a programming language is to shape your understanding of the problem". He points out that he was the only user of h
218.
by chalst 5y ago
See my other reply. It's true that disconnection is a boost for these systems, but Russia is in for a whole lot of pain regardless; there's no "only" about this step.
219.
by chalst 5y ago
This is not a matter of throwing a switch: reducing dependence on SWIFT has been a priority for Russia for a while now but it's been nearly a year since the EU parliament said this disconnection should be a consequence of invasion and
220.
by chalst 5y ago
The Wikipedia article is sound and it also documents that Martin Davis came up with the term "halting problem" for a lecture he gave in 1952. He used Turing machines in his 1958 book. Turing machines are still a commonly used form
221.
by chalst 5y ago
I think this has things the wrong way around. Russia and China have for the last twenty years been trying to break free of the dollar-centric financial system with some degree of success: both countries have, for instance, built up large go
222.
by chalst 5y ago
Better than rsync is using support for snapshots and replication in the filesystem, such as described for ZFS in https://serverfault.com/questions/842531/how-to-perform-incr... Btrfs and apfs also support auto-sna
223.
by chalst 5y ago
It's worth noting that native support of IPFS is usually going to mean something like what Brave now does: the browser manages an instance of an ipfs-go node.
224.
by chalst 5y ago
18 and 15. I started them on Scratch about 9 years ago, so your elder was about the same age as my younger when we started, and I kept coming back to its model to explain ideas about algorithms.
225.
by chalst 5y ago
More obscure is King of Dragon Pass, which I've reviewed, giving it three dark patterns. https://www.darkpattern.games/game/3735/1/king-of-dragon-pas...
226.
by chalst 5y ago
I did and I seem to have had a reading comprehension failure and skipped that brief, crystal-clear paragraph. Ouch! That criticism retracted, although if the author suggests Ubuntu users are under threat here, that seems kind of fanciful to
227.
by chalst 5y ago
Are you aware of Nintendo Game Builder Garage? [1,2] My youngest daughter was begging me to get this for her when it came out. She spent ages in earlier years trying to figure out doing stuff with the MIT Scratch offline editor. She's
228.
by chalst 5y ago
Losing data isn't the fear, it's that there might be weird corner cases that lead to badly unpredictable performance.
229.
by chalst 5y ago
I would agree with insaneirish, if it was anybody but Oracle who held the CDDL-licensed code (I think IBM have ZFS-relevant patents, but no CDDL code in the OpenZFS codebase). With anyone else, I'd say the legal risks were overwrought;
230.
by chalst 5y ago
I recall having to quit Illyriad [1] because the PvP politicking was so intense it was undermining my ability to function IRL. That's pretty common in that game. There's a couple of bona-fide dark patterns in that game, but the de
231.
by chalst 5y ago
It's kind of dishonest to have a section "Out-of-tree and will never be mainlined" that discusses Debian and Red Hat but not Ubuntu, who have bitten the bullet of doing exactly this in-kernel maintenance the article claims do
232.
by chalst 5y ago
I don't say it is the right choice in 'most cases', but its my preferred default choice for /etc and user home directories. The hard case is databases. ZFS has a lot to offer (convenient support at FS level for replicati
233.
by chalst 5y ago
I guessed as a grind-free roguelike, Hyperrogue must score highly [1]. Alas it is unreviewed [2]. [1]: https://news.ycombinator.com/item?id=17432974 [2]: https://www.darkpattern.games/game/18554/0&
234.
by chalst 5y ago
That story revolves around Brian Shields's account, which, while I don't doubt the details, I think lacks the business perspective and doesn't really explain Nortel's demise. Nortel was maximising growth during the the d
235.
Three Kinds of Memory Leaks(blog.nelhage.com)
3 points by chalst 5y ago|0 comments
236.
by chalst 5y ago
Daphne Caruana Galizia was not the Panama Papers whistleblower. She was a whistleblower who used the revelations of the Panama Papers to join up the dots in her own enquiries into corruption in Malta. It's worth noting her killers got
237.
by chalst 5y ago
> Do remember that the Panama Papers whistleblower got mysteriously car-bombed. Remember? As far as I am aware the whistleblower is still anonymous. Where did you get your information? People who believe the elite control the media seem
238.
by chalst 5y ago
If your complaint about UFS is the lack of journalling, you might be interested in https://docs.freebsd.org/en/articles/gjournal-desktop/
239.
by chalst 5y ago
Julia owes a lot to CL in terms of language design and is doing very well in its niche. Watching how Julia fares in competition with Python can be seen as a kind of test of the Worse is Better hypothesis. Cf. https://discourse.ju
240.
by chalst 5y ago
The name was "Nickieben Bourbaki", a reference to the collective pseudonym "Nicholas Borbaki" of the French mathematician collective. RPG had the idea that other people at Lucid would be interested in participating under

More ›