robinhouston

5 ms·

31.
A statement from members of the Toki Pona community(tokipona.net)
52 points by robinhouston 6mo ago|16 comments
32.
The Free Universal Construction Kit(fffff.at)
384 points by robinhouston 6mo ago|86 comments
33.
by robinhouston 6mo ago
From the article: “The team will publish the exact position of the island once the naming process is complete”
34.
Is math big or small?(chessapig.github.io)
89 points by robinhouston 6mo ago|30 comments
35.
by robinhouston 6mo ago
I haven’t read much of Gertrude Stein, but I often think of her brilliantly eccentric essay on punctuation[0], and especially her musings on the nature of the semicolon, whose crux is: “They are more powerful more imposing more pretentious
36.
The Four Color Theorem with Near-Linear Time Coloring(arxiv.org)
3 points by robinhouston 7mo ago|0 comments
37.
My prodigal brainchild: Neal Stephenson on the Metaverse(nealstephenson.substack.com)
4 points by robinhouston 7mo ago|0 comments
38.
First Proof: Second batch announcement [pdf](1stproof.org)
1 points by robinhouston 7mo ago|0 comments
39.
BrokenArXiv: How often do LLMs claim to prove false theorems?(matharena.ai)
3 points by robinhouston 7mo ago|0 comments
40.
Glassworm is back: A new wave of invisible Unicode attacks hits repositories(aikido.dev)
303 points by robinhouston 7mo ago|193 comments
41.
ArXiv is establishing itself as an independent nonprofit organization(jobs.chronicle.com)
83 points by robinhouston 7mo ago|1 comments
42.
by robinhouston 7mo ago
This is a job ad for the CEO of arXiv, but it is also the only source I can find for the news that arXiv is separating from Cornell and establishing itself as an independent organization.
43.
by robinhouston 7mo ago
Thanks for the pointer. I already had Avigad’s paper open on my computer, but I haven’t read it yet. I take the point about the output – as opposed to the process – being “close to worthless”; though I suspect it’s only a matter of time bef
44.
by robinhouston 8mo ago
I’m not an expert on this subject, but I get the impression this is a pretty significant milestone. This is a major result that won Viazovska the Fields Medal fairly recently, with a reasonably complicated proof, apparently formalized entir
45.
Incomplete Open Polyhedra(incomplete-open.mikael.johanssons.org)
1 points by robinhouston 8mo ago|0 comments
46.
Mathematics in the Library of Babel(daniellitt.com)
19 points by robinhouston 8mo ago|2 comments
47.
John Haugeland on the failure of micro-worlds(blog.plover.com)
3 points by robinhouston 8mo ago|1 comments
48.
by robinhouston 8mo ago
> if you don't need it immediately, maybe a total market fund That strikes me as unwise. If there’s a sharp downturn in the total market, that’s precisely when you might need to call upon otherwise unneeded cash reserves.
49.
by robinhouston 9mo ago
Thanks for sharing that talk. Very interesting indeed!
50.
by robinhouston 9mo ago
> I’ve met plenty of thinky players who reject any help not contained within the game itself—I’ve been that person—but these days, with so much to play, I simply don’t have the heart to ironman a puzzle for hours and hours just to mainta
51.
by robinhouston 9mo ago
This is my favourite of the visualisations that Duncan and I made back in the Kiln days. It's lovely to see people are still enjoying it all these years later.
52.
KdK part 4: Carrière's experiment(nealstephenson.substack.com)
3 points by robinhouston 9mo ago|0 comments
53.
by robinhouston 10mo ago
Maybe I just live in a bubble, but from what I’ve seen so far software engineers have mostly responded in a fairly measured way to the recent advances in AI, at least compared to some other online communities. It would be a shame if the dis
54.
Puzzle Designers Search for That 'Satisfying Click'(nytimes.com)
1 points by robinhouston 10mo ago|0 comments
55.
by robinhouston 10mo ago
The article does address that: > Unfortunately, it’s not just delayed ACK2. Even without delayed ack and that stupid fixed timer, the behavior of Nagle’s algorithm probably isn’t what we want in distributed systems. A single in-datacente
56.
by robinhouston 10mo ago
That’s funny. I’ve always done it the forwards way. I didn’t even realise that wasn’t the usual way. I suppose one of the benefits of having a poor memory is that one sometimes improves things in the course of rederiving them from an imperf
57.
Perfecting Steve Baer's Triple Dome(vorth.github.io)
22 points by robinhouston 10mo ago|3 comments
58.
by robinhouston 11mo ago
From Richard Hamming’s famous speech _You and Your Research_: > Another trait, it took me a while to notice. I noticed the following facts about people who work with the door open or the door closed. I notice that if you have the door to
59.
by robinhouston 11mo ago
Not to mention funny!
60.
M.C. Escher Prints Digitized and Put Online by the Boston Public Library(openculture.com)
47 points by robinhouston 11mo ago|8 comments

More ›