🐿️ 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·15h
🏛Digital humanities
How to Invent Defense Products (2022)
vannevarlabs.com·2h·
Discuss: Hacker News
💾Persistence Strategies
AI Can Make You Laugh. But Can It Ever Be Truly Humorous?
undark.org·19h·
Discuss: Hacker News
⚡Proof Automation
The borrowchecker is what I like the least about Rust
viralinstruction.com·1d
🦀Rust Borrowing
looking for a specific type of application
reddit.com·5h·
Discuss: r/homelab
🕸️WASM Archives
On Logical Extrapolation for Mazes with Recurrent and Implicit Networks
arxiv.org·22h
🔲Cellular Automata
AI Agent tutorial from the basics to building multi-agent teams
dev.to·16h·
Discuss: DEV
⚡Proof Automation
Building an Open Floor Parrot Agent
dev.to·3d·
Discuss: DEV
⚡gRPC
Building an Interactive Story Generator with Google AI Studio
dev.to·1d·
Discuss: DEV
🎙️Whisper
Using AI to Boost Your Productivity by Asking the Right Questions
dev.to·11h·
Discuss: DEV
⚡Proof Automation
Proof-theoretic Semantics for First-order Logic
arxiv.org·3d
🏗️Constructive Logic
⚡ Hogwarts Spell Caster: Real-Time Voice Magic with AssemblyAI Universal-Streaming
dev.to·1d·
Discuss: DEV
🎙️Whisper
The Force: A Star Wars themed programming language
github.com·17h·
Discuss: Hacker News
🦀Rust Macros
Tri-Learn Graph Fusion Network for Attributed Graph Clustering
arxiv.org·22h
🌊Spectral Clustering
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
From Rails to JavaScript: A spectrum of integration options
thoughtbot.com·1d
🔗Hypermedia APIs
How to Build a Resilient AI-Powered Research Agent with LangChain, Gemini, and DuckDuckGo
dev.to·9h·
Discuss: DEV
🌀Brotli Internals
Can AI think—and should it? What it means to think, from Plato to ChatGPT
phys.org·10h
🔲Cellular Automata
Signs of the Past, Patterns of the Present: On the Automatic Classification of Old Babylonian Cuneiform Signs
arxiv.org·22h
🤖Paleographic ML
DENSE: Longitudinal Progress Note Generation with Temporal Modeling of Heterogeneous Clinical Notes Across Hospital Visits
arxiv.org·22h
📈Time Series
Loading...Loading more...
AboutBlogChangelogRoadmap