๐ฟ๏ธ 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
Japanese scientists use CRISPR to eliminate Down syndrome
qazinform.com
ยท
4h
ยท
Discuss:
Hacker News
๐
Distributed systems
Figure Out How to Work Towards Your Goals
dontbreakprod.com
ยท
4h
ยท
Discuss:
Hacker News
๐ง
Memory Management
Common Expression Language โ Fast, safe expression language
cel.dev
ยท
2d
ยท
Discuss:
Hacker News
๐ป
Programming languages
The Caldera-Microsoft Lawsuit of 1996
dfarq.homeip.net
ยท
15h
ยท
Discuss:
Hacker News
๐
Distributed systems
Nilfs: Continuous Snapshotting Filesystem for Linux
nilfs.sourceforge.io
ยท
1d
ยท
Discuss:
Hacker News
๐ฆ
Rust
The Mirror Room
tantaman.com
ยท
2d
ยท
Discuss:
Hacker News
๐ฎ
Message Queues
Comparing a red-black tree to a B-tree
nibblestew.blogspot.com
ยท
1d
ยท
Discuss:
Hacker News
,
nibblestew.blogspot.com
๐๏ธ
Database Internals
What's Good? A Collection of Small Nice Things
burninghou.se
ยท
3h
ยท
Discuss:
Hacker News
๐น
Apache Arrow
Show HN: Rejected Papers
deneutoy.github.io
ยท
1d
ยท
Discuss:
Hacker News
๐
Timeseries
AI Evolves a Winning Strategy in the Prisoner's Dilemma
edwardbrookman.substack.com
ยท
3d
ยท
Discuss:
Substack
๐
Distributed systems
I am Rebuilding this Blog with Rails
writesoftwarewell.com
ยท
1d
ยท
Discuss:
Hacker News
๐ฎ
Message Queues
Show HN: I built a tool that automates cold DMs on Twitter
dmpro.ai
ยท
2d
ยท
Discuss:
Hacker News
๐
Stream Processing
Food contact articles as source of micro- and nanoplastics
nature.com
ยท
4d
ยท
Discuss:
Hacker News
๐งฉ
Microservices
Psychologic manipulation for better social interactions in online Games
reddit.com
ยท
5h
ยท
Discuss:
r/gaming
๐ฎ
Message Queues
You Might Not Need LangChain for Your Next AI App
shuvrojit.substack.com
ยท
4d
ยท
Discuss:
Substack
๐ป
Programming languages
State-Sponsored Stupidity: The Inevitable Failure of Trump's AI Strategy
thedissident.news
ยท
5h
ยท
Discuss:
Hacker News
๐ป
Programming languages
Is AI Turning Engineers into Managers?
7ynk3r.github.io
ยท
1d
ยท
Discuss:
Hacker News
๐
Distributed systems
Utopia on Fast Forward: Why Accelerating AI Skips over the Plumbing
rijama.substack.com
ยท
23h
ยท
Discuss:
Substack
๐
Distributed systems
AI and the great digital agency unbundling
dri.es
ยท
1d
ยท
Discuss:
Lobsters
,
Hacker News
๐
Stream Processing
What does it mean to be smart?
medium.com
ยท
10h
ยท
Discuss:
Hacker News
๐
Security Patterns
Loading...
Loading more...
« Page 21
โข
Page 23 »