🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
✅ Model Checking
State Explosion, Temporal Logic, Safety Properties, Symbolic Execution
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Surveillance or Support? Policing Harmful Sexual Behaviour in Schools
onlinelibrary.wiley.com
·
22h
·
Discuss:
Hacker News
🏹
Effect Systems
Recommended Books for Learning Ruby
rubynewbie.org
·
4h
·
Discuss:
Hacker News
💎
Refinement Types
Disrupting the DRAM roadmap with capacitor-less IGZO-DRAM technology
imec-int.com
·
3h
·
Discuss:
Hacker News
🔧
Unikernel Development
What I've learned about startups
claudio.uk
·
7h
·
Discuss:
Hacker News
📊
Runtime Verification
MonadBFT: Fast, Responsive, Fork-Resistant Streamlined Consensus
category.xyz
·
5d
·
Discuss:
Hacker News
🔄
Reproducible Builds
Django Views - The Right Way
spookylukey.github.io
·
2d
·
Discuss:
Hacker News
🌐
NetworkProtocols
NVIDIA Rubin CPX Accelerates Inference Performance and Efficiency for 1M+ Token Context Workloads
developer.nvidia.com
·
1d
·
Discuss:
Hacker News
🧩
Separation Logic
LLMs Are Adaptive Data Organisms
worldgov.org
·
3d
·
Discuss:
Hacker News
📚
Automata Learning
95% of AI Pilots Fail
selector.ai
·
1d
·
Discuss:
Hacker News
👁️
System Observability
How to Use the AT24C32 EEPROM for 4KB External Memory for Microcontrollers
hackaday.com
·
18h
🐫
Embedded OCaml
Memory is slow, Disk is fast – Part 2
bitflux.ai
·
4d
·
Discuss:
Hacker News
,
r/programming
👁️
System Observability
Ask HN: What did you obtain from learning compilers?
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🐫
OCaml
Show HN: D-Tale, easy to use GUI for Pandas data structures
github.com
·
1d
·
Discuss:
Hacker News
🐳
Containerization
Show HN: Claude Context but local – semantic code search without API keys
github.com
·
1d
·
Discuss:
Hacker News
,
r/ClaudeAI
,
r/LocalLLaMA
🔧
Unikernel Development
We built an Artificial Brain that sleeps, dreams, and forms memories
github.com
·
1d
·
Discuss:
Hacker News
🩹
Self-Healing Systems
Emergent Social Dynamics of LLM Agents in the El Farol Bar Problem
arxiv.org
·
1d
🎮
Verification Games
Power of CAD software in accelerating product development in chemical industries
chemistryworld.com
·
38m
·
Discuss:
Hacker News
🐳
Containerization
Taming LLM Sprawl: Why Enterprises Need an AI Gateway Now
thenewstack.io
·
46m
🤖
Program Synthesis
Hilbert space: treating functions as vectors
eli.thegreenplace.net
·
3d
·
Discuss:
Lobsters
,
Hacker News
➡️
Category Theory
Reservoir Predictive Path Integral Control for Unknown Nonlinear Dynamics
arxiv.org
·
4d
🩹
Self-Healing Systems
Loading...
Loading more...
« Page 16
•
Page 18 »