🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🐫 Embedded OCaml

Bare-metal Programming, Resource Constraints, Firmware Development

A literary history of fake texts in Apple's marketing materials
maxread.substack.com·10h·
Discuss: Substack
🍎Apple
How to Use Open Source Without Losing Your Code, Users, or Sanity
shiftmag.dev·22h·
Discuss: r/programming
📦Unikernel Systems
Eliza Resurrected using original code after 60 years
suramya.com·2d·
Discuss: Hacker News
💻CS
Mapping the AI economy: Which regions are ready for the next technology leap
brookings.edu·14h·
Discuss: Hacker News
🤖Program Synthesis
Binding Application in Idris
andrevidela.com·6d·
Discuss: Lobsters, Hacker News, r/programming
🔠Type-Level Programming
Gained 70 GitHub stars in the past 48 hours but not got in trending?
github.com·6h·
Discuss: r/programming
🏠HomeLab
Mastering Claude Code: Some Tips and Tricks After 3 Months of Use
arjunkirtipatel.com·2d·
Discuss: Hacker News
🛡️seL4
Show HN: Timep – a next-gen profiler and flamegraph-generator for bash code
github.com·2d·
Discuss: Lobsters, Hacker News
👁️System Observability
Why AI Agent Implementations Keep Failing (and the Patterns That Work)
davidlambauer.de·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Compliance Minimization via Physics-Informed Gaussian Processes
arxiv.org·2d
🔄Reproducible Builds
Should We Ever Prefer Decision Transformer for Offline Reinforcement Learning?
arxiv.org·2d
🔄Finite State Machines
Posture-Driven Action Intent Inference for Playing style and Fatigue Assessment
arxiv.org·6h
🎮Verification Games
Which mini PC as mini Server (ProDesk 600 G2/Optiplex 3040/Chromebox G3)
reddit.com·17h·
Discuss: r/homelab
🏠HomeLab
Intra-view and Inter-view Correlation Guided Multi-view Novel Class Discovery
arxiv.org·6h
➡️Category Theory
Predicting Pulmonary Hypertension in Newborns: A Multi-view VAE Approach
arxiv.org·6h
🏹Effect Systems
Auditing Facial Emotion Recognition Datasets for Posed Expressions and Racial Bias
arxiv.org·1d
🔬Static Analysis
Role-Playing LLM-Based Multi-Agent Support Framework for Detecting and Addressing Family Communication Bias
arxiv.org·1d
🛡️seL4
A Chip8 Emulator for 68000-based Macs
hackaday.com·2d·
Discuss: Hacker News
💾Retro Computing
Dipping a toe in the water
reddit.com·20h·
Discuss: r/homelab
🏠HomeLab
Interpreting Radiologist's Intention from Eye Movements in Chest X-ray Diagnosis
arxiv.org·6h
✓Automated Theorem Proving
Loading...Loading more...
AboutBlogChangelogRoadmap