First screen, captured . Open the video.
Captured . Click for the whole screenshot.
18 points by seshakiran | 1 comments
Blog post introducing PageScribe, an open-source KOReader handwriting plugin, and Dictionary Audio, a separate plugin for offline word pronunciation.
635 points by thepoet | 201 comments
Landing page for Cobalt, an open-source application platform for Kobo e-readers with a launcher, signed app store, Rust SDK, and sandboxed runtime.
104 points by carnevalem | 41 comments
A writeup describing how AI agents translated CPython internals into 613,318 lines of Lean, proved properties, and found 418 Python bug reports.
240 points by makeramen | 162 comments
OpenAI engineering post describing Pando, a new horizontally scalable Git backend built to handle agent-driven concurrent pushes and fetches in its monorepo.
30 points by tekkie00 | 10 comments
395 points by speckx | 230 comments
A Reactor magazine column by Molly Templeton arguing it should be normal to love books you don't entirely understand.
352 points by thunderbong | 309 comments
Blog post by John Nunley explaining why Rust developers might choose async/await over OS threads for concurrency.
10 points by handfuloflight | 4 comments
Landing page for Spinal, an upcoming low-latency tool for exploring codebases and their history, with a GitHub/email waitlist signup.
103 points by nateb2022 | 48 comments
Landing page for Text.js, a framework for building full-stack React apps that render inside the browser DevTools console via console.log, with docs and a course.
635 points by thepoet | 201 comments
Landing page for Cobalt, an open-source application platform for Kobo e-readers with a launcher, signed app store, Rust SDK, and sandboxed runtime.
456 points by lispybanana | 175 comments
A 2017 Atlantic article by James Somers about how Google scanned millions of books but its plan for a universal digital library was stalled by a failed copyright settlement.