Software Reverse Engineering Bookshelf
mcgrewsecurity.com·11h·
Discuss: Hacker News
🔬Binary Analysis
KDE's native virtual machine manager, Karton, inches closer to potential stable release
neowin.net·19h·
Discuss: Hacker News
🔌Operating system internals
Business Wire: "JEDEC Releases New LPDDR6 Standard to Enhance Mobile and AI Memory Performance"
businesswire.com·1d·
Discuss: Hacker News, r/hardware
🔧Hardware Verification
Puzzle Languages
prog21.dadgum.com·2d·
Discuss: Lobsters
💻Programming languages
An InfoSec Architect's First Taste of Temporal
supasaf.com·2d·
Discuss: Hacker News
⏰Temporal Logic
I still care about the code
martinfowler.com·1d·
Discuss: DEV, Hacker News
📏Code Metrics
Who Killed class? A Forensic Look at C++’s Forgotten Keyword
hackernoon.com·1d
🧬Functional Programming
LLDB's TypeSystems Part 2: PDB
walnut356.github.io·3d·
Discuss: r/programming
⚡Dependent Rust
How I build software quickly
evanhahn.com·3d·
Discuss: Lobsters, Hacker News, Hacker News
⚙️Build Archaeology
[R] Temporal Logic as a means to guarantee safety and efficiency in LLMs
reddit.com·3d·
Discuss: r/MachineLearning
📏Linear Logic
How To Build Smarter Factories With Edge Computing
thenewstack.io·2d
🏠Homelab Orchestration
The Crucial Role of NUMA Awareness in High-Performance Deep Learning
towardsdatascience.com·1d
📊Performance Profiling
Multi-level Mixture of Experts for Multimodal Entity Linking
arxiv.org·3h
📐Vector Similarity
T5Gemma: A new collection of encoder-decoder Gemma models
developers.googleblog.com·1d·
Discuss: Hacker News
📊Quantization
Regression Testing: Safeguarding Your Software with Every Release
dev.to·20h·
Discuss: DEV
🧪Property-Based Testing
ASSURE: Metamorphic Testing for AI-powered Browser Extensions
arxiv.org·2d
⚡Proof Automation
Building an MCP Server in Umbraco: My Journey into AI-Powered Content Management
dev.to·1d·
Discuss: DEV
⚡gRPC
Structured Task Solving via Modular Embodied Intelligence: A Case Study on Rubik's Cube
arxiv.org·2d
🦾ARM Cortex-M
Solving the Constrained Random Disambiguation Path Problem via Lagrangian Relaxation and Graph Reduction
arxiv.org·1d
🎯Performance Proofs
FuzzFeed: An Automatic Approach to Weakest Precondition Generation using LLMs and Fuzzing
arxiv.org·2d
🐛Fuzzing