Experimenting with ACL2 and Claude Code
mikedodds.org·16h·
Discuss: Hacker News
💻Programming languages
From artificial atoms to quantum information machines: Inside the 2025 Nobel Prize in physics
theconversation.com·10h
⚛️Physics
Three ways formally verified code can go wrong in practice
buttondown.com·11h
💻Programming languages
Nanoprecise partners with AccuKnox to strengthen its Zero Trust Cloud Security and Compliance Posture
techstartups.com·15h
🏗️Infrastructure Economics
SSH Security: Why You Should Touch to Verify
ubicloud.com·21h·
Discuss: Hacker News
🔐Hardware Security
Tokenization Firm Securitize Said to Be in Talks With Cantor SPAC
bloomberg.com·13h
🔤Tokenization
Patience and Willingness to Be Slow
lesswrong.com·16h
🪄Prompt Engineering
When Will Quantum Computing Work?
tommccarthy.net·13h·
Discuss: Hacker News
🏗️LLM Infrastructure
The Future of AI is Verifiable Thought
pub.towardsai.net·10h
🎭Claude
When mathematics meets aesthetics: Tessellations as a precise tool for solving complex problems
phys.org·12h
✨Code Aesthetics
Understanding conflict resolution and avoidance in PostgreSQL: a complete guide
pgedge.com·9h·
Discuss: r/programming
🔄Eventual Consistency
Looking at my Arduino
boswell.bearblog.dev·12h
🖥️Hardware Architecture
Slip – A Lisp System in JavaScript
lisperator.net·15h·
Discuss: Hacker News
💻Programming languages
(Forward) automatic implicit differentiation in Rust with num-dual 0.12.0
reddit.com·13h·
Discuss: r/rust
🎭Rust Macros
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·19h
🔬RaBitQ
Size doesn't matter: Just a small number of malicious files can corrupt LLMs of any size
techxplore.com·14h
🕳LLM Vulnerabilities
🆔 Step 1 - Digital ID Rollout
threadreaderapp.com·16h
🏷GTLDs
Controlled Release of Microorganisms from Engineered Living Materials
pubs.acs.org·14h·
Discuss: Hacker News
🔬Food Microbiology
The Day I Hacked XCTrack
blog.syrac.org·14h·
Discuss: Hacker News
🔐Hardware Security
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·6h·
Discuss: Hacker News
💻Programming languages