From Cartography to Code: Architectures of Power at the Venice Biennale 2025
stirworld.com·2d·
Discuss: Hacker News
📡Network Protocol Design
Introducing the Herb Linter, Formatter, and a Vision for the Future of Rails Views
marcoroth.dev·4d·
Discuss: Lobsters, r/programming
🐫Embedded OCaml
Show HN: Browse the Web with Superpowers
usesuperpowers.app·1d·
Discuss: Hacker News
📦Unikernel Systems
Show HN: A rudimentary game engine to build four dimensional VR evironments
brainpaingames.com·2d·
Discuss: Hacker News
🔬Unikernels
SFT Is Bad RL
justinchiu.netlify.app·5d·
Discuss: Hacker News
🔍Formal Verification
Position Size Calculator backend API, for the trader programmers
github.com·19h·
Discuss: r/programming
📡Network Protocol Design
What's Missing in the Debate on Online Freedom of Expression in US, Brazil
techpolicy.press·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
I've been fighting with burnout for 18 years
news.ycombinator.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
EU study on AI and copyright suggests overturning the current opt-out approach
pcgamer.com·16h·
Discuss: Hacker News
🔬Unikernels
Writing the Perfect Question (2010)
codeblog.jonskeet.uk·4d·
Discuss: Hacker News
🔬Static Analysis
Graph Representations for Reading Comprehension Analysis using Large Language Model and Eye-Tracking Biomarker
arxiv.org·5d
✓Automated Theorem Proving
Explainable Artificial Intelligence based Soft Evaluation Indicator for Arc Fault Diagnosis
arxiv.org·3h
👁️System Observability
Think Different: How Apple Reinvented the AI World
themarket.ch·1d·
Discuss: Hacker News
🍎Apple
Call Me a Jerk: Persuading AI to Comply with Objectionable Requests
gail.wharton.upenn.edu·1d·
Discuss: Hacker News
🎮Verification Games
Intra-view and Inter-view Correlation Guided Multi-view Novel Class Discovery
arxiv.org·5d
🔠Type-Level Programming
Weakly Supervised Visible-Infrared Person Re-Identification via Heterogeneous Expert Collaborative Consistency Learning
arxiv.org·4d
💻CS
Robust Route Planning for Sidewalk Delivery Robots
arxiv.org·5d
🔬Unikernels
Upgrading J4105 to N305 or i5-13400
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Show HN: I built a self-learning AI without an LLM – memory, reflection
news.ycombinator.com·5d·
Discuss: Hacker News
🐫Embedded OCaml
UL-DD: A Multimodal Drowsiness Dataset Using Video, Biometric Signals, and Behavioral Data
arxiv.org·1d
💻CS