Arcade Hardware Hacking: Part III
zdziarski.com·19h
🕹️Retro Gaming
The Dwarves Beneath the Kernel: Forging BTF for eBPF
bootlin.com·8h
📺VT100
Streamlining Vulnerability Research with the idalib Rust Bindings for IDA 9.2
hex-rays.com·1d
🦀Rust Macros
Reverse Engineering keyboard firmware with Ghidra
blog.usedbytes.com·2h·
Discuss: Hacker News
🔓Reverse engineering
Modular Satellite Bus Self-Diagnostics via Reinforcement Learning and Bayesian Optimization
dev.to·2d·
Discuss: DEV
🔧Hardware Verification
Java Backend Coding Technology: Writing Code in the Era of AI #Version 1.1
dev.to·2d·
Discuss: DEV
⚡SMT Applications
Less Is More: Recursive Reasoning with Tiny Networks
github.com·6h·
Discuss: Hacker News
📊Quantization
What You Didn't Learn in Berkeley CS 188: Intro to RL
neelsomaniblog.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Show HN: AI code reviewer that analyzes cross-module impacts
news.ycombinator.com·7h·
Discuss: Hacker News
🌀Brotli Internals
Optimizing Rails Tests at Doctolib Scale – On Rails
onrails.buzzsprout.com·1d·
Discuss: Hacker News, r/programming
🔍Concolic Testing
C++26: range support for std:optional
sandordargo.com·5h·
Discuss: Lobsters, Hacker News
💧Liquid Types
We built a CUDA emulator that profiles GPU code with zero hardware
rightnowai.co·1d·
Discuss: Hacker News
🎯Emulator Accuracy
Show HN: Scout QA – Vibe testing for vibe coding
scoutqa.ai·3d·
Discuss: Hacker News
🔍Concolic Testing
Vibe Coding: Closing The Feedback Loop With Traceability
blog.sentry.io·21h·
Discuss: Hacker News
⚡Proof Automation
Access Control Policy Generation from High-Level Natural Language Requirements
dl.acm.org·46m·
Discuss: Hacker News
🔒Language-based security
Best Continuous Integration Testing Tools to Streamline Your Workflow in 2025
dev.to·1d·
Discuss: DEV
🔍Concolic Testing
KEO: Knowledge Extraction on OMIn via Knowledge Graphs and RAG for Safety-Critical Aviation Maintenance
arxiv.org·17h
🧠Intelligence Compression
AI Keeps Shifting Right: Coping with the Limitations of Large Language Models
blog.sturdystatistics.com·7h·
Discuss: Hacker News
🔄Language Evolution
Characteristic Learning for Provable One Step Generation
arxiv.org·1d
🤖Grammar Induction
Polymorphic Python Malware, (Wed, Oct 8th)
isc.sans.edu·13h
🔓Hacking