ICSA Colloquium Talk - 10/07/2025
informatics.ed.ac.uk·3d
🧲RISC-V Archaeology
HackRF Pro Q+A
greatscottgadgets.com·1d
🔍FPGA Verification
EmacsConf 2025 Call for Participation
emacsconf.org·8h·
Discuss: Lobsters, Hacker News
🌐Protocol Synthesis
Most ints are not floats
johndcook.com·1d·
Discuss: Hacker News
📐Interval Arithmetic
Refurb weekend: Gremlin Blasto arcade board
oldvcr.blogspot.com·1h·
Discuss: Lobsters, Hacker News
📺Retrogaming
Intel GPUs Gain 20% Performance by Disabling Security Mitigations
techpowerup.com·5d·
Discuss: Hacker News
🛡️RISC-V Security
New Proof Dramatically Compresses Space Needed for Computation
scientificamerican.com·1d·
Discuss: Hacker News
🎯Performance Proofs
Orange Me2eets: We made an end-to-end encrypted video calling app and it was easy
blog.cloudflare.com·2d·
Discuss: Hacker News, Hacker News
📞WebRTC
The Cost of AI-Generated Code: Detection vs. Remediation
rsolv.dev·3d·
Discuss: Hacker News
📏Code Metrics
Parameterized types in C using the new tag compatibility rule
nullprogram.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Threat-Aware Automation: Making Security a First-Class Citizen in Your Test Suite
dev.to·4h·
Discuss: DEV
🎯Threat Hunting
Show HN: Webshell – A Simple Terminal on Web
github.com·4h·
Discuss: Hacker News, r/programming
🪟Awesome windows command-line
Announcing Sniffnet v1.4: introduced PCAP files import — it’s 2X faster than Wireshark!
dev.to·14h·
Discuss: DEV
📊PCAP Analysis
HackTheSite Basic 6
dev.to·15h·
Discuss: DEV
🔓Password Cracking
Bitmasking for Granular Backend RBAC: A Beginner's Guide
dev.to·3d·
Discuss: DEV
🔐Homomorphic Encryption
Announcing Rust 1.88.0
blog.rust-lang.org·3d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
OptGM: An Optimized Gate Merging Method to Mitigate NBTI in Digital Circuits
arxiv.org·1d
⚙️Logic Synthesis
A Geometric Square-Based Approach to RSA Integer Factorization
arxiv.org·4d
🔱Galois Cryptography
Model Context Protocol (MCP) Servers For The Absolute Beginner
dev.to·5h·
Discuss: DEV
🔌Interface Evolution
Ubuntu disables Intel GPU security mitigations, promises 20% performance boost
arstechnica.com·3d
🛡️RISC-V Security