Lean4 Macros for Implementing Custom Quantifiers
jamesoswald.dev·1d·
Discuss: Hacker News
Flag this post
Acme: A User Interface for Programmers (1994)
doc.cat-v.org·2d·
Discuss: Lobsters, Hacker News
Flag this post
Show HN: I Vibe-Coded a TUI for AWS Logs Insights in Rust
github.com·4d·
Discuss: Hacker News
Flag this post
Scaling HNSWs
antirez.com·5h·
Discuss: Lobsters, Hacker News, r/programming
Flag this post
RL Environments and the Hierarchy of Agentic Capabilities
surgehq.ai·57m·
Discuss: Hacker News
Flag this post
Show HN: HelloTriangle – Python-based online 3D modeling and sharing platform
hellotriangle.io·2h·
Discuss: Hacker News
Flag this post
Improving Rust Compile Times by 71 Percent
elijahpotter.dev·5d·
Discuss: Hacker News, Hacker News, r/programming
Flag this post
A Turing complete language in TypeScript types
github.com·2d·
Discuss: Hacker News
Flag this post
Software Wisdom
jasonroelofs.com·3h·
Discuss: Hacker News
Flag this post
The Making of Autism Simulator: 60k Visitors in 12 Hours
blog.drjoshcsimmons.com·2h·
Discuss: Hacker News
Flag this post
Linux in a Pixel Shader – A RISC-V Emulator for VRChat
blog.pimaker.at·20h·
Discuss: Hacker News
Flag this post
More C64 BASIC Optimisations
retrogamecoders.com·1d·
Discuss: Hacker News
Flag this post
Show HN: I have zero dev experience and built a 220k LOC fintech SaaS with AI
medium.com·2h·
Discuss: Hacker News
Flag this post
My go-to prompt for legacy code exploration
leftofthe.dev·1d·
Discuss: Hacker News
Flag this post
Run Nix Based Environments in Kubernetes
flox.dev·1d·
Discuss: Hacker News
Flag this post
How good is AI at Hacking AD?
blog.vulnetic.ai·19h·
Discuss: Hacker News
Flag this post
Fil-C
graydon2.dreamwidth.org·5d·
Discuss: Lobsters, Hacker News, Hacker News, r/rust
Flag this post
LLM-Driven Robots Risk Enacting Discrimination, Violence, and Unlawful Actions
link.springer.com·3h·
Discuss: Hacker News
Flag this post
Vibe CODE WARNING – from 1k to 10k lines, a personal casestudy
github.com·1d·
Discuss: Hacker News
Flag this post
Explorations of RDMA in LLM Systems
le.qun.ch·16h·
Discuss: Hacker News
Flag this post