American Flying Empty Airbus A321neo Across The Atlantic 20 Times
onemileatatime.com·3d·
Discuss: Hacker News
📡Network Protocol Design
Neovim as a Terminal Multiplexer and Neovide as a Terminal Emulator
loosh.ch·4d·
Discuss: Hacker News, r/neovim
🍎XNU Internals
Write Your Own Retro Compiler
t3x.org·4d·
Discuss: Hacker News
⚙️PL Implementation
The GPU Glossary: Performance
modal.com·5d·
Discuss: Hacker News
🔧Unikernel Development
Faster Rust builds on Mac
nnethercote.github.io·6d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🍏Darwin
Interview with US Digital Service's First Administrator
usdigitalserviceorigins.org·5d·
Discuss: Hacker News
💾Retro Computing
Managing Multiple Claude Code Sessions Without Worktrees
gitbutler.ghost.io·4d·
Discuss: Hacker News
🔄Reproducible Builds
Sheaf theoretic formulation for consciousness (2017)
pubmed.ncbi.nlm.nih.gov·6d·
Discuss: Hacker News
➡️Category Theory
We detected a CAPTCHA solver in the wild, and what it says about bot defenses
blog.castle.io·6d·
Discuss: Hacker News
🎮Verification Games
Free Normal Map Online Generator
normalmaponline.com·5d·
Discuss: Hacker News
💎Refinement Types
Fintech vs. Banks: Collaboration or Competition?
financegossips.com·6d·
Discuss: Hacker News
🍎Apple
Parameters and binding forms should be mutually recursive
samestep.com·4d·
Discuss: Hacker News
🐫OCaml
Repairing a Tektronix 577 Curve Tracer
hackaday.com·5d
💾Retro Computing
Who uses calendar apps anymore?
apps.apple.com·5d·
Discuss: Hacker News
🍎Apple
reMarkable announces Paper Pro Move: a palm-sized paper tablet that’s priced well
9to5mac.com·6d
📺Vintage Apple
Plan More, Debug Less: Applying Metacognitive Theory to AI-Assisted Programming Education
arxiv.org·6d
🎮Verification Games
Apple Watch Ultra 3: Here’s every new feature expected next week
9to5mac.com·4d
🍎Apple
The Expression Problem and its solutions
eli.thegreenplace.net·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🏹Effect Systems
Delayed Momentum Aggregation: Communication-efficient Byzantine-robust Federated Learning with Partial Participation
arxiv.org·6d
🧩Parser Combinators
KEPT: Knowledge-Enhanced Prediction of Trajectories from Consecutive Driving Frames with Vision-Language Models
arxiv.org·6d
📚Automata Learning