🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⚡ Dependent Rust

Verification, Type-level Programming, Safety Proofs, Linear Types

Ada on RP2350
synack.me·4d
🎯Emulation Accuracy
Poltergeist: The Ghost That Keeps Your Builds Fresh
steipete.me·5d
🎯Gradual Typing
The Open Data Delusion
puntofisso.net·1d·
Discuss: Hacker News
📦METS Packaging
SAT Requires Exhaustive Search
link.springer.com·5d·
Discuss: Hacker News
🧮Kolmogorov Complexity
FlusterApp: The Note-Taking App for Students and Academics
flusterapp.com·1d·
Discuss: Hacker News
🏛Digital humanities
Show HN: SecretShare – Easy, secure one time secret sharing CLI
news.ycombinator.com·1d·
Discuss: Hacker News
🔑Cryptographic Protocols
Show HN: Elf0 – Build and run AI agent workflows in YAML (CLI)
elf0.com·5d·
Discuss: Hacker News
👑Isabelle
A Bit of Brazilian History with Hell Clock (Review)
boilingsteam.com·1d
🏺Gaming Archaeology
Real-World Success Stories Where GraphRAG Beats Standard RAG
memgraph.com·3d·
Discuss: Hacker News
📊Graph Databases
Inteligov Uses FusionAuth for Custom SSO, Opening Up a New Revenue Stream
fusionauth.io·3d·
Discuss: Hacker News
🌐WASI
🚀 Building Tripzy – A Flask + SQLAlchemy Intercity Booking Platform
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
🐱 Schrödinger’s Index: It Only Exists When You Observe It and Only the Way You Observe It – in the HydrAIDE Engine
dev.to·1d·
Discuss: DEV
⚛️Quantum Archives
Python Challenge #2 -Data Types Demystified!
dev.to·2d·
Discuss: DEV
🧮Algebraic Datatypes
Constructive Disintegration and Conditional Modes
arxiv.org·6d
🏗️Constructive Logic
The Algorithm Isn’t on Your Side: How Conversational AI Can Help Smaller Creators Compete
hackernoon.com·1d
🤖AI Curation
My 2-Year-Old Shipped His First Game. I'm Not Teaching Him to Code.
dev.to·5d·
Discuss: DEV
⚔️Lean Tactics
Breaking New Ground in Software Defect Prediction: Introducing Practical and Actionable Metrics with Superior Predictive Power for Enhanced Decision-Making
arxiv.org·3d
📏Code Metrics
How to Create NumPy Arrays from Lists
dev.to·1d·
Discuss: DEV
📊APL Heritage
Show HN: I put a GUI on the Gemini CLI and I'm not going back
github.com·1d·
Discuss: Hacker News
🔌Interface Evolution
Improve Retinal Artery/Vein Classification via Channel Couplin
arxiv.org·3d
📊Rate-Distortion Theory
Loading...Loading more...
AboutBlogChangelogRoadmap