ICSA Colloquium Talk - 10/07/2025
informatics.ed.ac.uk·3d
🧲RISC-V Archaeology
HackRF Pro Q+A
greatscottgadgets.com·1d
🔍FPGA Verification
I've been using a modified Intel NUC6i7KYK (center) as my homelab server since 2018, and I recently upgraded/migrated over to an Intel NUC10i7FNH (right)
i.redd.it·1d·
Discuss: r/homelab
🏠Homelab Archaeology
Most ints are not floats
johndcook.com·1d·
Discuss: Hacker News
📐Interval Arithmetic
SBOMs for Medical Devices (2023)
danacrane.medium.com·2h·
Discuss: Hacker News
🔐HSM Integration
Ragged – Leveraging Video Container Formats for Efficient Vector DB Distribution
news.ycombinator.com·4h·
Discuss: Hacker News
⚡Modern Compression
Inside Airgeek: Deriving Timing of Offline Measurements
0x2a.cz·3h·
Discuss: Hacker News
⏱️SMPTE Timecode
Intel GPUs Gain 20% Performance by Disabling Security Mitigations
techpowerup.com·5d·
Discuss: Hacker News
🛡️RISC-V Security
Undertrained Tokens in DeepSeek R1
tokencontributions.substack.com·21h·
Discuss: Substack
✅Format Verification
Vibe Coding Is Not an Advantage
asindu.xyz·20h·
Discuss: Hacker News
🔩Systems Programming
From Detection to Response: The Power of SOC Solutions
infosecwriteups.com·5h
🚨Incident Response
How to (Almost) solve cybersecurity once and for all
adaptive.live·3d·
Discuss: Hacker News
🔐Systems Hardening
Programming as an Art - Table of Content
dev.to·2h·
Discuss: DEV
📝Compiler Design
I Built an Offline-First AI Copilot for the Terminal – Meet Promptly
dev.to·7h·
Discuss: DEV
🐚Shell Automation
The Cost of AI-Generated Code: Detection vs. Remediation
rsolv.dev·2d·
Discuss: Hacker News
📏Code Metrics
Unlocking Hyper-Security: The Power of AI in Multi-Modal Biometric Systems
dev.to·3d·
Discuss: DEV
🎵Spectral Hashing
LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation
arxiv.org·4d
🔍FPGA Verification
Another Go variable dumper and interface/types explorer!
reddit.com·1d·
Discuss: r/golang
🔧Binary Parsing
Critical Security Importance Digital Age Web Techniques（1751100275734200）
dev.to·6h·
Discuss: DEV
🔒WASM Capabilities
Complete Tutorial: Building Your First React Component on Paseo Network with PAPI Simulator
dev.to·18h·
Discuss: DEV
✅Format Verification