codingsh | GOAT (@codingsh) header
codingsh | GOAT (@codingsh) profile picture

Londonmaxxing

London, England
Joined October 2019
Photo by codingsh | GOAT (@codingsh)Photo by codingsh | GOAT (@codingsh)Photo by codingsh | GOAT (@codingsh)Photo by codingsh | GOAT (@codingsh)Photo by codingsh | GOAT (@codingsh)Photo by codingsh | GOAT (@codingsh)Photo by codingsh | GOAT (@codingsh)Photo by codingsh | GOAT (@codingsh)Photo by codingsh | GOAT (@codingsh)Photo by codingsh | GOAT (@codingsh)
Hacker Metions -> All X mentions on Hacker News
Replying to @davegoldblatt
"Hi Claude good morning how are you I'm great thx build me a YouTube-style site but restricted to videos that have been repeatedly recommended on HN over the years pls. Don't make any mistakes."
1
1
101
hii, I have terrible news turns out no big fund, among the ones I talked to in the last month, had enough conviction that HOC could become a profitable business. the most common feedback is "nobody will pay" and "big labs will eat you" so, I've made 3 decisions: 1. a smaller round: $8m at $120m post-money cap 2. I'm investing $1m myself, same terms 3. we'll go all in on core AI research HOC may die, but not today ~~~ # All in on core AI research? some asked us to focus on a smaller product. that's bullshit. AGI is coming, who needs another shitty app? I'll just cut that off and jump straight to what I think can have real impact: fundamental AI research. we're a small fish, but we're also looking at places nobody is, so who knows, maybe we'll find something nobody else did? plus, symbolic models are way more interpretable, so if developing them increases the chance of safe AGI even a bit, that's a better use of my time, and that's what I'll do. we'll be posting our first SAI models soon~ish ~~~ # The smaller round: we'll raise up to $8m at a $120m post-money cap, first come, first served, min $100k, SAFEs, closing this week. if you're an accredited investor brave enough to bet against the big funds, reach me at taelin @ higherorderco [.com] I must be very clear: you're investing in whatever comes out of our symbolic AI research. Bend will likely remain OSS and free. so, in short, there is a 0.669% chance you're investing in OpenAI before GPT-2. most likely, your $ will disappear, as we still don't have a clear long-term revenue path ~~~ # How about Bend? Bend is a core component of our symbolic AI research, so we'll keep developing and supporting it as currently (if with fewer tokens than I'd wish for 🥲). its development is nearly fully automated now, Bend3 is almost done, and it is getting faster and bigger every day. expect updates at an insane pace soon ~~~ that's it. sorry for the sad news. back to work
82
codingsh | GOAT retweeted
O cartaz oficial da 2a temporada de Pablo e Luisão! Estreia dia 3 de dezembro.
103
294
67
4,539
45,983
codingsh | GOAT retweeted
Isso é a coisa mais legal de ter um programa na televisão
129
549
20
5,386
66,312
🌽 Right now we’re farmers
$1,000,000 in cash for VR builders. Meta VR Start Developer Competition 2026 (Devpost) Build a hands-first experience for Meta VR devices (Meta Quest, Meta VR Glasses) in one of three tracks: Entertainment, Gaming or Productivity. It must be fully usable without a controller. ➤ $1M in cash, top prizes of $100,000 ➤ Two divisions: New Experience, and Adapted/Significantly Updated ➤ Special $25K awards, including Best Agentic Interaction and Best Accessibility ➤ You must join the Meta VR Start program ➤ Above legal age of majority, some countries excluded Submissions close Nov 18, 2026, 12:00pm PST start-developer-competition-…
1
2
27
codingsh | GOAT retweeted
Signed!
7
6
2
214
31,872
Which book to buy?
1
29
codingsh | GOAT retweeted
“A new Go API for JSON” by Michael Pratt, Joe Tsai, Daniel Martí, Johan Brandhorst-Satzkorn, Roger Peppe, Chris Hines, and Damien Neil — go.dev/blog/jsonv2 #golang
9
120
9
839
52,560
codingsh | GOAT retweeted
Curiosity about formal verification: Both of the major languages, Lean and Bend, were created by Brazilians 🇧🇷
8
19
4
403
17,031
It’s very fucked up that @donl___ takes me home
31
In my last talk I said that we will no longer have third-party applications, the software has changed we have a lamp in our hands, if we choose security the price is to have control of the entire software layer this implies thinking and building native and secure libraries.
33
Zig, I never miss a vision 🔥 github.com/developerfred/maa…
We have a zero dependencies rebuild of Tempo in Zig that outperforms our Rust code and tracks mainnet. It’s inspired by Tigerbeetle and uses DST. 10x less LOC / 7x less build time. Very alpha, but a glimpse of the future. @laibe cooked.
1
51
codingsh | GOAT retweeted
Last orders for licensing delays. New powers mean City Hall can step in on the biggest licensing decisions, helping London's venues, events and night-time economy flourish.
14
6
70
9,851
codingsh | GOAT retweeted
too obsessed to remain ordinary
20
377
6
3,791
59,153
codingsh | GOAT retweeted
Ferrari 308 GTB & Jaeger-LeCoultre Reverso Hybris Mechanica Calibre 185
1
8
1
90
5,512
codingsh | GOAT retweeted
So my friends I do not believe the MIT paper about LLMs understanding / writing weights was bad science. It is impressive and it is something you may want to explore. However the first set of tests, the game recognition of the tests, it looked like too straightforward... 1/N
24
28
3
681
64,765
codingsh | GOAT retweeted
Chrome Hearts fire extinguisher
15
169
12
1,976
41,589
codingsh | GOAT retweeted
Omarchy 4.5 will ship with full compatibility for M1, M2, M3, and Neo! Incredible achievement from the Omarchy M team. The installer makes this so smooth, the dual boot makes it a no brainer. Apple hardware liberated. M4-6 on the way. WE CAN FIX EVERYTHING!
731
481
193
9,591
437,723
codingsh | GOAT retweeted
I am happy to share FlashProve: our performant open-source prototype for provable inference. We believe that this has significant implications for security, pacing AI development, integrity guarantees, and more.  FlashProve allows a provider to commit to model weights, and then prove that replies originate from the committed model.  The proof leaks no information about the weights, and the verifier can efficiently verify it on consumer hardware.  Our library is performant, proving a 400B parameter MoE model at 100 tok/s. We have open-sourced the associated code and Lean formalization. We hope that it catalyzes further progress in verification of inference, and look forward to seeing it.
New Anthropic research: progress on provable inference for large language models. Here, we introduce FlashProve. Building on established cryptographic techniques, FlashProve allows developers to verify whether a given response came from a given AI model. It’s substantially more efficient than prior open-source methods for doing so. These proofs have a range of applications. They can, for instance, make it harder for attackers to hijack a chat, or enable safety evaluators to verify that the model they’re testing is the same one being served to customers. For our full write-up, see here: anthropic.com/research/prova… Further progress in provable inference will likely be an important part of improving trust in AI deployment. To that end, we're open-sourcing FlashProve’s code, here: github.com/anthropics/FlashP… We’re grateful to our collaborators: Alessandro Chiesa, @GiacomoFenzi, @gwberg95, @miranda__christ, Rahul Dalal (rdalal.github.io) and Ben Mayer (@transmissions11).
21
30
4
240
12,289
codingsh | GOAT retweeted
Cartel mc’s
16
1,899
59
6,442
128,525