🐿️ 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
How to Detect Text Truncation in SwiftUI?
fatbobman.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
TierListMaker – Create epic tier list
tierlistmaker.org·19h·
Discuss: Hacker News
🍎Apple
The Surgeon and the Homemaker
thepublicdiscourse.com·1d·
Discuss: Hacker News
🎮Verification Games
A software to better discuss opinions on the internet?
sonny.alvesdi.as·5h·
Discuss: Hacker News
🌐NetworkProtocols
Writing Custom Open-Source UI for Vivaldi Browser
velzie.rip·1d·
Discuss: Hacker News
📦Unikernel Systems
A chemical language model for molecular taste prediction
nature.com·4d·
Discuss: Hacker News
🐫OCaml
SFrame-based stack unwinding for the kernel
lwn.net·3d·
Discuss: Hacker News
👁️System Observability
Hypercapitalism and the AI Talent Wars
blog.johnluttig.com·18h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Chesterton’s Fence and paralysing your organization
frederickvanbrabant.com·2h·
Discuss: Hacker News, r/programming
🧱Immutable Infrastructure
Nvidia Unveils Helix Parallelism: 32x Faster AI Inference
storagereview.com·2d·
Discuss: Hacker News
⚙️Operating System Design
Most comprehensive review of AI coding agents for Kotlin/Android tasks
jasonpearson.dev·4d·
Discuss: Hacker News
🧱Immutable Infrastructure
Human vs. LLM-Based Thematic Analysis for Digital Mental Health Research: Proof-of-Concept Comparative Study
arxiv.org·11h
➡️Category Theory
Data-Star.dev – v1 and Beyond
data-star.dev·3d·
Discuss: Hacker News
🧱Immutable Infrastructure
VideoConviction: A Multimodal Benchmark for Human Conviction and Stock Market Recommendations
arxiv.org·11h
🐫OCaml
Atherosclerosis through Hierarchical Explainable Neural Network Analysis
arxiv.org·3d
🏹Effect Systems
Show HN: A Raycast-compatible launcher for Linux
github.com·22h·
Discuss: Hacker News, r/linux
🍎XNU Internals
Microbeam Decision Pathways for Goal-Aligned Autonomous Agents
news.ycombinator.com·4d·
Discuss: Hacker News
🛡️seL4
Effect of Static vs. Conversational AI-Generated Messages on Colorectal Cancer Screening Intent: a Randomized Controlled Trial
arxiv.org·11h
🎮Verification Games
Who wants to play with my love hole?
github.com·1d·
Discuss: Hacker News
🐫OCaml
Loading...Loading more...
AboutBlogChangelogRoadmap