New post
mauriziomorri.devยท2h
๐Ÿ“„Document Digitization
How to Speed Up TPRM Approvals with Spectra Assure
reversinglabs.comยท1d
๐Ÿ”’Hardware Attestation
Counting with Categories (Part 3)
golem.ph.utexas.eduยท2d
ฮปLambda Formalization
esnet/iperf
github.comยท1h
๐Ÿ›ก๏ธeBPF Security
Machines of Faithful Obedience
windowsontheory.orgยท2d
๐Ÿ”ฒCellular Automata
Beyond Traditional Threats: The Rise of AI-Driven API Vulnerabilities
lab.wallarm.comยท20h
๐ŸŽฏThreat Hunting
What Weโ€™ve Learned from 5 Months of Hackbot Activity
hackerone.comยท9h
๐Ÿ”“Hacking
30 Days of Malware Analysis - What trends can be observed?
cstromblad.comยท13h
๐Ÿฆ Malware Analysis
Mirror Life
gov.ukยท1dยท
Discuss: Hacker News
๐ŸงฌCopy Number Variants
Threaded Code
muforth.devยท1dยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Save your disk, write files directly into RAM with /dev/shm
hiandrewquinn.github.ioยท1dยท
Discuss: Hacker News
๐Ÿ› ๏ธGreaseweazle
The collective waste caused by poor documentation
shanrauf.comยท2dยท
Discuss: Hacker News
๐Ÿ“ฆDeflate
Show HN: Enigma Machine and Bombe Implemented in eBPF โ€“ Turing's 113th Birthday
github.comยท3dยท
Discuss: Hacker News
๐Ÿ›ก๏ธeBPF Security
LLM-Aided Testbench Generation and Bug Detection for Finite-State Machines
arxiv.orgยท2d
๐Ÿ”งHardware Verification
Parallel nonlinear neuromorphic computing with temporal encoding
arxiv.orgยท2d
๐ŸŒˆHolographic Storage
"Cryptocalypse": EU demands quantum-safe encryption โ€“ partly by 2030
heise.deยท3dยท
Discuss: Hacker News
๐Ÿ”Quantum Security
High-order adaptive multi-domain time integration scheme for microscale lithium-ion batteries simulations
arxiv.orgยท1d
โš™๏ธTape Engineering
Challenging projects every programmer should try
austinhenley.comยท12hยท
Discuss: Hacker News
๐Ÿ“Compiler Design
Bilinear MLPs enable weight-based mechanistic interpretability
arxiv.orgยท23h
๐Ÿ“ŠQuantization
๐Ÿง  My First Rosetta Stone: When OrKa Proved AI Can Think Structurally
dev.toยท1dยท
Discuss: DEV
โšกProof Automation