๐ฟ๏ธ 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
In Gaza, mounting evidence of famine and widespread starvation
news.un.org
ยท
6h
ยท
Discuss:
Hacker News
๐ฆ
Rust
The Disappointing Flight of NASA's Mercury-Atlas 1
drewexmachina.com
ยท
15h
ยท
Discuss:
Hacker News
๐
Systems Monitoring
The Quality of CPI Data Continues to Deteriorate
apolloacademy.com
ยท
2d
ยท
Discuss:
Hacker News
,
r/Economics
๐
Timeseries
The proposed destruction of the USDA: it's deja vu all over again
foodpolitics.com
ยท
12h
ยท
Discuss:
Hacker News
๐ฎ
Message Queues
Cabal 3.16 Release
blog.haskell.org
ยท
4d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Microsoft bans LibreOffice developer's account without warning, rejects appeal
neowin.net
ยท
5h
ยท
Discuss:
Hacker News
๐ป
Programming languages
Evolutionary continuity in social dominance: Insights from primate tractography
jneurosci.org
ยท
1d
ยท
Discuss:
Hacker News
๐
Distributed systems
A Question of Purpose: On Translating Russian Literature
hedgehogreview.com
ยท
3d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Show HN: Configurable parser from binary message to JSON (and viceversa)
gitubo.github.io
ยท
4d
ยท
Discuss:
Hacker News
๐ฆ
Data Serialization
War Games: MoD asks soldiers with 1337 skillz to compete in esports
theregister.com
ยท
15h
ยท
Discuss:
Hacker News
๐
Systems Monitoring
Open-Source LLM Helps Safeguard Text Generation Prompts and Responses
corp.roblox.com
ยท
6d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Show HN: I built a desktop reminder app using Rust and Vue.js
github.com
ยท
2d
ยท
Discuss:
Hacker News
,
r/opensource
,
r/selfhosted
๐น
Apache Arrow
Show HN: Go-respec โ Generate OpenAPI specs from Go code, no annotations needed
github.com
ยท
5d
ยท
Discuss:
Hacker News
๐ท
Typescript
Product as Code: Version Control for Product Management
mantcz.com
ยท
5d
ยท
Discuss:
Hacker News
๐ป
Programming languages
DHH on AI, Vibe Coding and the Future of Programming
thenewstack.io
ยท
2d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Hermit: Manage isolated, self-bootstrapping sets of tools in software projects
github.com
ยท
2d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Hitting the Brakes on Claude Code
preslav.me
ยท
3d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Anthropic introduces new weekly limits for paid subs
news.ycombinator.com
ยท
1d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Common Task: A roadmap for a humanist future
commontask.org
ยท
5d
ยท
Discuss:
Hacker News
๐
Distributed systems
Can I trust this paper?
link.springer.com
ยท
5d
ยท
Discuss:
Hacker News
๐
Timeseries
Loading...
Loading more...
« Page 35
โข
Page 37 »