๐Ÿฟ๏ธ 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

Double Maths First Thing: Issue 32
aperiodical.comยท1d
๐Ÿ“Mathematical Art
Comprehensive MCP Security Checklist: Protecting Your AI-Powered Infrastructure
lab.wallarm.comยท17h
๐Ÿ›ก๏ธCLI Security
The Price of Intelligence
cacm.acm.orgยท2d
๐Ÿ’ปLocal LLMs
Recreationally overengineering my Location History
overengineer.devยท2dยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
Launch HN: Skope (YC S25) โ€“ Outcome-based pricing for software products
news.ycombinator.comยท13hยท
Discuss: Hacker News
๐ŸŒŠStreaming Systems
Melting Go, Vue, and Templ together in Gooo
reddit.comยท2dยท
Discuss: r/golang
๐ŸŽ๏ธVarnish Cache
Inclusion Arena: An Open Platform for Evaluating Large Foundation Models with Real-World Apps
arxiv.orgยท4d
๐Ÿ” Type-Level Programming
Understanding Lambda Functions in Python: Definition, Usage, and Applications
dev.toยท3dยท
Discuss: DEV
ฮปLambda Formalization
The Small-World Beneath LEO Satellite Coverage: Ground Hubs in Multi-Shell Constellations
arxiv.orgยท1d
๐Ÿ•ธ๏ธNetwork Topology
Large-Scale Multi-Robot Assembly Planning for Autonomous Manufacturing
arxiv.orgยท4d
๐Ÿ“ŠComputational Geometry
TASER: Table Agents for Schema-guided Extraction and Recommendation
arxiv.orgยท2d
๐Ÿ”Information Retrieval
Disentangling the Drivers of LLM Social Conformity: An Uncertainty-Moderated Dual-Process Mechanism
arxiv.orgยท19m
๐Ÿง Intelligence Compression
Let's Use ChatGPT To Write Our Paper! Benchmarking LLMs To Write the Introduction of a Research Paper
arxiv.orgยท1d
๐Ÿ”จCompilers
Entropy-Constrained Strategy Optimization in Urban Floods: A Multi-Agent Framework with LLM and Knowledge Graph Integration
arxiv.orgยท1d
๐Ÿ”ฒCellular Automata
Mastering Go Concurrency: Taming Race Conditions Like a Pro
dev.toยท4dยท
Discuss: DEV
โšกHardware Transactional Memory
Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum
arxiv.orgยท19m
๐Ÿ“Interval Arithmetic
A Hybrid Surrogate for Electric Vehicle Parameter Estimation and Power Consumption via Physics-Informed Neural Operators
arxiv.orgยท3d
๐Ÿง Machine Learning
Code Vulnerability Detection Across Different Programming Languages with AI Models
arxiv.orgยท3d
๐ŸงชBinary Fuzzing
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ยท1d
๐Ÿ“Information Geometry
Loading...Loading more...
AboutBlogChangelogRoadmap