Auto-research with codex: How I achieved a 232x Faster KernelArticle URL: https://sankalp.bearblog.dev/autoresearch/ Comments URL: https://news.ycombinator.com/item?id=49309549 Points: 6 # Comments: 0https://sankalp.bearblog.dev/autoresearch/#Tech #Technology #TechNews #AI #Gadgets #Software #Cybersecurity #Apple #Google #Microsoft #Startup #OpenSource #HackerNews [Hacker News]
Related
"…and the proof is checked in Lean". ~ Kevin Buzzard. https://xenaproject.wordpress.com/2026/11/12/and-the-proof-is-chec...
"…and the proof is checked in Lean". ~ Kevin Buzzard. https://xenaproject.wordpress.com/2026/11/12/and-the-proof-is-checked-in-lean/ #LeanProver #LeanLang #Math #AI #AI4Math
Transformers didn't come out of nowhere.1958: Rosenblatt's perceptron, the first artificial neuron that could learn.1980...
Transformers didn't come out of nowhere.1958: Rosenblatt's perceptron, the first artificial neuron that could learn.1980s-90s: RNNs read text one word at a time, with memory that f...
Bing allows you to disable AI responses and return to classic search whenever you wish.https://gadgetflux.eu/bing-ti-per...
Bing allows you to disable AI responses and return to classic search whenever you wish.https://gadgetflux.eu/bing-ti-permite-sa-dezactivezi-raspunsurile-ai/#Bing #Microsoft #AI #Ar...