🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
📐 Formal Methods

Type Theory, Program Verification, Theorem Proving, Specification Languages

Student Led Mission Designs Highlight the Challenges of Engineering in Space
universetoday.com·1d·
Discuss: Hacker News
📊Systems Monitoring
Knip Hits 500 Releases with v5.62.0, Improving TypeScript Config Detection and Plugin Integrations
socket.dev·21h·
Discuss: Hacker News
🔷Typescript
Connecting legibility to theory building in programming
ashwinsundar.com·3d·
Discuss: Hacker News
💻Programming languages
SOTA Multi-Platform Matrix Multiplication Kernels
burn.dev·2d·
Discuss: Hacker News, r/programming
⚡SIMD Optimization
Knowledge Without Power: AI, Infrastructure, and the Ethics of Design
medium.com·2d·
Discuss: Hacker News
🌐Distributed systems
Parsing Protobuf Like Never Before
mcyoung.xyz·3d·
Discuss: Lobsters, Hacker News, r/programming
💻Programming languages
The Error Project: Estimating the Reliability and Robustness of Research
error.reviews·2d·
Discuss: Hacker News
📊Systems Monitoring
Getting past LLM "day one" problem with MIRIX
fujimon.com·1d·
Discuss: Hacker News
🗃️Database Internals
Agents Built from Alloys
xbow.com·1d·
Discuss: Hacker News, Hacker News
🌐Distributed systems
The FC/FC Chasm: Why Teaching Programming Still Matters
blog.charliemeyer.co·3d·
Discuss: Hacker News
💻Programming languages
NIH Is Far Cheaper Than The Wrong Dependency
lewiscampbell.tech·1d·
Discuss: Lobsters, Hacker News, r/programming
💻Programming languages
Getting off US tech: a guide
disconnect.blog·22h·
Discuss: Hacker News, r/privacy
📮Message Queues
Automated Function ID Database Generation in Ghidra on Windows
blog.mantrainfosec.com·2d·
Discuss: Hacker News
💻Programming languages
Does AWS Lambda have a silent crash in the runtime?
aaronstuyvenberg.com·3d·
Discuss: Hacker News
🌊Stream Processing
Show HN: Medici, a minimal, open-source, dead-simple Splitwise alternative
github.com·11h·
Discuss: Hacker News
🧩Microservices
Comparing Claude Code vs OpenCode (and testing different models)
andreagrandi.it·2d·
Discuss: Hacker News
💻Programming languages
We built AI dev agent that turns Jira tickets into ready PRs – no human needed
deepsense.ai·2d·
Discuss: Hacker News
💻Programming languages
Huawei's star AI model was built on burnout and plagiarism
the-open-source-ward.ghost.io·3d·
Discuss: Hacker News
🌐Distributed systems
AI whiplash, and Neovim in the age of AI
dlants.me·2d·
Discuss: Hacker News, r/neovim
💻Programming languages
Matt Dillon discusses the past, present and future of BSDs (2022)
web.archive.org·18h·
Discuss: Hacker News
🌐Distributed systems
Loading...Loading more...
AboutBlogChangelogRoadmap