AlexCoventry

Joined 14 years ago

Karma
3,920
Submissions
2,619
Member since
Feb 18
View on Hacker News

Recent submissions

Comment · 1 hour ago
> Around the same time, "Crypto Twitter" was spiraling into a mood that I saw described as "financial nihilism": roughly, that the natural end state of blockchains is gambling, this is good, and if you dislike this and wish for something better then you are a stuck-up elitist prick.

Surely he sees that the nihilists are winning. Crypto's main use case at this point is undeniably deeply corrosive corruption and money laundering, and as far as I know there's nothing plausible on the horizon to replace that (I kind of stopped paying attention after crypto industry leaders started meeting with Trump, though.)

Comment · 5 days ago
Serious people are predicting automated RSI in 6 months this time, FWIW.
Comment · 6 days ago
> What is the one thing that only you can specify, where your competitive advantage is maximized?

Can you give some examples where people have done that?

Comment · 10 days ago
Well, it's been clear for a decade that Trump doesn't respect American values.
Comment · 10 days ago
Comment · 11 days ago
Comment · 11 days ago
AI Models Can Provably Hide Arbitrary Capabilities

https://arxiv.org/abs/2610.13928

> Capability evaluations aim to surface dangerous model behaviors before deployment, but their reliability depends on the assumption that hidden capabilities can be elicited. We show this assumption does not hold under adversarial conditions by constructing backdoor attacks that embed encrypted neural networks within host model weights, decrypting and executing them only upon receiving a secret trigger. Using digital lockers, these hidden circuits remain provably hard to elicit and interpret under cryptographic assumptions, even given full access to model weights, extending prior work from hiding fixed strings to arbitrary computations. We implement our proof of concept constructions in PyTorch and evaluate elicitation through fine-tuning, weight noising, gradient-based trigger search, and latent adversarial training, using a small chemical reaction prediction task as a proxy for CBRN-relevant capabilities. Our results demonstrate resistance to these methods and, together with our cryptographic guarantees, reveal a limit of elicitation-based capability audits. We release our models to support the improvement of defenses.

Comment · 13 days ago
IIRC from Prof: Alan Turing Decoded, Turing was sent to the US to work on this for a while, but wasn't able to contribute much, because the Americans didn't really trust him.
Comment · 16 days ago
A lot of rationalists seem to believe that prolixity is a sign of intellectual effort.
Comment · 16 days ago
It's a recruitment tool.
Comment · 16 days ago
They think the singularity's going to hit in the next 6 months. They're not looking to build an empire.
Comment · 16 days ago
I think there are a lot of people who would pay very good money for access to mathematical and coding ability like OpenAI's systems have demonstrated. I wonder how much they're being paid by the USAF to try to unhork the F-35's avionics software, for instance.
Comment · 18 days ago
When did they test them? Models have a different level of capability than 6 months ago, IMO.
Comment · 19 days ago
Like what?
Comment · 24 days ago
https://www.lesswrong.com/posts/eRmzz8J8Qkzqvzrgg/astra-can-...

> *TLDR*: Astra has 8.6x better odds of doing a reasoning task without CoT than the next best model (Fable 5.1), and can do 7.2 serial arithmetic steps in a forward pass vs 4.1 for the next best model (Gemini 3.8 Flash/Fable 5.1)

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton