๐Ÿฟ๏ธ 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ยท12hยท
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ยท21hยท
Discuss: Hacker News
๐ŸŒŠStreaming 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
OpenAI has lost the plot on boring LLM use cases
softwaredoug.comยท1hยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
Let's Use ChatGPT To Write Our Paper! Benchmarking LLMs To Write the Introduction of a Research Paper
arxiv.orgยท12h
๐Ÿ”จCompilers
A Hybrid Surrogate for Electric Vehicle Parameter Estimation and Power Consumption via Physics-Informed Neural Operators
arxiv.orgยท2d
๐Ÿง Machine Learning
Mastering Go Concurrency: Taming Race Conditions Like a Pro
dev.toยท3dยท
Discuss: DEV
โšกHardware Transactional Memory
What Iโ€™d Buy If I Could Only Invest $1,000 in Crypto
hackernoon.comยท1d
๐Ÿ”BitFunnel
Scalable Lyapunov Barrier Function Optimization Using Reinforcement Learning for Hybrid Nonlinear Systems
dev.toยท1dยท
Discuss: DEV
๐Ÿ›ก๏ธError Boundaries
CoBAD: Modeling Collective Behaviors for Human Mobility Anomaly Detection
arxiv.orgยท12h
๐Ÿ“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ยท12h
๐Ÿ”Information Retrieval
CardAIc-Agents: A Multimodal Framework with Hierarchical Adaptation for Cardiac Care Support
arxiv.orgยท1d
๐Ÿ”ฒCellular Automata
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ยท12h
๐Ÿค–Advanced OCR
Active inference for action-unaware agents
arxiv.orgยท2d
๐Ÿ”ฒCellular Automata
Breakable Machine: A K-12 Classroom Game for Transformative AI Literacy Through Spoofing and eXplainable AI (XAI)
arxiv.orgยท12h
๐Ÿ”ฒCellular Automata
Evaluating Multilingual and Code-Switched Alignment in LLMs via Synthetic Natural Language Inference
arxiv.orgยท12h
๐Ÿ”—Monadic Parsing
Loading...Loading more...
AboutBlogChangelogRoadmap