Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·19h·
Discuss: Hacker News
⚡Hardware Acceleration
Three ways formally verified code can go wrong in practice
buttondown.com·1h
💻Programming languages
How to use tls_native TlsSocket if they cannot be split?
docs.rs·22h·
Discuss: r/rust
📘Typescript
From artificial atoms to quantum information machines: Inside the 2025 Nobel Prize in physics
theconversation.com·50m
⚛️Physics
Experimenting with ACL2 and Claude Code
mikedodds.org·6h·
Discuss: Hacker News
💻Programming languages
Tokenization Firm Securitize Said to Be in Talks With Cantor SPAC
bloomberg.com·3h
🔤Tokenization
Patience and Willingness to Be Slow
lesswrong.com·6h
🪄Prompt Engineering
SSH Security: Why You Should Touch to Verify
ubicloud.com·11h·
Discuss: Hacker News
🔐Hardware Security
The Future of AI is Verifiable Thought
pub.towardsai.net·1h
🎭Claude
When mathematics meets aesthetics: Tessellations as a precise tool for solving complex problems
phys.org·2h
✨Code Aesthetics
Quantum computing is "mission crtical"
federalnewsnetwork.com·6h·
Discuss: Hacker News
⏳Tech History
Looking at my Arduino
boswell.bearblog.dev·2h
🖥️Hardware Architecture
Slip – A Lisp System in JavaScript
lisperator.net·5h·
Discuss: Hacker News
💻Programming languages
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·9h
🔬RaBitQ
Size doesn't matter: Just a small number of malicious files can corrupt LLMs of any size
techxplore.com·4h
🕳LLM Vulnerabilities
🆔 Step 1 - Digital ID Rollout
threadreaderapp.com·6h
🏷GTLDs
No Bullshit Guide to Statistics prerelease
minireference.com·1h
📊Statistical Ranking
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·17h·
Discuss: Hacker News, r/programming
📑Inverted Indexes
Linear Risk Sharing on Networks
freakonometrics.hypotheses.org·20h
🌐Distributed systems
The Day I Hacked XCTrack
blog.syrac.org·4h·
Discuss: Hacker News
🔐Hardware Security