🐿️ 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
Type Theory, Program Verification, Theorem Proving, Specification Languages
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
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...
« Page 9
•
Page 11 »