🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔄 Reproducible Builds
Build Systems, Software Supply Chain, Deterministic Compilation, Verification
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Show HN: Infragram – C4 style interactive architecture diagrams for Terraform
marketplace.visualstudio.com
·
1d
·
Discuss:
Hacker News
🧱
Immutable Infrastructure
New method replaces nickel and cobalt in battery for cleaner, cheaper lithium-ion batteries
techxplore.com
·
1d
·
Discuss:
Hacker News
💾
Retro Computing
How to Detect Text Truncation in SwiftUI?
fatbobman.com
·
4h
·
Discuss:
Hacker News
🐫
Embedded OCaml
How I ported Penko Park to Switch
ghostbutter.com
·
2d
·
Discuss:
Hacker News
💾
Retro Computing
Belitsoft sees a rise in full-stack developer hiring in 2025 (UK, USA, Canada)
londondaily.news
·
3d
·
Discuss:
Hacker News
🔤
DSLs
A Null Pointer Exception Brought Down Mighty Google;7 Hours of Downtime
getpanto.ai
·
3d
·
Discuss:
Hacker News
👁️
System Observability
Systemd's Nuts and Bolts
medium.com
·
3d
·
Discuss:
r/programming
⚙️
Operating System Design
An open-source SDK for finding dead code
blog.sentry.io
·
4d
·
Discuss:
Hacker News
🔬
Static Analysis
It's bye for now, and so here are my final thoughts on technology
yukinu.com
·
1d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Thank you for calling Web Dev. How may we complicate things for you?
newslttrs.com
·
2d
·
Discuss:
Hacker News
⚙️
PL Implementation
AI coding can make developers slower even if they feel faster
the-decoder.com
·
1d
·
Discuss:
Hacker News
👁️
System Observability
Challenges for no code tools for data science
medium.com
·
2d
·
Discuss:
Hacker News
👁️
System Observability
We solved AI API interoperability
supermemory.ai
·
4d
·
Discuss:
Hacker News
🐫
OCaml
Speclinter MCP
github.com
·
3d
·
Discuss:
Hacker News
🤖
Program Synthesis
The Next Wave
dumindu.github.io
·
2d
·
Discuss:
Hacker News
,
r/programming
🤖
Program Synthesis
Making Docs Better for AI and Humans
redmonk.com
·
1d
·
Discuss:
Hacker News
🤖
Program Synthesis
DeepRetro: Retrosynthetic Pathway Discovery using Iterative LLM Reasoning
arxiv.org
·
2d
✓
Automated Theorem Proving
Evaluation of OpenAI o1: Opportunities and Challenges of AGI
arxiv.org
·
3d
📦
Unikernel Systems
Redis Historical Versions from 2009
github.com
·
3d
·
Discuss:
Hacker News
🔬
Unikernels
Dell OptiPlex 7060 Micro NAS - PicoPSU Powered - All in a custom NAS case
reddit.com
·
1d
·
Discuss:
r/homelab
💾
Retro Computing
Loading...
Loading more...
« Page 12
•
Page 14 »