Instapaper Rakuten Kobo Integration
blog.instapaper.com·1d·
Discuss: Hacker News
🍎Apple
A Type House Divided (2014)
nymag.com·4h·
Discuss: Hacker News
🐫OCaml
A PhD's Apology
cappadokes.github.io·6d·
Discuss: Hacker News
💻CS
SaaS 2.0
benn.substack.com·6h·
Discuss: Substack
🔄Reproducible Builds
Vibe Testing: Smarter AI Software Testing
thinksys.com·1d·
Discuss: r/programming
👁️System Observability
Fear of Losing Search Led Google to Bury Lambda, Says Mustafa Suleyman, VP of AI
semiconductorsinsight.com·12h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Gemini 2.5 - Reasoning Abilities Improving every day
microfox.app·1d·
Discuss: r/programming
✓Automated Theorem Proving
Base44 – build fully-functional apps in minutes with just your words
base44.com·3d·
Discuss: Hacker News
🐫Embedded OCaml
Power Grid Stability: From Generators to Reactive Power
hackaday.com·10h
📡Network Protocol Design
MCK: Open-Source MongoDB Operator
github.com·3h·
Discuss: Hacker News
⎈Kubernetes
Designing an Open Source Multimeter: the HydraMeter
hackaday.com·2d
💾Retro Computing
Assessing the Reliability of Large Language Models for Deductive Qualitative Coding: A Comparative Study of ChatGPT Interventions
arxiv.org·20h
🎮Verification Games
Off-Policy Corrected Reward Modeling for Reinforcement Learning from Human Feedback
arxiv.org·20h
🎮Verification Games
Coleco Adam: A Commodore 64 Competitor, Almost
hackaday.com·19h
💾Retro Computing
Rack Upgrade: Keep My i9-12900KF Server or Go Efficient?
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Why can't Epidemiology be automated (yet)?
arxiv.org·20h
🏹Effect Systems
Iteratively Learning Muscle Memory for Legged Robots to Master Adaptive and High Precision Locomotion
arxiv.org·1d
🐫Embedded OCaml
SOI Matters: Analyzing Multi-Setting Training Dynamics in Pretrained Language Models via Subsets of Interest
arxiv.org·20h
➡️Category Theory
Machine learning-enabled river water quality monitoring using lithography-free 3D-printed sensors
arxiv.org·20h
🐫Embedded OCaml
PrefPalette: Personalized Preference Modeling with Latent Attributes
arxiv.org·1d
➡️Category Theory