1.
Bootstrapping the Verified Software Stack
(theorem.dev)
Oct 23 at 04:34 AM ago
| discuss
2.
Oct 23 at 04:34 AM ago
| discuss
3.
Tech became the villain of the US midterms
(www.theguardian.com)
Oct 23 at 04:02 AM ago
| discuss
4.
FrontierCS 2: A Benchmark for Computer Science R&D
(frontier-cs.org)
Oct 23 at 03:31 AM ago
| discuss
5.
Agent Compute Engine deep dive
(cloud.google.com)
Oct 23 at 03:31 AM ago
| discuss
6.
Oct 23 at 03:31 AM ago
| discuss
7.
The Signal Chats That Cost OpenAI Researchers Their Jobs
(www.wsj.com)
Oct 23 at 03:31 AM ago
| discuss
8.
Oct 23 at 03:31 AM ago
| discuss
9.
Low-cost, evasive malware for benchmarking reverse engineering capabilities
(malwarebench.com)
Oct 23 at 03:31 AM ago
| discuss
10.
Agent Evals Considered Harmful
(twitter.com)
Oct 23 at 03:31 AM ago
| discuss
11.
Introducing TorchTPU
(pytorch.org)
Oct 23 at 02:59 AM ago
| discuss
12.
The Shortage Won't Break Nvidia. The Labs Might
(darrenleung1.substack.com)
Oct 23 at 02:59 AM ago
| discuss
13.
Oct 23 at 02:59 AM ago
| discuss
14.
Oct 23 at 02:27 AM ago
| discuss
15.
Oct 23 at 02:27 AM ago
| discuss
16.
Reverse Engineered Onshape for MCP Server
(github.com)
Oct 23 at 02:27 AM ago
| discuss
17.
Demis Hassabis shortens AGI timeline from five to two to three years
(the-decoder.com)
Oct 23 at 01:55 AM ago
| discuss
18.
AI Keeps Getting Better. Why Is Its Writing Still So Bad?
(greyenlightenment.com)
Oct 23 at 01:55 AM ago
| discuss
19.
The State of PyTorch 2026
(techstrong.ai)
Oct 23 at 01:55 AM ago
| discuss
20.
Oct 23 at 01:55 AM ago
| discuss
21.
Red-Teaming OpenAI's Internal Agent Monitoring Systems
(blog.redwoodresearch.org)
Oct 23 at 01:55 AM ago
| discuss
22.
Canva's first in-house AI image model plans designs before generating them
(www.theverge.com)
Oct 23 at 01:23 AM ago
| discuss
23.
Oct 23 at 01:23 AM ago
| discuss
24.
MiniMaxAI/MiniMax-M3.1-Flash
(huggingface.co)
Oct 23 at 01:23 AM ago
| discuss
25.
GrillMyProfile – free AI roast of your LinkedIn, scored against a job posting
(www.grillmyprofile.com)
Oct 23 at 01:23 AM ago
| discuss
26.
Livestream GLM-5.3 playing Minecraft
(twitch.sailresearch.com)
Oct 23 at 12:51 AM ago
| discuss
27.
Twitch Plays: Interpretability of Bonsai-8B
(www.lesswrong.com)
Oct 23 at 12:51 AM ago
| discuss
28.
From Eyeballs to ARR: Buzzy Pricing Metrics and the AI Trade
(aswathdamodaran.substack.com)
Oct 23 at 12:20 AM ago
| discuss
29.
The Next Bottleneck in AI for Science
(www.mixtureofexperts.co)
Oct 22 at 11:48 PM ago
| discuss
30.
AI compute is the new oil–and needs a new market
(www.economist.com)
Oct 22 at 11:48 PM ago
| discuss