A Kevin week
blog.mitrichev.ch·1d·
📐Linear Algebra
From Zero to AI Agent: My Journey into Java-based Intelligent Applications
dev.to·9h·
Discuss: DEV
🔌Interface Evolution
Hyper-Specific Sub-Field: **Fuzzing for IoT Firmware Reverse Engineering**
dev.to·8h·
Discuss: DEV
🧪Binary Fuzzing
Balance between refactoring and inheritance in your code
github.com·21h·
Discuss: Hacker News
Format Verification
Show HN: I wrote a book: The Elements of Code
news.ycombinator.com·18h·
Discuss: Hacker News
🛠Language Design
What Does -> Mean in Python Function Definitions?
realpython.com·19h
λLambda Formalization
Adaptive Programming Systems for Humans and AI
gfrison.com·1h·
Discuss: Hacker News
Incremental Computation
How to implement the Outbox pattern in Go and Postgres
packagemain.tech·1h·
📋Protocol Buffers
Haskell Interlude: 70: Phil Wadler
haskell.foundation·2d
🧬Functional Programming
Solving LeetCode's "Add Two Numbers" Iteratively and Recursively - Part 1
dev.to·1d·
Discuss: DEV
🔗Topological Sorting
CHMLib 0.40a Integer Overflow in _unmarshal_int32 / _unmarshal_uint32 During CHM Header Parsing
seclists.org·6h
Format Verification
Be Careful When Assigning ArenaAllocators (2024)
openmymind.net·9h·
🔒Type Safety
Building a Simple Stack-Based Virtual Machine in Go
blog.phakorn.com·1d·
🔧RISC-V Assembler
JIT-ing a stack machine (with SLJIT)
bullno1.com·7h·
⚙️PL Implementation
Shielded Minds: Unleashing Private LLM Inference by Arvind Sundararajan
dev.to·13h·
Discuss: DEV
💻Local LLMs
MAUI: Reconstructing Private Client Data in Federated Transfer Learning
arxiv.org·5h
🔒Privacy Archives
Developer-LLM Conversations: An Empirical Study of Interactions and Generated Code Quality
arxiv.org·1d
💻Programming languages
SpecVLM: Fast Speculative Decoding in Vision-Language Models
arxiv.org·5h
Information Bottleneck
An Afternoon at the Recursive Café: Two Threads Interleaving
ipfs.io·1d·
Discuss: Hacker News
🔲Cellular Automata
SOLID Principles for Python Developers
dev.to·19h·
Discuss: DEV
💻Programming languages