leoc

7 ms·

61.
by leoc 3mo ago
To the extent that they are connected it's most likely through Planner: see the OP and the other HOPL2 https://dl.acm.org/doi/proceedings/10.1145/154766 paper "The Evolution of Lisp" https:&#x
62.
by leoc 3mo ago
They have a proven unwillingness over many years to do what it takes to make Steam voice chat work reliably. It seems that their objective with Steam Chat is to do just enough to ensure that all Steam item-trading communication remains on t
63.
by leoc 3mo ago
It's probably not so bad. (I am not an expert on anything.) The big blocker is probably a roughly single-order-of-magnitude decrease in the cost per MiB of VRAM. (That obviously goes out the window if the LLM frontier people find, in t
64.
by leoc 3mo ago
Here's a pretty good video about a somewhat similar challenge, that of proving your citizenship in ancient Rome: https://www.youtube.com/watch?v=LTt0qwncDXI .
65.
by leoc 3mo ago
Right. It's probably important to distinguish what the hardware manufacturers' incentives are when their supply is constrained and when it isn't. (I am not an expert on anything.) As long as supply is strongly constrained the
66.
by leoc 3mo ago
Unfortunately there seems to be a lack of easily-accessible information about the current or expected future state of TX-0 https://en.wikipedia.org/wiki/TX-0 , a computer of great importance and previously the crown je
67.
by leoc 3mo ago
We're talking mostly about companies which push hardware in the door, here, such as the hyperscaler types which the CHERI people have been showing slide decks to.
68.
by leoc 3mo ago
The "A Distribution of One" argument seems less convincing than the "The Computer at the Bottom of a Canal" one. I'm no expert, but if you've ever read some of the computing press from the time you'll know
69.
by leoc 3mo ago
At the manufacturing level it largely isn't, no, though as others have pointed out Apple at least still has the ability to explore options outside China. But Apple represents a lack of vertical integration for its big Chinese suppliers
70.
by leoc 3mo ago
Things like the Dessau Bauhaus and the German Pavilion in Barcelona were built in the 1920s. Post-war Modernism was a bit of a second wind.
71.
by leoc 3mo ago
Most likely not: “The Little Book of …” has been a publisher’s standby since the nineteenth century (at least).
72.
by leoc 3mo ago
But no-one's claiming that the techniques which have been widely deployed already are bad or unworthy or haven't made a positive difference. (Certainly I'm not!) However it's evident that they haven't made a suffici
73.
by leoc 3mo ago
Right: unfortunately it really is a bit much to dismiss CHERI as a no-hope effort to boil the seas if the alternative plan is to rewrite everything in formally verified C (even if you'd also try to move some of it into GC languages i
74.
by leoc 3mo ago
It's a lot better than things apparently used to be, but what CHERI really needs to develop a grassroots is a board that runs CheriBSD ( https://www.cheribsd.org/ ) and is actually available for a few hundred US dollar
75.
by leoc 3mo ago
Right: it's not clear whether the availability of some $300 US CHERI SBCs would be enough to carry CHERI to glory, but it would obviously generate a significant pop of awareness, support and grassroots activity. For their part the anti
76.
by leoc 3mo ago
Oh no, not again.
77.
by leoc 3mo ago
No Judge Dredd (which dates back to 1977) or anything else from 2000 AD ?
78.
by leoc 3mo ago
Just going on what it says in the article, it may be difficult to prove that anyone specifically forbade her to leave or made threats to prevent her from leaving.
79.
by leoc 3mo ago
See also the late Alex Tizon's "My Family's Slave" https://www.theatlantic.com/magazine/archive/2017/06/lolas-s... , with a 2017 HN discussion https://news.ycombinator.com&
80.
by leoc 3mo ago
Lucas Reilly's Mental Floss article on Clair Patterson https://www.mentalfloss.com/science/environment/clair-patter... is a much better piece. I'll also recycle https://news.ycombinator.com&#x
81.
by leoc 3mo ago
> So "inference scaling is required to scale capabilities" doesn't mean that we're reaching the top of the S-curve in intelligence. On its own it wouldn't. But that article came before the later article https:&#
82.
by leoc 3mo ago
The very first substantial order for the Digital PDP-1 was for use in ITT’s torn-tape messaging operation! https://www.eejournal.com/article/gordon-bell-1934-2024-gran...
83.
by leoc 3mo ago
Things like https://www.tobyord.com/writing/hourly-costs-for-ai-agents and https://www.tobyord.com/writing/mostly-inference-scaling seem in line with other accounts like https://www.you
84.
by leoc 3mo ago
Oh, I have no expectation that Page or Brin would do something like this, let alone do it openly. But Page did seem to care about Books access at one point, and I find the image of him secretly leaking the Google Books corpus amusing.
85.
by leoc 3mo ago
Just do it and be legends, Larry. ;)
86.
by leoc 3mo ago
I missed the free potatoes in Berlin https://www.the-berliner.com/english-news-berlin/4000-tons-o... , and now I'm missing this? Once again https://news.ycombinator.com/item?id=46618898 all the ac
87.
by leoc 3mo ago
I'm not quite sure what the expectations of semi-privacy are here, but he's talked about it on the TC Discord, in the #development-branch-feedback channel (a search for 'unprofessional' should find it).
88.
by leoc 3mo ago
The Turing Complete dev was pretty unhappy with them and ended up leaving again despite having been accepted and making it onto the GOG store.
89.
by leoc 3mo ago
There's an odd wrinkle in the early history of BASIC. From a 2002 interview with Thomas Kurtz https://exhibits.library.dartmouth.edu/s/AdventuresomeSpirit... (direct link to PDF: https://exhibits.librar
90.
by leoc 3mo ago
The story about cheating at Scrabble bears a fairly close resemblance to the episode in the Tintin comic Flight 714 https://tintin.fandom.com/wiki/Flight_714 in which megarich industrialist Laszlo Carreidas cheats at

More ›