🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
πŸ”„ Session Type Inference

Protocol Synthesis, Communication Safety, Type Reconstruction, Multiparty Sessions

I Teach Creative Writing. This Is What A.I. Is Doing to Students.
notes.billmill.orgΒ·10h
πŸ›Digital humanities
The borrowchecker is what I like the least about Rust
viralinstruction.comΒ·1d
πŸ¦€Rust Borrowing
The .a File Is a Relic: Why Static Archives Were a Bad Idea All Along
medium.comΒ·2dΒ·
Discuss: Hacker News, r/C_Programming
πŸ”—Static Linking
looking for a specific type of application
reddit.comΒ·24mΒ·
Discuss: r/homelab
πŸ•ΈοΈWASM Archives
I built a memoryless AI persona system at 18
medium.comΒ·2dΒ·
Discuss: Hacker News
🌍Cultural Algorithms
Recurrent Neural Networks: A Review
theahura.substack.comΒ·2dΒ·
Discuss: Substack
🧠Machine Learning
Show HN: An Intuitive Go Library for Handling Complex Permission/RBAC
github.comΒ·2dΒ·
Discuss: Hacker News
πŸ”Capability Systems
XRL Resources
github.comΒ·3dΒ·
Discuss: Hacker News
πŸ”—Constraint Handling
On Pre-training of Multimodal Language Models Customized for Chart Understanding
arxiv.orgΒ·17h
πŸ“ŠLearned Metrics
On Logical Extrapolation for Mazes with Recurrent and Implicit Networks
arxiv.orgΒ·17h
πŸ”²Cellular Automata
Building an Interactive Story Generator with Google AI Studio
dev.toΒ·1dΒ·
Discuss: DEV
πŸŽ™οΈWhisper
You Have to Decide
tern.shΒ·1hΒ·
Discuss: Hacker News
πŸ“Code Metrics
AI Agent tutorial from the basics to building multi-agent teams
dev.toΒ·12hΒ·
Discuss: DEV
⚑Proof Automation
Proof-theoretic Semantics for First-order Logic
arxiv.orgΒ·3d
πŸ—οΈConstructive Logic
Building an Open Floor Parrot Agent
dev.toΒ·2dΒ·
Discuss: DEV
⚑gRPC
Using AI to Boost Your Productivity by Asking the Right Questions
dev.toΒ·7hΒ·
Discuss: DEV
⚑Proof Automation
The Force: A Star Wars themed programming language
github.comΒ·12hΒ·
Discuss: Hacker News
πŸ¦€Rust Macros
Tri-Learn Graph Fusion Network for Attributed Graph Clustering
arxiv.orgΒ·17h
🌊Spectral Clustering
How to Build a Resilient AI-Powered Research Agent with LangChain, Gemini, and DuckDuckGo
dev.toΒ·4hΒ·
Discuss: DEV
πŸŒ€Brotli Internals
Signs of the Past, Patterns of the Present: On the Automatic Classification of Old Babylonian Cuneiform Signs
arxiv.orgΒ·17h
πŸ€–Paleographic ML
Loading...Loading more...
AboutBlogChangelogRoadmap