Pinned Tweet
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."
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
codingsh | GOAT retweeted
O cartaz oficial da 2a temporada de Pablo e Luisão!
Estreia dia 3 de dezembro.
🌽 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-…
“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
codingsh | GOAT retweeted
Curiosity about formal verification:
Both of the major languages, Lean and Bend, were created by Brazilians 🇧🇷
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.
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.
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.
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
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!
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).



























