UK to introduce online age verification checks this month
bbc.co.uk·9h·
Discuss: Hacker News
🍎Apple
Micro Adventure – Space Attack (online emulator)
auri-microadventure.azurewebsites.net·1d·
Discuss: Hacker News
🛡️seL4
Where are the DocuSign 2.0 Startups?
unicornforms.com·3d·
Discuss: Hacker News
🤖Program Synthesis
How AI on Microcontrollers Works: Registering Operators
danielmangum.com·4h·
Discuss: Hacker News
🐫OCaml
Don’t compare programming to the real world
expressionstatement.com·4d·
Discuss: r/programming
👁️System Observability
Talking Postgres with Shireesh Thota, Microsoft CVP
talkingpostgres.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
GPUHammer: Rowhammer Attacks on GPU Memories Are Practical
gpuhammer.com·4h·
Discuss: Hacker News
📦Unikernel Systems
Open-source STM32 autopilot for long-range fixed-wing UAVs (SmartNavX)
news.ycombinator.com·1d·
Discuss: Hacker News
👁️System Observability
Perl 5.42.0 Released
medium.com·16h·
Discuss: Hacker News
🔤DSLs
Adapting Teaching and Assessment Strategies in the Age of LLMs
kstan.gitlab.io·16h·
Discuss: Hacker News
🎮Verification Games
Wrote a deep dive on LLM tool calling with step-by-step REST and Spring AI examples
muthuishere.medium.com·1d·
Discuss: Hacker News, r/LocalLLaMA, r/programming
🔍Formal Verification
Translation using deep neural networks – Transformer
aamster.github.io·2h·
Discuss: Hacker News
➡️Category Theory
Context Forge – A CLI-first tool for managing Claude context and AI workflows
github.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Building a Proxmox server around EPYC 4545P - need board suggestions. Question
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
Computational algorithm for downward continuation of gravity anomalies
arxiv.org·13h
✓Automated Theorem Proving
Struggling with light weight audio routing container
i.redd.it·4d·
Discuss: r/homelab
🏠HomeLab
Trying to set up my own thing server for Plex and general backups; not sure where to start
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Show HN: SaaS Template Optimized for AI
github.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
ANN: Miso-lynx, create iOS apps with Haskell and LynxJS
github.com·4d·
Discuss: Hacker News
❄️Nix
MatrixTransformer–A Unified Framework for Matrix Transformations
news.ycombinator.com·5h·
Discuss: Hacker News
🐫OCaml