🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔠 Type-Level Programming

Dependent Haskell, GADTs, Type Families, Kind System

RabbitMQ delayed message plugin vs TTL and Dead-Letter method
codemia.io·5h·
Discuss: r/programming
🌐NetworkProtocols
Show HN: Homemade robot playing piano concert in SF (7/26)
grayarea.org·21h·
Discuss: Hacker News
🍎Apple
GHC will start maintaining an LTS release/branch in the near future
blog.haskell.org·4d·
Discuss: Hacker News
🐫OCaml
Tailwind Is the Worst of All Worlds
colton.dev·23h·
Discuss: Lobsters, Hacker News
🔄Reproducible Builds
Perplexity Comet, Dia Browser, Opera Neon: How Agentic Browsers Will Change Web
pullflow.com·21h·
Discuss: Hacker News
🔬Unikernels
I just decompiled a decompiler so I could use it to decompile itself (2008)
dougmccune.com·1d·
Discuss: Hacker News
💾Retro Computing
Conspiracy theorists think their views are mainstream
arstechnica.com·19h·
Discuss: Hacker News
✓Automated Theorem Proving
Is Space Pixelated?(2021)
magazine.caltech.edu·22h·
Discuss: Hacker News
➡️Category Theory
Eureka! I've Hacked You: About a University Lesson and How It Shaped My Career
krthr.co·1d·
Discuss: Hacker News
🎮Verification Games
🅰️ Angular Interview Q&A: Day 28
medium.com·1h·
Discuss: r/programming
🔄Reproducible Builds
The Hater's Guide To The AI Bubble
wheresyoured.at·1d·
Discuss: Hacker News, Hacker News, Hacker News
🔬Unikernels
Bun 1.2.19 Adds Isolated Installs for Better Monorepo Support
socket.dev·1d·
Discuss: Hacker News
📦Unikernel Systems
Learning Pluralistic User Preferences through Reinforcement Learning Fine-tuned Summaries
arxiv.org·2d
🎮Verification Games
Quantitative Risk Management in Volatile Markets with an Expectile-Based Framework for the FTSE Index
arxiv.org·2d
🐫OCaml
Explainable Artificial Intelligence based Soft Evaluation Indicator for Arc Fault Diagnosis
arxiv.org·1d
👁️System Observability
EBA-AI: Ethics-Guided Bias-Aware AI for Efficient Underwater Image Enhancement and Coral Reef Monitoring
arxiv.org·1d
✓Automated Theorem Proving
🔬🧪 AI Alchemy — Symbolic Programming via Recursive Prompting
reddit.com·4d·
Discuss: r/programming
🎮Verification Games
Apology of Green Digitalization in the Context of Information and Climate Feedback Theory
arxiv.org·1d
🖥️Self-hosted Infrastructure
I'm Tired of Talking About AI
paddy.carvers.com·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🖥️Self-hosted Infrastructure
Latent Space Data Fusion Outperforms Early Fusion in Multimodal Mental Health Digital Phenotyping Data
arxiv.org·1d
➡️Category Theory
Loading...Loading more...
AboutBlogChangelogRoadmap