Learning Through Doing: From one language to another
blog.scottlogic.com·1d
🦀Rust Borrowing
Show HN: Novel GPT-2 sampling and memory architecture
github.com·4h·
Discuss: Hacker News
💎Information Crystallography
busy beaver function
ncatlab.org·4h
⚔️Lean Theorem
R-ConstraintBench: Evaluating LLMs on NP-Complete Scheduling
arxiv.org·1d
🧮SMT Solvers
Derek Elkins: Arithmetic Functions
hedonisticlearning.com·14h
⚔️Lean Theorem
Cohere unveils Command A Reasoning, a model for enterprise research and workflows
the-decoder.com·23h
🎙️Whisper
Dangerous things should be difficult to do by accident
fexpr.blogspot.com·2d
✨Effect Handlers
Mastering Go Garbage Collection: Triggers, Tuning, and Real-World Wins
dev.to·1d·
Discuss: DEV
🧠Memory Allocators
12 Best DevSecOps Tools for Your CI/CD Pipeline
boostsecurity.io·22h
🛡️CLI Security
Ergonomic errors in Rust: write fast, debug with ease, handle precisely
gmcgoldr.github.io·20h·
Discuss: Hacker News
⚡Dependent Rust
Writing Speed-of-Light Flash Attention for 5090 in CUDA C++
gau-nernst.github.io·57m·
Discuss: Hacker News
🖥️Terminal Renaissance
Optimizing multiprecision LLL in FLINT
fredrikj.net·2d
🧮Algebraic Datatypes
[Media] I Have No Mut and I Must Borrow
reddit.com·1d·
Discuss: r/rust
🦀Rust Borrowing
Logit-Gap Steering: A New Frontier in Understanding and Probing LLM Safety
unit42.paloaltonetworks.com·2d
🎯Threat Hunting
Sysbench for MySQL 5.6 thru 9.4 on a small server
smalldatum.blogspot.com·1d·
Discuss: smalldatum.blogspot.com
🦀Rusty Databases
WeakC4, or Distilling an Emergent Object
2swap.github.io·13h·
Discuss: Hacker News
🔲Cellular Automata
Scheme Basics
courses.cs.washington.edu·1d·
Discuss: Hacker News, Hacker News
🧠Lisp Dialects
Herb Sutter "Three Cool Things in C++26"
herbsutter.com·3d·
Discuss: Hacker News
🔩Systems Programming
How Architectural Controls Help Can Fill the AI Security Gap
darkreading.com·1d
🔒Language-based security
how to decide on the sequence of computable numbers
academia.edu·2d·
Discuss: Hacker News, r/programming
🎞️Tape Combinatorics