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

Submarines and Foolkillers
chicagology.com·1d·
Discuss: Hacker News
⎈Kubernetes
Notes on Robot Vacuums
rishikeshs.com·1d·
Discuss: Hacker News
💾Retro Computing
Discord Sentiment Analysis Tools
gamesbeat.com·20h·
Discuss: Hacker News
🎮Verification Games
Show HN: A Modular Phoenix SaaS Starter Kit
phoenixsaaskit.com·2d·
Discuss: Hacker News
🏠HomeLab
Scott Alexander Is Smarter Than Me. Should I Steal His Beliefs?
starlog.substack.com·1d·
Discuss: Substack
➡️Category Theory
Solving the inference problem for open source AI projects with GitHub Models
github.blog·6d·
Discuss: Hacker News
📦Unikernel Systems
Ollama and MCP – A blog about AI by AI, with help from me
blog.aridgwayweb.com·6d·
Discuss: Hacker News
🐫Embedded OCaml
An Engineer's Guide to AI Code Model Evals
addyosmani.com·5d·
Discuss: Hacker News, r/programming, r/webdev
🤖Program Synthesis
Towards Robust Foundation Models for Digital Pathology
arxiv.org·5d
➡️Category Theory
I no longer hve any idea what things should cost to be worth it
reddit.com·18h·
Discuss: r/homelab
💾Retro Computing
Python source code analyzer based on distrust
github.com·2d·
Discuss: Hacker News
🔬Static Analysis
Linux Foundation Welcomes the Agntcy Project
linuxfoundation.org·11h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
MuseAir hashing algorithm v0.4 released (currently Rust only)
github.com·5d·
Discuss: Hacker News
🔬Static Analysis
Onboard Hyperspectral Super-Resolution with Deep Pushbroom Neural Network
arxiv.org·1d
🐫Embedded OCaml
ZIUM: Zero-Shot Intent-Aware Adversarial Attack on Unlearned Models
arxiv.org·1h
🧪Property-Based Testing
Is there demand for a tool that turns natural language to SQL without database?
news.ycombinator.com·1d·
Discuss: Hacker News
💻CS
Planning Persuasive Trajectories Based on a Leader-Follower Game Model
arxiv.org·1h
🔄Finite State Machines
From Typing to Trusting AI: The 5 Levels of Coding Today — Which One Are You In?
reddit.com·3d·
Discuss: r/programming
✓Automated Theorem Proving
Roseau: Fast, Accurate, Source-based API Breaking Change Analysis in Java
arxiv.org·6d
🔄Reproducible Builds
Personalization, Industrial Design, and Hacked Devices
hackaday.com·3d
🔬Unikernels
Loading...Loading more...
AboutBlogChangelogRoadmap