🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
✅ formal methods
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Technoblogy – A NeoPixel Driver Using AVR Hardware
technoblogy.com
·
2d
·
Discuss:
Hacker News
⚙️
systems programming
Inclusive Language Guide
aswf.io
·
4d
·
Discuss:
Hacker News
🔄
compilers
Guide to Implementing a GraphRAG Workflow with FalkorDB, LangChain and LangGraph
falkordb.com
·
5d
·
Discuss:
Hacker News
🐫
ocaml
The Architecture Industry Can Teach Us About Smooth UI/UX Design Handoffs (2023)
cloudcity.io
·
1d
·
Discuss:
Hacker News
⚙️
systems programming
Go 1.25 Release Notes
go.dev
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/golang
,
r/programming
⚙️
systems programming
OpenAI’s Waterloo? [with corrections]
garymarcus.substack.com
·
23h
·
Discuss:
Substack
⚙️
systems programming
Scaling Interpretability
anthropic.com
·
4d
·
Discuss:
Hacker News
⚙️
systems programming
Why transparency beats everything else in engineering
victoronsoftware.com
·
1d
·
Discuss:
Hacker News
⚙️
systems programming
How We Chose a Documentation Platform for Our DevTool
metalbear.co
·
1d
·
Discuss:
Hacker News
⚙️
systems programming
Answering the BfDI's questions on personal data in LLMs
desfontain.es
·
2d
·
Discuss:
Lobsters
,
Hacker News
🗄️
databases
Show HN: CCCP – a programmable, context-aware compression protocol (early stage)
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🔄
compilers
Show HN: Let Claude Code/Cursor agents page your phone when they're finished
heyoncall.com
·
2d
·
Discuss:
Hacker News
⚙️
systems programming
Book Review: The Math Academy Way
ijfen.substack.com
·
2d
·
Discuss:
Substack
🐫
ocaml
Trust as an Abstraction
medium.com
·
2d
·
Discuss:
Hacker News
⚡
query optimization
Iceberg Table Corruption and Data Loss in Production
ryft.io
·
3d
·
Discuss:
Hacker News
🗄️
databases
Alchemy 2: Electric Boogaloo
fluxus.io
·
1d
·
Discuss:
Hacker News
⚙️
systems programming
Security by Compartmentalization for AI Coding Agents on NixOS
sourcery.zone
·
4d
·
Discuss:
Hacker News
⚙️
systems programming
Our Culture Is Addicted to Validation
freddiedeboer.substack.com
·
1d
·
Discuss:
Substack
🗄️
databases
Reflections on LeetCode and LSAT in my 30s
andreagao.com
·
1d
·
Discuss:
Hacker News
⚙️
systems programming
Show HN: MCP Security – Don't Blind Trust, Verify
github.com
·
1d
·
Discuss:
Hacker News
⚙️
systems programming
Loading...
Loading more...
« Page 10
•
Page 12 »