ICSA Colloquium Talk - 10/07/2025
informatics.ed.ac.uk·3d
🧲RISC-V Archaeology
HackRF Pro Q+A
greatscottgadgets.com·1d
🔍FPGA Verification
Most ints are not floats
johndcook.com·1d·
Discuss: Hacker News
📐Interval Arithmetic
Ragged – Leveraging Video Container Formats for Efficient Vector DB Distribution
news.ycombinator.com·7h·
Discuss: Hacker News
⚡Modern Compression
Inside Airgeek: Deriving Timing of Offline Measurements
0x2a.cz·6h·
Discuss: Hacker News
⏱️SMPTE Timecode
EmacsConf 2025 Call for Participation
emacsconf.org·55m·
Discuss: Lobsters, Hacker News
🌐Protocol Synthesis
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
Vibe Coding Is Not an Advantage
asindu.xyz·23h·
Discuss: Hacker News
🔩Systems Programming
The Cost of AI-Generated Code: Detection vs. Remediation
rsolv.dev·2d·
Discuss: Hacker News
📏Code Metrics
Complete Tutorial: Building Your First React Component on Paseo Network with PAPI Simulator
dev.to·21h·
Discuss: DEV
✅Format Verification
IDGraphs: Intrusion Detection and Analysis Using Stream Compositing
arxiv.org·1d
🦠Malware Analysis
Can Digital Poison Corrupt The Algorithm?
hackaday.com·1d
🔓Hacking
Attacks on remote maintenance weak points in servers from HPE, Lenovo and Co.
heise.de·1d
🔓Hacking
Parameterized types in C using the new tag compatibility rule
nullprogram.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Cisco fixes two critical make-me-root bugs on Identity Services Engine components
theregister.com·2d
🧪CBOR Fuzzing
Why I Think Decentralized AI Can Be A Game Changer For The Future Of AI?
dev.to·1d·
Discuss: DEV
⚡Proof Automation
How I Made Task Lists Fun Again (with a Hint of World Domination)
dev.to·5h·
Discuss: DEV
🔗Concatenative Languages
I built a recursive self-dialogue engine by accident. It won't stop evolving
github.com·1d·
Discuss: Hacker News
🌐Protocol Synthesis
Amal’s First Switch Equation: Clean FizzBuzz with Bitmask Logic
dev.to·2d·
Discuss: DEV
🌊Stream Ciphers