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

Loving Your Tree to Death: Girdling
bridgingthegap.org·1d·
Discuss: Hacker News
🔬Static Analysis
System Design Basics - Databases and Connection Pools
javarevisited.substack.com·19h·
Discuss: Substack, r/programming
👁️System Observability
A chemical language model for molecular taste prediction
nature.com·4d·
Discuss: Hacker News
🐫OCaml
SFrame-based stack unwinding for the kernel
lwn.net·2d·
Discuss: Hacker News
👁️System Observability
Hypercapitalism and the AI Talent Wars
blog.johnluttig.com·14h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Tools using tools
cassidoo.co·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Nvidia Unveils Helix Parallelism: 32x Faster AI Inference
storagereview.com·2d·
Discuss: Hacker News
⚙️Operating System Design
Perceptual Distortions and Autonomous Representation Learning in a Minimal Robotic System
arxiv.org·3d
🔄Finite State Machines
Prompt Engineering for Requirements Engineering: A Literature Review and Roadmap
arxiv.org·3d
🔍Formal Verification
Data-Semantics-Aware Recommendation of Diverse Pivot Tables
arxiv.org·5d
🐫OCaml
Claude Opus Analysis of Twitter's 2023 ML Algorithm
github.com·1d·
Discuss: Hacker News
🛡️seL4
SSSUMO: Real-Time Semi-Supervised Submovement Decomposition
arxiv.org·6h
🔄Finite State Machines
Rethinking Layered Graphic Design Generation with a Top-Down Approach
arxiv.org·5d
🔄Finite State Machines
Generalizable 7T T1-map Synthesis from 1.5T and 3T T1 MRI with an Efficient Transformer Model
arxiv.org·6h
🐫OCaml
Secure Cooperative Gradient Coding: Optimality, Reliability, and Global Privacy
arxiv.org·3d
🌐NetworkProtocols
Towards Exception Safety Code Generation with Intermediate Representation Agents Framework
arxiv.org·5d
🔍Formal Verification
Minimal balanced collections and their applications to core stability and other topics of game theory
arxiv.org·5d
🎮Verification Games
Citizen Science is All Fun and Games
hackaday.com·5h
🎮Verification Games
Modular Automation Core in Go Inspired by Apache/nginx Architecture
reddit.com·3d·
Discuss: r/programming
📦Unikernel Systems
What Is Vibe Coding?
cloud.google.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Loading...Loading more...
AboutBlogChangelogRoadmap