Show HN: legacy-use – add REST APIs to legacy software with computer-use
legacy-use.com·5h·
Discuss: Hacker News
💾Retro Computing
Easy dynamic dispatch using GLIBC Hardware Capabilities
kvr.at·1d·
Discuss: Lobsters, Hacker News
📦Unikernel Systems
A guide on reading PostgreSQL query plans
prateekcodes.dev·9h·
Discuss: Hacker News
👁️System Observability
Rails API Throttling: Handling Multiple Endpoints with Different Limits
prateekcodes.dev·3d·
Discuss: Hacker News
🌐NetworkProtocols
Confessions of Mrs. Brown
fakepixels.substack.com·1d·
Discuss: Substack
🔬Unikernels
Intelligent Control of Spacecraft Reaction Wheel Attitude Using Deep Reinforcement Learning
arxiv.org·8h
✓Automated Theorem Proving
Interview with John Bridges (PCPaint, Grasp, GL Pro)
ztoz.blog·2d·
Discuss: Hacker News
💾Retro Computing
Plasma proteomics links brain and immune system aging with healthspan
nature.com·20h·
Discuss: Hacker News
🧪Property-Based Testing
Structured Prompts, Better Outcomes? Exploring the Effects of a Structured Interface with ChatGPT in a Graduate Robotics Course
arxiv.org·3d
⚙️PL Implementation
Bluish Veil Detection and Lesion Classification using Custom Deep Learnable Layers with Explainable Artificial Intelligence (XAI)
arxiv.org·3d
🍎Apple
Machine Bullshit: Characterizing the Emergent Disregard for Truth in Large Language Models
arxiv.org·3d
✓Automated Theorem Proving
Lambda calculus cooked N ways: Benchmarks for capture-avoiding substitution
github.com·6d·
Discuss: Hacker News
🐫OCaml
Interleaving Logic and Counting
arxiv.org·6d
✓Automated Theorem Proving
Emotion Detection in Older Adults Using Physiological Signals from Wearable Sensors
arxiv.org·8h
🏹Effect Systems
Reinforcement Learning with Action Chunking
arxiv.org·3d
🎮Verification Games
I created a new training dataset for stale SOTA LLMs
news.ycombinator.com·1d·
Discuss: Hacker News
❄️Nixified Development
On the Semantics of Large Language Models
arxiv.org·5d
✓Automated Theorem Proving
On the Effect of Uncertainty on Layer-wise Inference Dynamics
arxiv.org·4d
🔠Type-Level Programming
A Versatile Dataset of Mouse and Eye Movements on Search Engine Results Pages
arxiv.org·8h
🏹Effect Systems
Identifiability in Causal Abstractions: A Hierarchy of Criteria
arxiv.org·5d
🏹Effect Systems