🦀 Rust Borrowing

Memory Safety, Ownership Models, Systems Programming, Compile-time Verification

The case of the invalid instruction exception on an instruction that should never have executed
devblogs.microsoft.com·16h
🧪Hardware Fuzzing
Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·4d
🎞️Tape Combinatorics
Do You Really Know How `or` And `and` Work in Python?
thepythoncodingstack.com·17h
🔗Lisp
Topology Meets Machine Learning
ams.org·18h·
Discuss: Hacker News
🧠Machine Learning
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·3d·
Discuss: Hacker News
🎯Interactive Provers
Using the Matrix Cores of AMD RDNA 4 Architecture GPUs
gpuopen.com·17h·
Discuss: Hacker News
📊RISC-V Vectors
This Should Not Be Possible
ghuntley.com·4h·
Discuss: Hacker News
🛡️eBPF Security
LLMs Are Bad at Being Forced
morphllm.com·1d·
Discuss: Hacker News
💻Local LLMs
I Accidentaly Wrote a Compile-Time Executable State Machine (2020)
philippegroarke.com·5d·
Discuss: Hacker News
🔗Functional Compilers
From No-Code to ReflectoBot: My Journey with Bolt
dev.to·8h·
Discuss: DEV
🌀Brotli Internals
Day 28/100: List Comprehensions in Python
dev.to·1d·
Discuss: DEV
📝Concrete Syntax
🔍 GitHub Profile Finder – Built with Bolt
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
Seven Years in Tech Taught Me This: Low-Code Is a Power Tool, Not a Magic Wand
hackernoon.com·11h
📏Code Metrics
Setting up proper documentation with Sphinx docs — Building stocksimpy 1
dev.to·11h·
Discuss: DEV
⚡Proof Automation
How to Develop a Web Application for 10K+ Users, Heavily Performing I/O-Bound Operations
dev.to·18h·
Discuss: DEV
🌊Stream Processing
AI whiplash, and Neovim in the age of AI
dlants.me·1d·
Discuss: Hacker News, r/neovim
✨Effect Handlers
Kiro and the future of AI spec-driven software development
kiro.dev·2d·
Discuss: Lobsters, Hacker News
🔌Interface Evolution
“Fake It Till You Make It” vs. Building Real Tech
dev.to·12h·
Discuss: DEV
🚀Indie Hacking
Show HN: Claude Memory Visualizer
github.com·1d·
Discuss: Hacker News
🕸️Knowledge Graphs
Active Supply Chain Attack: npm Phishing Campaign Leads to Prettier Tooling Packages Compromise
socket.dev·6h·
Discuss: Hacker News
📦Package Managers