🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
✅ Model Checking

State Explosion, Temporal Logic, Safety Properties, Symbolic Execution

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...
AboutBlogChangelogRoadmap