I assume this person heard about keepass [0] and accesses it from multiple devices with a dropbox or icloud style service. Or doesn't access it from multiple devices. I just synchronize my password database on a slow cadence or as needed.
I think that you've missed the reference [0] implicit in kelseyfrog's response. Or am I missing some reference about how japanese gardens are germaine to AI/LLM/covert-discussion ?
[0] https://iep.utm.edu/chinese-room-argument/ tl;dr a thought experiment about a non-chinese-reading person translating chinese texts solely by using proscribed rules, intended to highlight whether the translator develops some sort of understanding
I can't speak to computing history in China, but Read Only Memory has books about the Japanese [0] and British [1] video game companies. MIT has published books about computing in Taiwan, Bulgaria, and China [2]. The former two are even open access, so you can download them for free.
On the clean hand, are the trustworthy tools there for me to plunge out a big poop or wipe a bit of overspray ? I sometimes see a plunger, but don't ever bring rubber gloves and a roll of paper towel that would make me feel comfortable cleaning up a nasty toilet.
On the dirty hand, I used to see (evidence that) someone clog(ged) a one of the toilets in an office building that I shared with lawyers, once a month or so. I developed a head canon that this person acted out their dissatisfaction with the lawyer or counterparty on the rest of the building.
Laurence Paulson laments a bug that fooled Ramana Kumar using both Lean proof system and the Nanoda (plugin ? library ?) into thinking that he found a counterexample to the famous Collatz Conjecture [0]. It sounds like Kumar or someone extended the Lean software to postulate that a certain style of proof is true and Kumar's larger proof hallucinated a class of numbers that enter a cycle in the Collatz sequence.
Paulson laments this as there are ways of building up the rules from axioms (program objects?), but it is really tedious. He recounts crafting a "system of combinators" (in 1986) that one could build on to express recursive functions.
This is a pretty short post observing that some art has achieved celebrity. Consider the Mona Lisa, you probably can imagine it just from the title. When I went to the Louvre, there was a mob around the (quite small) painting of people who - like me - came to finally see what we'd already seen dozens of times before. This post ends on the idea that celebrity is not always a measure of quality, given that many great works existed (and exist) without the marketing to vault them into larger social awareness.
IIRC, it was a decision based around not porting to 64bit in the newer versions of Windows. I agree it's a shame it didn't move forward... same for a lot of things that were in earlier versions that didn't make the cut.
Wikipedia is written by various people, but likely someone with interest in a given topic. One or more realtors probably wrote or edited this post.
Actually, the history of edits shows that this is contested territory where people regularly remove what they term as spam links. So, while a disinterested editor might remove a link to a listicle about how to stage your home, they might leave in the breathless tone as harmless. The drive by editors probably feel that they have no more time to rewrite it than we do, given that they watch over many articles, not just this one.
In 2022 [0], Jan David Nose (jdno) released a game / programming challenge called _Auto Traffic Control_ [1]. Rather than controlling airplanes with UI interactions, the simulation is a GRPC server that expects the player to construct a game client that issues flight paths.
I tried to make a game client for jdno's ATC [2]. My client was deficient, as I tried to treat the movement as a fixed interval, by only submitting flight plans that moved in cartesian directions. Only by cheating, modifying the simulator, could my greedy algorithm land any planes [3]. I suspect I was supposed to continuously model and poll the future positions of airplanes when developing a flight plan.
I suspect that I won't have much competition on the leaderboard, despite the asterisk, as jdno eventually archived the project [4]. Originally, the project was self-publication while looking for work. The Rust Foundation hired him a little while afterward.
I think about this game quite often and would love to eventually pick it up as a project again. I was only able to scratch the surface of what I had in mind, and I’m sure there’s so much to learn from players about what makes a good programming game.
I have to admit that I have exactly zero knowledge about actual flight plans or anything else related to air traffic control. Just loved playing Flight Control and used it as inspiration for this game.
Having said that, I think there are tons of interesting ways to build on the idea. :)
[0] https://keepass.info/
reply