Lean Grimoire(terrytao.wordpress.com)
51 points by smilelamp | 8 comments
Terence Tao blog post announcing Lean Grimoire, a coding-agent-rebuilt version of his QED logic crafting game with Lean proof display and a fantasy mode.
First screen, captured . Open the video.
Full page
Captured . Click for the whole screenshot.
Looks similar
Successful People (2013)(blog.samaltman.com)
13 points by epestr | 7 comments
A short 2013 blog post by Sam Altman arguing that the most successful founders pursue a religion-like mission rather than setting out to build companies.
Future Maintenance of Mbed TLS(lists.trustedfirmware.org)
61 points by jonesjohnson | 17 comments
Mailing list announcement that current Mbed TLS maintainers will stop maintaining the TLS and X.509 libraries from April 2027 unless new maintainers step in, with user replies.
Outbound SIP calling is now available to all organizations(developers.openai.com)
56 points by arbayi | 44 comments
OpenAI developer documentation explaining how to connect inbound and outbound phone calls to GPT-Live or the Realtime API via SIP trunking.
Y/N (YC S23) is hiring a growth lead to distribute superhuman A.I. storytelling(ycombinator.com)
0 points by gabrielbirnbaum | 0 comments
Y Combinator job listing for a Founding Growth Marketer at Y/n (YC S23), an AI interactive storytelling app, in San Francisco paying $130K–$300K plus equity.
Pointer Provenance in Rust vs. C++: Pointers Are Not Just Glorified Ints(sofiabelen.github.io)
16 points by sofiabelenlopez | 6 comments
A blog tutorial explaining pointer provenance, inspecting it via LLVM IR, and comparing C++ integer casts with Rust's addr() and with_addr() provenance APIs.
Related stories
C++26: The New Debugging Header(sandordargo.com)
98 points by jandeboevrie | 23 comments
Blog post by Sandor Dargo introducing the C++26 <debugging> header for programmatic breakpoints, replacing compiler-specific code like __debugbreak.
Ollama now supports AMD graphics cards(ollama.com)
578 points by tosh | 194 comments
Ollama blog post from March 14, 2024 announcing preview support for running models on AMD graphics cards.
DuckDB Doesn't Need Data to Be a Database(nikolasgoebel.com)
353 points by tosh | 115 comments
A blog post by Nikolas Göbel discussing how DuckDB can act as a database without storing data itself, querying external data sources directly.
20 years working on the same software product(successfulsoftware.net)
431 points by hermitcrab | 149 comments
A Successful Software blog post reflecting on 20 years of developing and selling the same software product as an independent developer.
F-Droid and Google’s developer registration decree(f-droid.org)
1284 points by gumby271 | 472 comments
F-Droid blog post responding to Google's new requirement that Android app developers register with Google, and its impact on F-Droid and free software apps.
A new PNG spec(programmax.net)
539 points by tbillington | 253 comments
Blog post by ProgramMax announcing the release of a new PNG specification after two decades of stalled progress and explaining why it matters.