๐ฟ๏ธ 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
The evolution of life may have its origins in outer space
mpg.de
ยท
1d
ยท
Discuss:
Hacker News
๐ป
Programming languages
The long, knotty, world-spanning story of string
hakaimagazine.com
ยท
16h
ยท
Discuss:
Hacker News
๐ฆ
Rust
How to Setup a Secure Ubuntu Home Server
davidma.co
ยท
1d
ยท
Discuss:
Hacker News
๐
Security Patterns
Show HN: The Magic of Code โ book about the wonders and weirdness of computation
themagicofcode.com
ยท
4d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Who is LLM
martinfowler.com
ยท
4d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Cerebras Launches Qwen3-235B, Achieving 1,500 Tokens per Second
cerebras.ai
ยท
3d
ยท
Discuss:
Hacker News
๐ป
Programming languages
The State of Flash Attention on ROCm
zdtech.substack.com
ยท
2d
ยท
Discuss:
Substack
๐
Performance Profiling
So much for watermarks: UnMarker tool nukes AI provenance tags
theregister.com
ยท
1d
ยท
Discuss:
Hacker News
๐
Security Patterns
Adding more CPU cores won't help if architecture is fundamentally sequential
signoz.io
ยท
2d
ยท
Discuss:
Hacker News
,
r/programming
๐
Performance Profiling
Show HN: An AI tool that filters high-quality info from the noise
github.com
ยท
2d
ยท
Discuss:
Hacker News
๐
Stream Processing
Zignal: A zero-dependency image processing library
github.com
ยท
1d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Maybe (personal finance app) v0.6.0, post-mortem
github.com
ยท
1d
ยท
Discuss:
Hacker News
๐งฉ
Microservices
Vitalik Buterin's response to AI 2027
vitalik.eth.limo
ยท
4d
ยท
Discuss:
Hacker News
๐น
Apache Arrow
You won't believe what this AI said after deleting a database (but you might relate)
smallcultfollowing.com
ยท
2d
ยท
Discuss:
Hacker News
,
Hacker News
๐ป
Programming languages
How to Migrate from OpenAI to Cerebrium for Cost-Predictable AI Inference
ritza.co
ยท
4d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Ask HN: Why is virtualization still not solved?
news.ycombinator.com
ยท
15h
ยท
Discuss:
Hacker News
๐
Performance Profiling
Show HN: Gencmd, an fzf for natural language to bash commands
github.com
ยท
1d
ยท
Discuss:
Hacker News
๐ป
Programming languages
First release candidate of systemd 258 is here
theregister.com
ยท
18h
ยท
Discuss:
Hacker News
๐
Distributed systems
Video and transcript of talk on "Can goodness compete?"
joecarlsmith.com
ยท
3d
ยท
Discuss:
Hacker News
๐
Distributed systems
Zeitwerk: The Autoloader That Rails Deserves, but Not the One It Needs
rubystacknews.com
ยท
3d
ยท
Discuss:
Hacker News
๐น
Apache Arrow
Loading...
Loading more...
« Page 23
โข
Page 25 »