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

Type-level Programming, Proof-carrying Code, Agda, Type Safety

Cactus Language • Pragmatics 1
inquiryintoinquiry.com·13h
💻Programming languages
Fast and Simple Rust Interner
matklad.github.io·4d
🦀Rust Verification
How Meta keeps its AI hardware reliable
engineering.fb.com·10h
🛡️Error Boundaries
I wrote 2000 LLM test cases so you don't have to: LLM feature compatibility grid
getkiln.ai·13h·
Discuss: Hacker News
🔍Concolic Testing
Smart Routing Saved Exa 90% on LLM Costs
inference.net·2h·
Discuss: Hacker News
🌀Brotli Internals
CHIMERA: Compressed Hybrid Intelligence for Twin-Model Enhanced Multi-Agent Deep Reinforcement Learning for Multi-Functional RIS-Assisted Space-Air-Ground Integ...
arxiv.org·50m
🧠Intelligence Compression
Buggy rule diagnosis for combined steps through final answer evaluation in stepwise tasks
arxiv.org·2d
✓Automated Theorem Proving
From Rules to Relationships: How Machines Are Learning to Understand Each Other
towardsdatascience.com·4h
🧠Machine Learning
Semi-off-Policy Reinforcement Learning for Vision-Language Slow-thinking Reasoning
arxiv.org·50m
🔲Cellular Automata
The Invisible Leash: Why RLVR May Not Escape Its Origin
arxiv.org·1d
✨Effect Handlers
Machine Learning Fundamentals: federated learning tutorial
dev.to·13h·
Discuss: DEV
📊Homelab Monitoring
Vibecoding a High Performance System
andrewkchan.dev·11h·
Discuss: Hacker News
👁️System Observability
HOComp: Interaction-Aware Human-Object Composition
arxiv.org·50m
📐Projective Geometry
Language Generation in the Limit: Noise, Loss, and Feedback
arxiv.org·1d
💻Programming languages
Building Event-Driven Architecture with MSK and Lambda: The Python Developer's Guide to Not Shooting Yourself in the Foot
dev.to·8h·
Discuss: DEV
🌊Apache Kafka
Python Fundamentals: class methods
dev.to·2d·
Discuss: DEV
🔬Refinement Types
Beyond Binary Rewards: Training LMs to Reason About Their Uncertainty
arxiv.org·50m
🧠Intelligence Compression
The Context Illusion: Why LLMs Don't Know Your Code Like You Think They Do
dev.to·13h·
Discuss: DEV
✨Effect Handlers
The Context Illusion: Why LLMs Don't Know Your Code Like You Think They Do
dev.to·13h·
Discuss: DEV
✨Effect Handlers
AtrousMamaba: An Atrous-Window Scanning Visual State Space Model for Remote Sensing Change Detection
arxiv.org·50m
📐Projective Geometry
Loading...Loading more...
AboutBlogChangelogRoadmap