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

The Next Frontier in Finance: Tokenized Access to Private Markets
coindesk.com·7h·
Discuss: Hacker News
🔗Blockchain Archives
Embracing the power of the empty set in API design: Requesting zero items
devblogs.microsoft.com·1d·
Discuss: Hacker News
λLambda Formalization
ODFM, an omics data resource from microorganisms associated with fermented foods
nature.com·3d·
Discuss: Hacker News
🏷️Metadata Standards
Statically checking Python dicts for completeness
lukeplant.me.uk·4d
✅Format Verification
Ask HN: What's the 2025 stack for a self-hosted photo library with local AI?
news.ycombinator.com·1d·
Discuss: Hacker News
🌀Brotli Internals
Libreboot 25.06 released
libreboot.org·5h·
Discuss: r/linux, r/opensource
🔌Operating system internals
A Newbie's First Contribution to (Rust for) Linux
blog.buenzli.dev·3d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Pluto is a unique dialect of Lua with a focus on general-purpose programming
github.com·23h·
Discuss: Hacker News
🔓Open Source Software
The Hard Problem of Prompt Injection
alexcbecker.net·2d·
Discuss: Hacker News
🧪Protocol Fuzzing
Complete Gemini CLI Setup Guide for Your Terminal
hackernoon.com·3h
🪟Awesome windows command-line
The Terraform Namer Pattern: Making Consistent Naming Easy at Scale
dev.to·1d·
Discuss: DEV
🦋Format Metamorphosis
🍸 Selecting the Largest Sum Subsequence of Length K – LeetCode 2099 (C++ | JavaScript | Python )
dev.to·4d·
Discuss: DEV
λLambda Encodings
Validation of AI-Based 3D Human Pose Estimation in a Cyber-Physical Environment
arxiv.org·20h
🏺Computational Archaeology
HarmonyOS HTTP Request Tester Dev Notes & Real-World Pitfalls
dev.to·1d·
Discuss: DEV
🌐Network Protocols
I Built a Tool to Search AI Conversations in 1 Week (With Heavy AI Assistance)
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Mastering State Management: The Synergy of React and Redux in the Future of Web Apps
dev.to·14h·
Discuss: DEV
🌊Streaming Systems
Random Initialization Can't Catch Up: The Advantage of Language Model Transfer for Time Series Forecasting
arxiv.org·1d
🎙️Whisper
Timed Prediction Problem for Sandpile Models
arxiv.org·4d
🔲Cellular Automata
Efficient set-membership filters and dictionaries based on SAT
github.com·2d·
Discuss: Hacker News
🌸Bloom Filters
Transfer Learning for Assessing Heavy Metal Pollution in Seaports Sediments
arxiv.org·1d
🧠Machine Learning
Loading...Loading more...
AboutBlogChangelogRoadmap