๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ‘‘ Dependent Haskell

Singletons, Type-level Programming, GADTs, Kind Polymorphism

On This Day in Math - August 21
pballew.blogspot.comยท10hยท
Discuss: www.blogger.com
๐Ÿ“Mathematical Art
Thoughts on creating a tracking pointer class, part 8: Tracking const objects
devblogs.microsoft.comยท1d
๐Ÿ”—Static Linking
Show HN: Serverless platform for running voice AI agents
blog.livekit.ioยท20hยท
Discuss: Hacker News
๐ŸŒŠStreaming Systems
Great Programmers Write Debuggable Code (2013)
henrikwarne.comยท17hยท
Discuss: Hacker News
๐Ÿ‘๏ธObservatory Systems
Blink Twice: Measuring Strategic Deception Amongst LLMs
coup.khoj.devยท2dยท
Discuss: Hacker News
๐ŸŽฏProof Tactics
AI working with Infra? Sounds like a terrible idea but we made it work
blog.railway.comยท1dยท
Discuss: Hacker News
๐ŸŽฌAV1 Encoding
A Hybrid Surrogate for Electric Vehicle Parameter Estimation and Power Consumption via Physics-Informed Neural Operators
arxiv.orgยท2d
๐Ÿง Machine Learning
What Iโ€™d Buy If I Could Only Invest $1,000 in Crypto
hackernoon.comยท1d
๐Ÿ”BitFunnel
CoBAD: Modeling Collective Behaviors for Human Mobility Anomaly Detection
arxiv.orgยท10h
๐Ÿ“Information Geometry
Approximating the universal thermal climate index using sparse regression with orthogonal polynomials
arxiv.orgยท3d
๐Ÿ“Error Bounds
Clinical semantics for lung cancer prediction
arxiv.orgยท10h
๐Ÿ”Information Retrieval
CardAIc-Agents: A Multimodal Framework with Hierarchical Adaptation for Cardiac Care Support
arxiv.orgยท1d
๐Ÿ”ฒCellular Automata
Mastering Go Concurrency: Taming Race Conditions Like a Pro
dev.toยท3dยท
Discuss: DEV
โšกHardware Transactional Memory
Scalable Lyapunov Barrier Function Optimization Using Reinforcement Learning for Hybrid Nonlinear Systems
dev.toยท1dยท
Discuss: DEV
๐Ÿ›ก๏ธError Boundaries
CORE: Measuring Multi-Agent LLM Interaction Quality under Game-Theoretic Pressures
arxiv.orgยท2d
๐ŸงฎKolmogorov Complexity
Fracture Detection and Localisation in Wrist and Hand Radiographs using Detection Transformer Variants
arxiv.orgยท10h
๐Ÿค–Advanced OCR
Active inference for action-unaware agents
arxiv.orgยท2d
๐Ÿ”ฒCellular Automata
I Built a Tool to Stop Explaining My Codebase to AI Every Single Time
dev.toยท1dยท
Discuss: DEV
โšกProof Automation
Evaluating Multilingual and Code-Switched Alignment in LLMs via Synthetic Natural Language Inference
arxiv.orgยท10h
๐Ÿ”—Monadic Parsing
Breakable Machine: A K-12 Classroom Game for Transformative AI Literacy Through Spoofing and eXplainable AI (XAI)
arxiv.orgยท10h
๐Ÿ”ฒCellular Automata
Loading...Loading more...
AboutBlogChangelogRoadmap