Test your reaction time to see if you've become sluggish
reaction-time-test.org·20h·
Discuss: Hacker News
🎮Verification Games
Can You Implement a JavaScript Event Emitter?
javascript.plainenglish.io·1d·
Discuss: r/programming
🏹Effect Systems
Alterego: Speech Intent to Input
alterego.io·1d·
Discuss: Hacker News, r/ErgoMechKeyboards, r/ErgoMechKeyboards
🍎Apple
Я Articles
muratkasimov.art·3d·
Discuss: Hacker News
➡️Category Theory
Dressing Up by Harvey C. Mansfield
juandavidcampolargo.com·20h·
Discuss: Hacker News
🎮Verification Games
Oh, the Tea Spills: What’s Really Holding Up Carbon Language at Google?
lucisqr.substack.com·12h·
Discuss: r/programming
🔬Unikernels
The Android Linux Commander
hackaday.com·17h
🐳Containerization
Rendering the Mandelbulb
4rknova.com·21h·
Discuss: Hacker News
🔄Finite State Machines
Smarter, Faster, More Personal AI Delivered on Consumer Devices with Arm’s New Lumex CSS Platform, Driving Double-Digit Performance Gains
newsroom.arm.com·8h·
Discuss: Hacker News
🔧Unikernel Development
I used AI to make this song. The results, and its implications, startled me
sfchronicle.com·2d·
Discuss: Hacker News
🔬Unikernels
An great anime-style image generator, it's also translate anime to realistic
photo-anime.art·1d·
Discuss: Hacker News
💾Retro Computing
Rewriting Val Town's editor
blog.val.town·1d·
Discuss: Hacker News, Hacker News
⚙️PL Implementation
Using RPI 5 Compute Module for FPGA Test
hackster.io·2d·
Discuss: Hacker News
🐫Embedded OCaml
A multiplayer DOOM-like in pure SQL
github.com·3h·
Discuss: Hacker News
🎮Verification Games
JARVIS: A Neuro-Symbolic Commonsense Reasoning Framework for Conversational Embodied Agents
arxiv.org·6d
🧠Automated Reasoning
Entropy – Favourite at Mind Sports Olympiad
news.ycombinator.com·1d·
Discuss: Hacker News
🎮Verification Games
Language Models Do Not Follow Occam's Razor: A Benchmark for Inductive and Abductive Reasoning
arxiv.org·6d
🧩Parser Combinators
How To Upgrade Your MCP Server With Context Engineering
thenewstack.io·1d
💎Refinement Types
AIs will greatly change engineering in AI companies well before AGI
lesswrong.com·17h
👁️System Observability
Show HN: Inception: Automatic Rust Trait Implementation by Induction
github.com·4d·
Discuss: Hacker News, r/rust
🔠Type-Level Programming