🐿️ 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 Verification
TLA+, Model Checking, Safety Properties, Specifications
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
AWS EC2 Instance Timeline
instancetyp.es
·
1d
·
Discuss:
Hacker News
🖥️
Self-hosted Infrastructure
Flexport the Video Game
flexportgame.itch.io
·
53m
·
Discuss:
Hacker News
⎈
Kubernetes
Blender Addon: Bonsai, a Building Information Model Authoring Platform Using IFC
extensions.blender.org
·
2d
·
Discuss:
Hacker News
🔄
Reproducible Builds
Windows Subsystem for Android
learn.microsoft.com
·
1d
·
Discuss:
Hacker News
🔬
Unikernels
Adding lookbehinds to rust-lang/regex
systemf.epfl.ch
·
6d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🐫
Embedded OCaml
Feedback is broken. I'm building a solution
feedplain.com
·
1d
·
Discuss:
Hacker News
🔄
Reproducible Builds
Decentralized Microfrontend Architecture - (my approach for my project)
positive-intentions.com
·
3d
·
Discuss:
r/programming
,
r/reactjs
🖥️
Self-hosted Infrastructure
Bryan Johnson Is Going to Die
wired.com
·
10h
·
Discuss:
Hacker News
🖥️
Self-hosted Infrastructure
Is AI Leaving the Python Community Behind?
georgiker.com
·
6h
·
Discuss:
Hacker News
🐫
Embedded OCaml
Show HN: AI Technical Discovery for Non-Tech Founders
varstatt.com
·
8h
·
Discuss:
Hacker News
🔄
Reproducible Builds
Think Different: How Apple Reinvented the AI World
themarket.ch
·
16h
·
Discuss:
Hacker News
🍎
Apple
In the long run, GPL code becomes irrelevant (2015)
josephg.com
·
3d
·
Discuss:
Hacker News
❄️
Nixified Development
This Number System Beats Binary, But Most Computers Can't Use It
scientificamerican.com
·
3d
·
Discuss:
Hacker News
🏹
Effect Systems
Generative AI is not the new Internet
eloidereynal.com
·
22h
·
Discuss:
Hacker News
,
r/Economics
🖥️
Self-hosted Infrastructure
Show HN: Tanu – High-performance WebAPI testing framework for Rust
github.com
·
5d
·
Discuss:
Hacker News
🧪
Property-Based Testing
Will AI agents replace software developers? A realistic breakdown
victoronsoftware.com
·
5d
·
Discuss:
Hacker News
🤖
Program Synthesis
Robust Beamforming Design for Secure Near-Field ISAC Systems
arxiv.org
·
3d
🐫
OCaml
Instant responsiveness in user interfaces is annoying
news.ycombinator.com
·
6h
·
Discuss:
Hacker News
👁️
System Observability
AortaDiff: Volume-Guided Conditional Diffusion Models for Multi-Branch Aortic Surface Generation
arxiv.org
·
16h
🐫
OCaml
An AI Skeptic Uses AI for a Week
keithjgrant.com
·
6d
·
Discuss:
Hacker News
👁️
System Observability
Loading...
Loading more...
« Page 30
•
Page 32 »