Guys I am leaving python to learn i will say i am decently good at it but my bigger goals are to learn c++ for game dev is ita nice decision
w3schools.com·1d·
Discuss: r/programming
🎮Verification Games
Keyboards from My Collection
aresluna.org·5h·
Discuss: Hacker News
💾Retro Computing
The KK computer: a 6502 + coprocessor system
laughtonelectronics.com·13h·
Discuss: Lobsters
🔧Unikernel Development
Let's write a search engine, part 1 of 2
redblobgames.com·1d·
Discuss: Hacker News
🧩Parser Combinators
Answering some questions about Baba Yaga
eli.li·2d·
Discuss: Hacker News
💎Refinement Types
Show HN: I Built an AI Comic Maker That Adds Quizzes (MCQs) for Kids
github.com·1h·
Discuss: Hacker News
🎮Verification Games
Creating micro-lessons from spaced repetition mistakes
rickcarlino.com·1d·
Discuss: Hacker News
🎮Verification Games
Nix Vegas 2025 Retrospective
nix.vegas·14h·
Discuss: Lobsters
❄️Nix
Why Kafka and Iceberg Will Define the Next Decade of Data Infrastructure
blog.streambased.io·22h·
Discuss: Hacker News
🧱Immutable Infrastructure
Dependent types I › Universes, or types of types
jonmsterling.com·6d·
Discuss: Hacker News
➡️Category Theory
How is Ultrassembler so fast?
jghuff.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🔧Unikernel Development
Learning Go as a sysadmin/DevOps person coming from Bash
github.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Writing in Djot
pdx.su·1d·
Discuss: Hacker News
🧩Parser Combinators
Fast and Scalable Mixed Precision Euclidean Distance Calculations Using GPU Tensor Cores
arxiv.org·1d
🔧Unikernel Development
A crowdsourced project to link up erdosproblems.com to the OEIS
terrytao.wordpress.com·1d·
Discuss: Hacker News
🎮Verification Games
Time's arrow => decision theory
lesswrong.com·3h
🧠Automated Reasoning
Tripping Around REPL
vlaaad.github.io·1d·
Discuss: Hacker News
🛡️seL4
things rust shipped without (2015)
graydon2.dreamwidth.org·1d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
Adaptive generative moment matching networks for improved learning of dependence structures
arxiv.org·1d
📚Automata Learning
The use of Claude Code in SciML repos
discourse.julialang.org·3d·
Discuss: Hacker News
💎Refinement Types