matt_d

Recent Submissions

1. 1. ▲ Decompiling the Synergy: Human–LLM Teaming in Reverse Engineering [pdf] (zionbasque.com) 1 point · 7 hours ago · 0 comments
2. 2. ▲ Soteria Rust: the first symbolic execution engine with full Tree Borrows support [video] (youtube.com) 1 point · 7 hours ago · 0 comments
3. 3. ▲ Testing and Benchmarking of AI Compilers (broune.com) 1 point · 3 days ago · 0 comments
4. 4. ▲ Interpreters everywhere! – Lindsey Kuper [video] (youtube.com) 1 point · 4 days ago · 0 comments
5. 5. ▲ The Wild West of post-POSIX IO Interfaces [video] (youtube.com) 2 points · 4 days ago · 0 comments
6. 6. ▲ Using the `vpternlogd` instruction for signed saturated arithmetic (wunkolo.github.io) 2 points · 5 days ago · 0 comments
7. 7. ▲ Indexed Reverse Polish Notation, an Alternative to AST (burakemir.ch) 6 points · 5 days ago · 0 comments
8. 8. ▲ ASM Visualizer: a new assembly visualization tool (asm.diveintosystems.org) 2 points · 7 days ago · 0 comments
9. 9. ▲ Oral History of Jensen Huang – Computer History Museum [video] (youtube.com) 1 point · 8 days ago · 0 comments
10. 10. ▲ The Equational Theories Project: Collaborative Mathematical Research at Scale (terrytao.wordpress.com) 2 points · 8 days ago · 0 comments