Confessions of a static timing analysis tool
chipinsights.substack.com·1d·
Discuss: Substack
⚡Circuit Verification
Data-Driven Incremental GAS Certificate of Nonlinear Homogeneous Networks: A Formal Modular Approach
arxiv.org·1d
🎯Performance Proofs
Improved homomorphic evaluation for hash function based on TFHE (2024)
cybersecurity.springeropen.com·13h·
Discuss: Hacker News
🔐Homomorphic Encryption
2025 One Hertz Challenge: A Discrete Component Divider Chain
hackaday.com·10h
⚙️Cassette Mechanics
10 Myths of Scalable Parallel Languages, Part 4: Syntax Matters
chapel-lang.org·5h·
Discuss: Hacker News
📝Concrete Syntax
Comparing Pattern-Matching Across Different Languages: Java, Scala, and More
hackernoon.com·16h
🧮Algebraic Datatypes
Tuning Detections isn’t Hard Unless You Make it Hard
infosecwriteups.com·22h
🎯Threat Hunting
Programming Language Escape Hatches
buttondown.com·1d·
Discuss: Hacker News
🦀Rust Macros
Technical Perspective: Defending Data from SRAM-Based Attacks
cacm.acm.org·1d
🧠Memory Forensics
High level design of replacement for 1130 core memory
rescue1130.blogspot.com·12h·
Discuss: rescue1130.blogspot.com
⚡Hardware Transactional Memory
Optimize Golang Cryptographic Performance: Hardware Acceleration and Parallel Processing Techniques for 8x Speed Gains
dev.to·2d·
Discuss: DEV
🌊Stream Ciphers
XOR Crack Kit
kobolt.website·1d
🔐Cryptographic Archaeology
CPUs, GPUs, NPUs, and TPUs: Choosing the Right Processing Unit for AI Workloads
guptadeepak.com·5h·
Discuss: DEV, Hacker News
🖥️Hardware Architecture
Open-Source RISC-V Peripheral Challenge
tinytapeout.com·14h·
Discuss: Hacker News
🔌Single Board PC
Help me find the right case please
reddit.com·20h·
Discuss: r/homelab
🏠HomeLab
Boolean SHA256 with TFHE-rs (2023)
zama.ai·13h·
Discuss: Hacker News
🔢Bitwise Algorithms
On "local" and "global" errors in mathematical papers, and how to detect them
terrytao.wordpress.com·8h·
Discuss: Hacker News
🏛️Isabelle HOL
The Illusion of Thinking
mjtsai.com·13h
🧮SMT Solvers
Determinism
theprogrammersparadox.blogspot.com·10h·
Discuss: theprogrammersparadox.blogspot.com
🐚Shell Calculus
Algebra Problems of the Day (Algebra Regents, June 2025 Part II)
mrburkemath.blogspot.com·13h·
Discuss: www.blogger.com
📐Linear Algebra