Gauss, an Agent for Autoformalization
math.inc·1d·
Discuss: Hacker News, Hacker News, Hacker News
⚡FPGA Gaming
Show HN: Chrome-site-stats – Track, limit, and optimize your browsing time
chromewebstore.google.com·4d·
Discuss: Hacker News
🔖Bookmarklets
Subgrid: how to line up elements to your heart’s content
webkit.org·20h·
Discuss: Hacker News, r/webdev
✨Micro-Interactions
LangChain's New Middleware: The Missing Piece for Production-Ready Agents?
blog.langchain.com·2d·
Discuss: DEV
🔗Web Rings
Ripple: An LLVM compiler-interpreted API to support SPMD and loop annotat
discourse.llvm.org·2d·
Discuss: Lobsters, Hacker News, r/programming
⚡FPGA Gaming
Pironman 5 Max Review: Best Raspberry Pi Case Money can Buy
itsfoss.com·2d
⚡FPGA Gaming
UTF-8 is a Brilliant Design
iamvishnu.com·1d·
Discuss: Lobsters, Hacker News
🖼️ASCII Art
React Server Components: They're Not What You Think (And They Change Everything)
buymeacoffee.com·2d·
Discuss: DEV
✨Micro-Interactions
Building multi-agent tools for engineering
newstoretech.substack.com·1d·
Discuss: Substack
🔖Bookmarklets
A Love Letter To Internet Relay Chat — The Original Social Media That Is Still With Us Today
gadgeteer.co.za·4d
📞BBS Culture
Europe Real-Time Payments Market Poised for USD 17.45B by 2033, Presenting High-Growth Investment Opportunities | DataM Intelligence
prnewswire.com·1d
🚇Transit Technology
MS Printing Solutions and JK Group Launch Five Innovative Printers for the Digital Textile Market
prnewswire.com·1d
📖Digital Zines
How to reduce costs for Third party API hits
dev.to·1d·
Discuss: DEV
🚀Web Performance
Mobile App Design: 5 Must-Know Tips for a Seamless User Experience
dev.to·3d·
Discuss: DEV
✨Micro-Interactions
Mastering Context and Async Data in Svelte (with Examples)
dev.to·4d·
Discuss: DEV
🔖Bookmarklets
MCP & API: Are they Two Sides of the Same Coin, or Worlds Apart?
dev.to·4d·
Discuss: DEV
🔗Web Rings
Capcom Fighting Collection 2 Receives An Update (Version 1.0.4), Here Are The Full Patch Notes
nintendolife.com·2d
🌍Fan Translation
Taking advantage of CQRS in legacy applications
dev.to·2d·
Discuss: DEV
📦Digital Archiving
"My Favourite Was 'Animal Acres'" - Ex-Nintendo Localization Director Recalls The Difficulty Of Naming Animal Crossing
timeextension.com·4d
🌍Fan Translation
Agentic Misalignment in LLMs: Unmasking Risks, Real Examples, and What CTOs Must Do Now
dev.to·1d·
Discuss: DEV
⚖️Digital Ethics