The KK computer: a 6502 + coprocessor system
laughtonelectronics.com·9h·
Discuss: Lobsters
🔧Unikernel Development
Tau² Benchmark in Action: Early Results and Key Takeaways
quesma.com·20h·
Discuss: Hacker News
👁️System Observability
How to Build a High-Performance UR5 Inverse Kinematics Solver with IK-Geo
alexanderelias.com·20h·
Discuss: Hacker News
✓Automated Theorem Proving
EM Tools for Python
emerge-software.com·22h·
Discuss: Hacker News
🐫Embedded OCaml
Keyboards from My Collection
aresluna.org·1h·
Discuss: Hacker News
💾Retro Computing
Turn off Cursor, turn on your mind
allvpv.substack.com·1d·
Discuss: r/programming
📚Automata Learning
I Should Have Loved Electrical Engineering
blog.tdhttt.com·20h·
Discuss: Hacker News
🔬Unikernels
How does a 48V PoE to 24V passive adapter work?
reddit.com·22h·
Discuss: r/homelab
🏠HomeLab
Modeling Wise Decision Making: A Z-Number Fuzzy Framework Inspired by Phronesis
arxiv.org·1d
🧠Automated Reasoning
Improving Aviation Safety Analysis: Automated HFACS Classification Using Reinforcement Learning with Group Relative Policy Optimization
arxiv.org·1d
📚Automata Learning
Proper Error Handling for Your Node.js Application
masteringbackend.com·23h·
Discuss: Hacker News
📊Runtime Verification
Context Engineering: A Primer
okigu.com·19h·
Discuss: Hacker News
🔍Formal Verification
Newsflash the Climate and Subsurface Interact
mnky9800n.substack.com·20h·
Discuss: Substack
🧗Climbing Tech
Agents need a new retrieval engine
hornet.dev·1h·
Discuss: Hacker News
📝Term Rewriting
You're also a neural network – train on the good stuff
magnusludviksson.substack.com·17h·
Discuss: Substack
🧠Automated Reasoning
Show HN: Fine-tuned Llama 3.2 3B to match 70B models for local transcripts
bilawal.net·11h·
Discuss: Hacker News
🧩Parser Combinators
NSPDI-SNN: An efficient lightweight SNN based on nonlinear synaptic pruning and dendritic integration
arxiv.org·1d
📚Automata Learning
Tripping Around REPL
vlaaad.github.io·20h·
Discuss: Hacker News
🛡️seL4
Nesper: Program the ESP32 Using Nim
github.com·11h·
Discuss: Hacker News
🔧Unikernel Development
Normalisation of SWIFT Message Counterparties with Feature Extraction and Clustering
arxiv.org·1d
🧩Parser Combinators