Today I Learned: Binfmt_misc
dfir.ch·20h·
Discuss: Hacker News
💻Terminal Control
Flag this post
Torchforge – a PyTorch native library for scalable RL post-training
pytorch.org·1d·
Discuss: Hacker News
✨Gleam
Flag this post
I Tried Beating LeetCode Like a Game. It Actually Worked.
dev.to·9h·
Discuss: DEV
🌳Tree Walking
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·1d
📊Log Parsers
Flag this post
Stochastic computing
scottlocklin.wordpress.com·12h
🖥️Lisp Machines
Flag this post
Opportunistic Mutation in Roc
roc-lang.org·3d·
Discuss: Hacker News
🚂Error Propagation
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·2d·
Discuss: Hacker News
🔪Program Slicing
Flag this post
Myths Programmers Believe about CPU Caches
software.rajivprab.com·1d·
Discuss: Hacker News
🧠Memory Models
Flag this post
Take-Home Exercises
justoffbyone.com·9h·
Discuss: Hacker News, r/programming
🎮Language Ergonomics
Flag this post
Show HN: GPU-accelerated sandboxes for running AI coding agents in parallel [video]
youtube.com·12h·
Discuss: Hacker News
🔀SIMD Programming
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·1d·
Discuss: Hacker News
🪜Recursive Descent
Flag this post
From Bottleneck to Breakthrough: AI in Chip Verification
spectrum.ieee.org·1d
🎭Program Synthesis
Flag this post
random_walk.c & goto
reddit.com·2d·
Discuss: r/C_Programming
🚀Code Motion
Flag this post
A Beginner’s Guide to Getting Started with add_messages Reducer in LangGraph
langcasts.com·21h·
Discuss: DEV
🌉Language Bridges
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·7h
⚖️Inference Rules
Flag this post
How fast can an LLM go?
fergusfinn.com·1d·
Discuss: Hacker News
🗺️Region Inference
Flag this post
What we didn't get in C++
pvs-studio.com·1d·
Discuss: r/cpp
🏷️Symbol Mangling
Flag this post
Advances In Formal Verification Technology
semiengineering.com·1d
🧩SAT Solvers
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
github.com·12h·
Discuss: Hacker News
🎭Racket Modules
Flag this post
Notes by djb on using Fil-C with Debian multiarch
cr.yp.to·1d·
Discuss: Hacker News
🌱Forth Kernels
Flag this post