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

China's AI startup Zhipu releases open-source model GLM-4.5
reuters.com·1d·
Discuss: Hacker News
⎈Kubernetes
Getting started with LLVM development on Windows via WSL2
trolololo.xyz·3d·
Discuss: Hacker News
📦Unikernel Systems
Mantle contributions to global tungsten recycling and mineralization
nature.com·1d·
Discuss: Hacker News
❄️Nix
How to Make a Font That Says Nothing
untested.sonnet.io·5d·
Discuss: Lobsters, Hacker News, Hacker News
🐫Embedded OCaml
The Limits of Sprawl
paulkrugman.substack.com·1d·
Discuss: Substack
🖥️Self-hosted Infrastructure
YOUR LAST PASSWORD MANAGER
github.com·1d·
Discuss: r/programming
🛡️seL4
Show HN: Historical GPX Wind Visualizer
github.com·2d·
Discuss: Hacker News
👁️System Observability
You won't believe what this AI said after deleting a database (but you might relate)
smallcultfollowing.com·5d·
Discuss: Hacker News, Hacker News
✓Automated Theorem Proving
A front end love story
tobiasuhlig.medium.com·5d·
Discuss: Hacker News
🧱Immutable Infrastructure
LOCOFY Large Design Models -- Design to code conversion solution
arxiv.org·6d
🤖Program Synthesis
GVCCS: A Dataset for Contrail Identification and Tracking on Visible Whole Sky Camera Sequences
arxiv.org·4d
➡️Category Theory
Active RISs: Modeling and Optimization
arxiv.org·6d
⚙️Operating System Design
Early planning stages -- help me pick a rack!
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Need KVM extender over ethernet
reddit.com·3h·
Discuss: r/homelab
🏠HomeLab
The LACT Stack: Lighttpd, Awk, CGI, and Text Files
github.com·3d·
Discuss: Hacker News
⚙️PL Implementation
Experience is the Best Teacher: Grounding VLMs for Robotics through Self-Generated Memory
arxiv.org·6d
🔄Finite State Machines
2025 One Hertz Challenge: Drop the Beat (But Only at 60 BPM)
hackaday.com·11h
💾Retro Computing
SynC: Synthetic Image Caption Dataset Refinement with One-to-many Mapping for Zero-shot Image Captioning
arxiv.org·4d
➡️Category Theory
Negative news posts are less prevalent and generate lower user engagement than non-negative news posts across six countries
arxiv.org·1d
➡️Category Theory
Cross-domain Multi-step Thinking: Zero-shot Fine-grained Traffic Sign Recognition in the Wild
arxiv.org·5d
🐫Embedded OCaml
Loading...Loading more...
AboutBlogChangelogRoadmap