Modelling Arbitrary Computations in the Symbolic Model using an Equational Theory for Bounded Binary Circuits
arxiv.org·9h
🎞️Tape Combinatorics
Superimposed codes, take three
blog.sesse.net·4h
🔢Bitwise Algorithms
Strong Goldbach in 2nd-order logic under standard semantics, semantically closed
medium.com·11h·
Discuss: Hacker News
🧮Constraint SMT
Symbolic-numeric programming in scientific computing
dspace.mit.edu·9h
🧬Functional Programming
Equivalence between commonly used elliptic curves
johndcook.com·1d
🔢Reed-Solomon Math
The First Few Milliseconds of an HTTPS Connection
moserware.com·18h·
Discuss: Hacker News
🔐Certificate Analysis
Nvidia-backed startup invents Ethernet memory pool to help power AI — claims it can add up to 18TB of DDR5 capacity for large-scale inference workloads and redu...
tomshardware.com·3h
🏠Homelab Archaeology
Creating and using pass tickets on z/OS.
colinpaice.blog·19h
🛡️eBPF Security
Giants Protocol: Advancing Real World Assets Tokenization With AI-Driven Infrastructure
hackernoon.com·20h
🏺Protocol Archaeology
Modular network offers fault-tolerant scaling of superconducting qubit devices
phys.org·2h
⚛️Quantum Error Correction
Building great SDKs
newsletter.pragmaticengineer.com·22h
🔌Interface Evolution
HexaMorphHash HMH- Homomorphic Hashing for Secure and Efficient Cryptographic Operations in Data Integrity Verification
arxiv.org·9h
🔐Hash Functions
Extensions and Shadows (8)
sites.psu.edu·1d
🧮Kolmogorov Bounds
Records and the ‘with’ operator, redux
codeblog.jonskeet.uk·17h
🛡️Proof-Carrying Archives
2025 Unit 42 Global Incident Response Report: Social Engineering Edition
unit42.paloaltonetworks.com·3h
🔓Hacking
Extensive desk checking of PCB and final design for core memory replacement for 1130 system
rescue1130.blogspot.com·16h·
Discuss: rescue1130.blogspot.com
⚡Circuit Archaeology
Large Language Models
davidtemplin.name·18h·
Discuss: Hacker News
🤖Grammar Induction
Re: Multiple vulnerabilities in the web management interface of Intelbras routers
seclists.org·10h
🛣️BGP Hijacking
A Novel Post-Quantum Secure Digital Signature Scheme Based on Neural Network
arxiv.org·1d
🔐Quantum Cryptography
TRIDENT: Benchmarking LLM Safety in Finance, Medicine, and Law
arxiv.org·9h
✅Formal Methods