A profile in courage
denovo.substack.comยท3dยท
Discuss: Substack
๐Ÿ”ฒCellular Automata
What is the worst-case scenario for AI? California lawmakers want to know.
vox.comยท11h
โš™๏ธProof Engineering
Bell Labs
irreal.orgยท5h
๐Ÿ›๏ธEastern European Computing
Jef Raskinโ€™s cul-de-sac and the quest for the humane computer
arstechnica.comยท11hยท
Discuss: Lobsters, Hacker News
๐ŸŽApple Computing
Get ahead with future-proofed higher education courses
the-independent.comยท11h
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Strange Attractors
blog.shashanktomar.comยท3dยท
Discuss: Hacker News, Hacker News
๐Ÿ”ฒCellular Automata
NPM in a box: Containerizing package managers for security. (2022)
supergeekery.comยท2dยท
Discuss: Hacker News
๐Ÿ“ฆContainer Security
Becoming an algorithmic problem: Resistance in the age of predictive technology
transformingsociety.co.ukยท3hยท
Discuss: Hacker News
๐ŸŒCultural Algorithms
Ask HN: Why is enrolling in Apple's Developer Program so difficult in 2025?
news.ycombinator.comยท13hยท
Discuss: Hacker News
๐ŸŽApple Computing
Using Haskell in Production
agentultra.comยท3dยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
AI-Integrated Smart Contracts: The Next Revolution in DeFi Automation
dev.toยท14hยท
Discuss: DEV
โšกSMT Integration
FieldCraft
dev.toยท23hยท
Discuss: DEV
๐Ÿ“ฑQR Archaeology
Storage options for an old SunFire V880 Server
reddit.comยท1dยท
Discuss: r/homelab
๐Ÿ Homelab Archaeology
Can SSD-Mamba2 Unlock Reinforcement Learning for End-to-End Motion Control?
arxiv.orgยท2d
๐Ÿ”ฒCellular Automata
Lenovo P3 Ultra as NAS--Recommendations for cage and power supply
reddit.comยท1dยท
Discuss: r/homelab
๐Ÿ Homelab
Co-Investigator AI: The Rise of Agentic AI for Smarter, Trustworthy AML Compliance Narratives
arxiv.orgยท1d
๐Ÿ”Vector Forensics
Are cybercriminals hacking your systems โ€“ or just logging in?
welivesecurity.comยท1d
๐Ÿ”“Hacking
A Secure Sequencer and Data Availability Committee for Rollups (Extended Version)
arxiv.orgยท3d
๐ŸŒณArchive Merkle Trees
Integrating Anatomical Priors into a Causal Diffusion Model
arxiv.orgยท18h
๐ŸŒ€Hyperbolic Geometry
From Eigenmodes to Proofs: Integrating Graph Spectral Operators with Symbolic Interpretable Reasoning
arxiv.orgยท2d
๐Ÿ“ˆSpectral Graph Theory