Building our geospatial database in production
radar.com·7h·
Discuss: Hacker News
🎯GADT
Flag this post
I Use AI
ben.stolovitz.com·1d·
Discuss: Hacker News
🔤Language Design
Flag this post
Uncrossed Multiflows and Applications to Disjoint Paths
arxiv.org·1d
Process Calculi
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·3d·
Discuss: Hacker News
🔍Formal Verification
Flag this post
ParaScopes: What do Language Models Activations Encode About Future Text?
arxiv.org·1d
🧩Parser Combinators
Flag this post
A Unified Model for Human Mobility Generation in Natural Disasters
arxiv.org·18h
🔲Cellular Automata
Flag this post
TypeScript Rewrote Itself in Go?! What That “10x Faster” Hype Really Means
dev.to·1d·
Discuss: DEV
🔧ppx
Flag this post
Transformer-Based Decoding in Concatenated Coding Schemes Under Synchronization Errors
arxiv.org·1d
⚙️Compiler Design
Flag this post
Using ensemble learning with hybrid graph neural networks and transformers to predict traffic in cities
arxiv.org·18h
🕸️Graph Theory
Flag this post
Complex QA and language models hybrid architectures, Survey
arxiv.org·1d
🧩Parser Combinators
Flag this post
For Synthetic Situations
lesswrong.com·2d
🎮Verification Games
Flag this post
AI Uses Functions to Fetch Real Data (Not Just Chat)
farukalpay.substack.com·1d·
Discuss: Substack
λFunctional Programming
Flag this post
Teaching AI to Take Initiative – Building a Self-Thinking App with LangGraph and Ollama
dev.to·1d·
Discuss: DEV
Automated Theorem Proving
Flag this post
Perceived Femininity in Singing Voice: Analysis and Prediction
arxiv.org·18h
📐Linear Algebra
Flag this post