Structural vs. Mathematical “Under” (2023)
dyalog.com·1d·
Discuss: Lobsters, Hacker News, r/programming
⚔️Lean Theorem
Interesting Technique to Launch a Shellcode, (Wed, Aug 27th)
isc.sans.edu·14h
🛡️CLI Security
Guessing Game: Haskell Style
entropicthoughts.com·1d
👑Dependent Haskell
On systematic construction of correct logic programs
arxiv.org·1d
⚖️Hoare Logic
Make and SQL: An old new way for Data Science workloads
vasvir.wordpress.com·1d·
Discuss: Hacker News
🦀Rust Macros
Your First AI Agent: A Clear, Practical Path
dev.to·6h·
Discuss: DEV
⚡Proof Automation
Binary Exploitation 101 - Introduction
r1ru.github.io·1d
📼Cassette Hacking
Dependent types I › Universes, or types of types
jonmsterling.com·13h·
Discuss: Hacker News
🔤Type Theory
The TTY Demystified
linusakesson.net·1d·
Discuss: Hacker News, r/programming
📟Terminals
Qt for MOSA: FACE Conformant Qt for Aerospace and Defense Software
qt.io·8h
⚡SMT Applications
Implementing Forth in Go and C
eli.thegreenplace.net·16h·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔗Concatenative Programming
StrongBox: Simple, Safe Data Encryption for Rust
hezmatt.org·19h
🦀Embedded Rust
Future Research in XP Modeling: A Call for Self-Learning Models
hackernoon.com·4h
⚙️Operating System Design
Deep dive into Mojo object initialization
connorgray.com·3h·
Discuss: Hacker News
🦀Rust Borrowing
Learning Perl in one day and the importance of building strong foundations
guilhermenl.dev·7h·
Discuss: Hacker News
🔗Concatenative Programming
Reversing a (not-so-) Simple Rust Loader | cxiao.net
cxiao.net·1d
🦀Rust Macros
Building a Plugin System for Rust: Native Libraries vs Scripting Language vs WASM vs Rules Engine
kerkour.com·14h·
Discuss: Hacker News
🦀Rust Macros
CPU Branch Prediction – Earliest Forms of Machine Learning
medium.com·4h·
Discuss: Hacker News
⚡CPU Microarchitecture
Custom Workflows: Automate Everything
cased.com·30m·
Discuss: Hacker News
🏠Homelab Orchestration
OODA Loops and Git Worktrees: 9 Tactical Lessons from AI-Augmented Development
sobu1.substack.com·3h·
Discuss: Substack
🏗️Compiler Archaeology