Issue 478
haskellweekly.newsยท8h
๐Ÿ”—Functional Compilers
ICT2, the paperback!
logicmatters.netยท7h
๐ŸŽฏProof Tactics
ML in the Home
blog.raymond.burkholder.netยท2d
๐Ÿ“ˆTime Series
AI Security Risks: When Models Lie, Blackmail, and Refuse to Shut Down
lmgsecurity.comยท4h
๐ŸŽฏThreat Hunting
What Weโ€™ve Learned from 5 Months of Hackbot Activity
hackerone.comยท2h
๐Ÿ”“Hacking
Comparing the American and Chinese 0day Pipelines
news.risky.bizยท17h
๐Ÿ”“Hacking
Scientists build first self-illuminating biosensor
actu.epfl.chยท8hยท
Discuss: Hacker News
โš›๏ธInformation Physics
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.comยท2dยท
Discuss: Hacker News
โš™๏ธLogic Synthesis
Computational Complexity of Model-Checking Quantum Pushdown Systems
arxiv.orgยท2d
๐Ÿ”Quantum Security
Large Language Models
blog.jsbarretto.comยท11hยท
Discuss: Hacker News
๐Ÿ“Concrete Syntax
Voxkryptia: A Conceptual Framework for Advanced Database Security
dev.toยท13hยท
Discuss: DEV
๐ŸงฌPostgreSQL Forensics
How To โ€” OpenSSL Overview
blog.devops.devยท3h
๐Ÿ”Certificate Analysis
More pathways that previously thought can lead to optical topological insulators
phys.orgยท2d
๐ŸŒˆHolographic Storage
Bilinear MLPs enable weight-based mechanistic interpretability
arxiv.orgยท16h
๐Ÿ“ŠQuantization
RepuNet: A Reputation System for Mitigating Malicious Clients in DFL
arxiv.orgยท16h
๐Ÿ”BitFunnel
rustzen-admin Series (Part 1): Authentication Security Upgrade - From bcrypt to Argon2
dev.toยท3dยท
Discuss: DEV
๐Ÿ”“Password Cracking
Hong Mong 5 Development Treasure Case Sharing Buried Point Development Real Battle Guide
dev.toยท22hยท
Discuss: DEV
๐Ÿ”—Data Provenance
The cheat codes of technological progress
exponentialview.coยท5hยท
Discuss: Hacker News
โš›๏ธInformation Physics
Show HN: Enigma Machine and Bombe Implemented in eBPF โ€“ Turing's 113th Birthday
github.comยท3dยท
Discuss: Hacker News
๐Ÿ›ก๏ธeBPF Security
It's elementary: Problem-solving AI approach tackles inverse problems used in nuclear physics and beyond
phys.orgยท1d
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing