The perils of the real client IP (2022)
adam-p.ca·14h·
Discuss: Hacker News
📡Network Protocol Design
Microsoft prepares Copilot for GPT-5 with new Smart mode in development
testingcatalog.com·51m·
Discuss: Hacker News
🤖Program Synthesis
Cara – High Precision Robot Dog Using Rope
aaedmusa.com·3d·
Discuss: Hacker News
💾Retro Computing
I just decompiled a decompiler so I could use it to decompile itself (2008)
dougmccune.com·5d·
Discuss: Hacker News
💾Retro Computing
Replace dependency injection and mocking with algebraic effects
olleharstedt.github.io·6d·
Discuss: r/programming, r/webdev
🏹Effect Systems
I won three competitive grants in a row. Here’s how I learnt what to do
nature.com·2d·
Discuss: Hacker News
🤖Program Synthesis
All an Experiment
blog.turbine.ai·3d·
Discuss: Hacker News
🔄Reproducible Builds
Throughput Upgrade (With Train Illustrations)
blog.healthchecks.io·2d·
Discuss: Hacker News
📡Network Protocol Design
Towards Microgrid Resilience Enhancement via Mobile Power Sources and Repair Crews: A Multi-Agent Reinforcement Learning Approach
arxiv.org·2d
🔄Finite State Machines
Off-Policy Corrected Reward Modeling for Reinforcement Learning from Human Feedback
arxiv.org·5d
🎮Verification Games
DynImg: Key Frames with Visual Prompts are Good Representation for Multi-Modal Video Understanding
arxiv.org·5d
🔄Finite State Machines
Temporal Basis Function Models for Closed-Loop Neural Stimulation
arxiv.org·5d
🔄Finite State Machines
Strategic Integration of AI Chatbots in Physics Teacher Preparation: A TPACK-SWOT Analysis of Pedagogical, Epistemic, and Cybersecurity Dimensions
arxiv.org·5d
🎮Verification Games
Purchase and Production Optimization in a Meat Processing Plant
arxiv.org·4d
🤖Program Synthesis
My Homelab V3
i.redd.it·1d·
Discuss: r/homelab
🏠HomeLab
Software Sprawl, the Golden Path, and Scaling Teams with Agency
charity.wtf·2d·
Discuss: Hacker News
🔄Reproducible Builds
MARSCalib: Multi-robot, Automatic, Robust, Spherical Target-based Extrinsic Calibration in Field and Extraterrestrial Environments
arxiv.org·3d
🔍Formal Verification
Ask HN: Built a new aggregated search engine for shopping
news.ycombinator.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
Estimating Flight Characteristics of Anomalous Unidentified Aerial Vehicles
pmc.ncbi.nlm.nih.gov·2d·
Discuss: Hacker News
👁️System Observability
Recursive and non-recursive filters for sequential smoothing and prediction with instantaneous phase and frequency estimation applications (extended version)
arxiv.org·5d
🐫Embedded OCaml