Using a USB Foot Pedal for Vibe Coding
coding.napolux.com·1d·
Discuss: Lobsters, Hacker News, r/programming
💾Retro Computing
HMQ: Principal Type Inference Under a Prefix
microsoft.com·6d·
Discuss: Hacker News
🔠Type-Level Programming
Built-in smart sensors can prevent lithium-ion battery fires before they start
surrey.ac.uk·27m·
Discuss: Hacker News
👁️System Observability
AI Agents for Freight Brokers
kolank.ai·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Building Modular Rails Applications: A Deep Dive into Rails Engines
panasiti.me·1d·
Discuss: Hacker News, r/programming
📦Unikernel Systems
Python: From Zero to Hero
pythonz2h.com·2d·
Discuss: Hacker News
⚙️PL Implementation
Giving AWS Q Developer CLI a second look
chrisebert.net·1h·
Discuss: Hacker News
🔄Reproducible Builds
What are we missing out on when we think Transformer is unreasonable in biology?
dmf-archive.github.io·2d·
Discuss: Hacker News
🏹Effect Systems
The Siren Song of LLMs
anukrit.de·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: Simulating Autonomous Drone Formations
github.com·5h·
Discuss: Hacker News
📦Unikernel Systems
Ground Truth Ambient Occlusion
github.com·4d·
Discuss: Hacker News
🧱Immutable Infrastructure
ViSP: A PPO-Driven Framework for Sarcasm Generation with Contrastive Learning
arxiv.org·16h
✓Automated Theorem Proving
Imitation Learning in Continuous Action Spaces: Mitigating Compounding Error without Interaction
arxiv.org·16h
🏹Effect Systems
Ambiguity-Aware and High-Order Relation Learning for Multi-Grained Image-Text Matching
arxiv.org·16h
🎮Verification Games
Simple off the shelf NAS reccomendations?
reddit.com·1d·
Discuss: r/homelab
🔬Unikernels
Negotiating Comfort: Simulating Personality-Driven LLM Agents in Shared Residential Social Networks
arxiv.org·16h
🖥️Self-hosted Infrastructure
MetaClimage: A novel database of visual metaphors related to Climate Change, with costs and benefits analysis
arxiv.org·16h
🏹Effect Systems
Improving Multimodal Learning via Imbalanced Learning
arxiv.org·16h
🔄Finite State Machines
Reframe – Open‑Source ISO20022 Message Transformer in Rust
github.com·5d·
Discuss: Hacker News
🔤DSLs
Capturing Unseen Spatial Extremes Through Knowledge-Informed Generative Modeling
arxiv.org·16h
🔠Type-Level Programming