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

The Perils of an .xyz Domain
spotvirtual.com·3h·
Discuss: Hacker News
📡Network Protocol Design
Show HN: Next.js and C# Project – App for limiting access to web sources
guard.alexweb.app·1h·
Discuss: Hacker News
🍎Apple
Integrate Email Notifications with RustMailer: A Must-Have for Developers
indiehackers.com·8h·
Discuss: Hacker News
❄️Nixified Development
JavaScript Microtasks: A Comprehensive Guide the Event Loop
codedynasty.dev·6d·
Discuss: Hacker News
🔄Finite State Machines
The Foundations of Reality: Physics and Philosophy Shape Everything We Create
opuslabs.substack.com·1d·
Discuss: Substack
➡️Category Theory
Why Java Is Still Worth Learning in 2025: A Developer's 25-Year Journey
empatheticdeveloper.wordpress.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Fedora Must (Carefully) Embrace Flathub
blogs.gnome.org·19h·
Discuss: Lobsters, Hacker News, r/linux
🔬Unikernels
Game Boy Photo Booth
there.oughta.be·1d·
Discuss: Hacker News
💾Retro Computing
Snake eating its tail: how can synthetic data possibly work for training AI?
tomdekan.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Content and Community
stratechery.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
RAG at the Crossroads - Mid-2025 Reflections on AI’s Incremental Evolution | RAGFlow
ragflow.io·4d·
Discuss: Hacker News, r/LocalLLaMA
✓Automated Theorem Proving
The Impact of Prompt Bloat on LLM Output Quality
mlops.community·5d·
Discuss: Hacker News
✓Automated Theorem Proving
GitHub's required status checks are fail-open and not fail-close
github.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Mastering Vibe Coding — May the Force Be With You
thenewstack.io·1d
🤖Program Synthesis
Visible Light Indoor Positioning with a Single LED and Distributed Single-Element OIRS: An Iterative Approach with Adaptive Beam Steering
arxiv.org·1d
🐫Embedded OCaml
Ask HN: What Speaker Diarization tools should I look into?
news.ycombinator.com·21h·
Discuss: Hacker News
🐫Embedded OCaml
DynImg: Key Frames with Visual Prompts are Good Representation for Multi-Modal Video Understanding
arxiv.org·1d
🔄Finite State Machines
Recommendations for case for short depth NAS?
reddit.com·10h·
Discuss: r/homelab
🏠HomeLab
OpenAI jumps gun on International Math Olympiad gold medal announcement
arstechnica.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Yet Another Bad Analysis of AI
recursed.blogspot.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Loading...Loading more...
AboutBlogChangelogRoadmap