Thursday, August 20, 2026
Show HN: Halmos.Science - Hacker News for math, the server checks the proofs https://ift.tt/kN51RPL
Show HN: Halmos.Science - Hacker News for math, the server checks the proofs https://halmos.science/ August 20, 2026 at 11:15PM
Wednesday, August 19, 2026
Show HN: HyperSAE – Sparse Autoencoders, reimagined in hyperbolic space https://ift.tt/BJtz6nh
Show HN: HyperSAE – Sparse Autoencoders, reimagined in hyperbolic space https://ift.tt/zukDmr6 August 20, 2026 at 01:37AM
Show HN: terminal-code – VS Code inside the terminal https://ift.tt/ahfS3Nu
Show HN: terminal-code – VS Code inside the terminal https://ift.tt/G0sbgme August 19, 2026 at 10:43PM
Tuesday, August 18, 2026
Show HN: Voidleap Code – agentic IDE, own harness, swap models mid-conversation https://ift.tt/dhEgjp9
Show HN: Voidleap Code – agentic IDE, own harness, swap models mid-conversation We wanted to build a development environment that can make you a better agentic engineer, not a tool that makes money when you waste tokens. A tool where you can swap models between turns, edit the context, and see every agent action. To do it, we had to build our own harness. Free to use. We don't sell inference, so bring your own key. The sore spot is Claude subscriptions. We can't support them because of Anthropic's terms. The app runs on your machine, and your data never touches our servers. We've been building Voidleap Code using Voidleap Code since January. We didn't rush to launch, but instead focused on getting the architecture and package just right. There are still more features to build, and more polishing to do, but it's ready for you to try. Judge it for yourself and tell us what you think. https://voidleap.com/ August 19, 2026 at 12:10AM
Show HN: macOS data protection keychain for Electron apps https://ift.tt/gfz7wnW
Show HN: macOS data protection keychain for Electron apps Hey HN, I've been working on Hansel [1] (an encrypted personal data store you can query with agents), and there wasn't a good way to use the modern macOS Data Protection Keychain. Electron's safeStorage [2] uses the legacy file-based keychain, which allows other apps/agents to query it with the `security` CLI. Not great when you have a dozen agents running in the background! The Data Protection Keychain is nice because it limits access via code-signing access groups and lets you set access rules like Touch ID and/or password. 1: https://hansel.so/ 2. https://ift.tt/WKg2Ve1 https://ift.tt/apkWe6i August 18, 2026 at 10:55PM
Monday, August 17, 2026
Show HN: Open-source comment section widget, Disqus alternative https://ift.tt/LCz6Vun
Show HN: Open-source comment section widget, Disqus alternative https://ift.tt/PEsRLVp August 17, 2026 at 11:36PM
Sunday, August 16, 2026
Show HN: Interactive component to map fibre breaks (OTDR) https://ift.tt/hZ2yAaP
Show HN: Interactive component to map fibre breaks (OTDR) Added an OTDR trace component as the latest in my component library for datacentre/network apps. Mainly for my own use in rackout. https://ift.tt/twaH7LM August 17, 2026 at 02:17AM
Subscribe to:
Posts (Atom)