🦀 Rust Borrowing

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

CVE-2024-12029 – InvokeAI Deserialization of Untrusted Data vulnerability
offsec.com·2d
🌐WASI
A Lot of Packets
funcall.blogspot.com·1d·
Discuss: www.blogger.com
📡Network Archaeology
Mapping Out the Library of Babel
carlnewton.github.io·2h·
Discuss: Hacker News
📚MARC Archaeology
Not Even Bronze? Evaluating LLMs on 2025 International Math Olympiad
matharena.ai·1d·
Discuss: Hacker News, Hacker News, Hacker News
🧮SMT Solvers
AwesomeAssertions/AwesomeAssertions
github.com·3d
✅Format Verification
Introducing XMLUI
blog.jonudell.net·15h·
Discuss: Hacker News
🦋Format Metamorphosis
Acquire-By-Hash for APT packages repositories, and the lack of it in Kali Linux
arnaudr.io·2d·
Discuss: Hacker News
❄️Nixpkgs
How to run an LLM on your laptop
technologyreview.com·2d·
Discuss: Hacker News, Hacker News
💻Local LLMs
Google Wifi Pro: Glitching from Root to EL3: Part 1 - Characterization
raelize.com·3d·
Discuss: Lobsters, Hacker News
🛡️eBPF Security
The power of the Unix philosophy for LLM agentic tools
blog.korny.info·2d·
Discuss: Hacker News
🐚Shell Calculus
Machine Learning Fundamentals: dropout tutorial
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
Dollars per token considered harmful
modal.com·3d·
Discuss: Hacker News
💻Local LLMs
Usage Rules: Leveling the Playing Field for AI-Assisted Development
zachdaniel.dev·1d·
Discuss: Hacker News
⚡Proof Automation
Know Your Playground: The Essential Guide to Algorand for MEV Enthusiasts
hackernoon.com·4d
🔗Hash Chains
Building My First Real-Time Healthcare Data Pipeline with AWS SQS and Python
dev.to·1d·
Discuss: DEV
🌊Stream Processing
My Experience With Claude Code After 2 Weeks of Adventures
sankalp.bearblog.dev·2d·
Discuss: Hacker News
🌳Incremental Parsing
Decoupled PROB: Decoupled Query Initialization Tasks and Objectness-Class Learning for Open World Object Detection
arxiv.org·1d
📐Geometric Hashing
[D] thoughts about "prompt routing" - what do you think about it?
reddit.com·1d·
Discuss: r/MachineLearning
🌐Protocol Synthesis
Python Fundamentals: build
dev.to·4d·
Discuss: DEV
🔄Reproducible Builds
Hazel: A live functional programming environment with typed holes
github.com·4d·
Discuss: Lobsters, Hacker News
🦀Rust Macros