TLA+ Modeling of AWS outage DNS race condition
muratbuffalo.blogspot.com·1h·
Discuss: Lobsters, Hacker News
🚀Startups
Flag this post
GPT-4 Functions as Monoidal Structures: Sequential ∘ and Parallel ⊗
lightcapai.medium.com·2h·
Discuss: Hacker News
🀄Mandarin
Flag this post
Voxel Grid Visibility
cod.ifies.com·2d·
Discuss: Hacker News, r/programming
🚀Startups
Flag this post
Decreasing code editing failures by 38% with output normalization
blog.sweep.dev·2d·
Discuss: Hacker News
🀄Mandarin
Flag this post
What Is Non-Sleep Deep Rest (NSDR)?
sleepfoundation.org·12h·
Discuss: Hacker News
🀄Mandarin
Flag this post
Porting Lean to the ESP32-C3 RISC-V Microcontroller
kuruczgy.com·1d·
Discuss: Lobsters, Hacker News
🚀Startups
Flag this post
Notes Apps
cao.sh·18h·
Discuss: Hacker News
🧭Self-directed education
Flag this post
Games for rehab: Fast communication for interactive VR and AR
news.umich.edu·4h·
Discuss: Hacker News
🚀Startups
Flag this post
Agile and Coding: Please don't break things
davidvujic.blogspot.com·1h·
Discuss: Hacker News
🚀Startups
Flag this post
How to CAD Almost Anything (2024)
ocw.mit.edu·3h·
Discuss: Hacker News
🚀Startups
Flag this post
Do I want Coders to Code?
yeikoff.xyz·2d·
Discuss: Hacker News
🚀Startups
Flag this post
Show HN: A new language for COBOL workloads, built on Go
github.com·1d·
Discuss: Hacker News
🚀Startups
Flag this post
Understanding multi GPU Parallelism paradigms
datta0.github.io·1d·
Discuss: Hacker News
🚀Startups
Flag this post
Creating Lisp Systems
renato.athaydes.com·1d·
Discuss: Hacker News
🧭Self-directed education
Flag this post
A Short Survey of Compiler Backends
abhinavsarkar.net·1d·
Discuss: Lobsters, Hacker News, r/programming
🀄Mandarin
Flag this post
Disassembling Terabytes of Random Data with Zig and Capstone to Prove a Point
jstrieb.github.io·1d·
Discuss: Lobsters, Hacker News, r/Zig, r/programming
🚀Startups
Flag this post
I built sbsh: Persistent terminal sessions with discovery, profiles, and an API
news.ycombinator.com·1d·
Discuss: Hacker News
🚀Startups
Flag this post
Improving Emacs' iCalendar Support
recursewithless.net·3d·
Discuss: Hacker News
🀄Mandarin
Flag this post
A PoC to make a backdoored PyTorch neural network
hacktelligence.org·19h·
Discuss: Hacker News
🚀Startups
Flag this post
Show HN: Korrero – A Headless CMS for in-app notifications to free up dev time
korrero.com·1d·
Discuss: Hacker News
🚀Startups
Flag this post