🐿️ 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

Evolution of Korean alcohol production: From an experience-based craft to a data-driven science
phys.org·3h
☕Precision Brewing
Chance’s Lucky Escape thoughts
virtualmoose.org·11h
🔲Cellular Automata
My 4-Stage System for Learning Anything New
fortelabs.com·11h
🧭Content Discovery
Counting with Categories (Part 3)
golem.ph.utexas.edu·6d
λLambda Formalization
From Tables to Relationships: Visualizing Iceberg Data as a Graph
blog.min.io·3d
🔄Sync Engine
Student Solves a Long-Standing Problem About the Limits of Addition
wired.com·1d
🎯Arithmetic Coding Theory
Fortnight notes: 16 – 29 June
neilojwilliams.net·1d
🧬Bitstream Evolution
JetBrains is increasing YouTrack prices starting this October
neowin.net·5h·
Discuss: Hacker News
🔍BitFunnel
AST, Bytecode and the In Between: An Exploration of Interpreter Design Tradeoffs
2025.ecoop.org·4d·
Discuss: Hacker News
🔤DSLs
Show HN: Daf·thunk – open-source Editor for Prototyping Workflows on Cloudflare
dafthunk.com·3d·
Discuss: Hacker News
🔓Open Source Software
The Missing Architecture of Gen AI: 8 White-Space Patterns We Desperately Need
nnennahacks.com·11h·
Discuss: Hacker News
⚙️TLA+
Understanding Network Packet Offsets and Safe Parsing in eBPF
diobr4nd0.github.io·2d·
Discuss: Hacker News
🛡️eBPF Security
Building Your Own DSL with @resultBuilder in Swift: HTML Builder
dev.to·2d·
Discuss: DEV
🔤DSLs
Exploring Image Generation via Mutually Exclusive Probability Spaces and Local Correlation Hypothesis
arxiv.org·20h
🧠Machine Learning
PentaRAG: Large-Scale Intelligent Knowledge Retrieval for Enterprise LLM Applications
arxiv.org·20h
🔍Information Retrieval
Valuable News Summary for June 30, 2025
discoverbsd.com·10h
🔌Operating system internals
Claude Code was stuck without gdb, so I installed it midway and it got happy
dev.to·18h·
Discuss: DEV
📜Proof Carrying Code
Real-Time WebSocket Architecture: AWS IoT + Angular Integration
dev.to·6h·
Discuss: DEV
🌐Network Protocols
AI Is Dumb — And You Should Be Too (Here’s Why)
dev.to·1d·
Discuss: DEV
📐Proof Assistants
Understanding LLMs & Ideating A Decentralized Approach To Solve Challenges
dev.to·16h·
Discuss: DEV
💻Local LLMs
Loading...Loading more...
AboutBlogChangelogRoadmap