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

55 Months, 1 Day
satisfice.comยท2d
โš™๏ธProof Engineering
dulnan/lazy-brush: Smooth drawing with mouse, finger or other pointing device
github.comยท1d
๐Ÿ“ŸTerminal Physics
Bloom patterns: radially expansive, developable and flat-foldable origami
royalsocietypublishing.orgยท1dยท
Discuss: Hacker News, r/programming
๐Ÿ“Mathematical Art
j-p-higgins/SoundThread: Node based GUI for The Composers Desktop Project
github.comยท1d
๐ŸŽ›๏ธAudio Synthesis
Injection-proof SQL builders in Go
oblique.securityยท4dยท
Discuss: r/golang
โœ…Format Verification
GPT-5 and SQL code generation
beekeeperstudio.ioยท1dยท
Discuss: Hacker News
โš™๏ธBatch Processing
A brief consideration of input shapes (fuzzing)
addisoncrump.infoยท5dยท
Discuss: Lobsters, Hacker News
๐ŸงชBinary Fuzzing
Making Sense of AI Job Titles
dbreunig.comยท1dยท
Discuss: Hacker News
๐Ÿ—บ๏ธCompetency Maps
Making the Case for One Language Tree Across Monorepos
hackernoon.comยท2d
๐Ÿ”„Migration Tools
The Growing Need for Tools in 2025
dev.toยท2dยท
Discuss: DEV
๐Ÿง Knowledge Management
[D] Using LLMs to extract knowledge graphs from tables for retrieval-augmented methods โ€” promising or just recursion?
reddit.comยท1dยท
Discuss: r/MachineLearning
๐ŸงฎDatalog
JuiceFS on Windows: Challenges in the Beta Release
dev.toยท1dยท
Discuss: DEV
๐ŸŒŠStreaming Systems
Large-Scale Multi-Robot Assembly Planning for Autonomous Manufacturing
arxiv.orgยท5d
๐Ÿ“ŠComputational Geometry
Help Your Model Learn the True Signal
towardsdatascience.comยท3d
๐Ÿ”Vector Forensics
AI Fiesta Exposed: Scam or Smart Budget Alternative to Abacus.AI?
dev.toยท1dยท
Discuss: DEV
๐ŸŒ€Brotli Internals
TASER: Table Agents for Schema-guided Extraction and Recommendation
arxiv.orgยท3d
๐Ÿ”Information Retrieval
Disentangling the Drivers of LLM Social Conformity: An Uncertainty-Moderated Dual-Process Mechanism
arxiv.orgยท1d
๐Ÿง Intelligence Compression
Let's Use ChatGPT To Write Our Paper! Benchmarking LLMs To Write the Introduction of a Research Paper
arxiv.orgยท2d
๐Ÿ”จCompilers
Entropy-Constrained Strategy Optimization in Urban Floods: A Multi-Agent Framework with LLM and Knowledge Graph Integration
arxiv.orgยท2d
๐Ÿ”ฒCellular Automata
Mastering Go Concurrency: Taming Race Conditions Like a Pro
dev.toยท5dยท
Discuss: DEV
โšกHardware Transactional Memory
Loading...Loading more...
AboutBlogChangelogRoadmap