PHP License Update
wiki.php.net·2h·
Discuss: Lobsters, Hacker News, r/programming
🔐Zero-Knowledge Proofs
Dot product on misaligned data
lemire.me·1h·
Discuss: Hacker News
🧮Homomorphic Encryption
Comparison of latest reasoning models on the most recent LeetCode questions (Qwen-32B vs Qwen-235B vs nvidia-OpenCodeReasoning-32B vs Hunyuan-A13B)
i.redd.it·15h·
Discuss: r/LocalLLaMA
🔧MLIR
Pure Rust cryptography is better than raw performance
kerkour.com·4d·
Discuss: Hacker News
🔗Crypto
🔐 Design a TinyURL System (Like Bit.ly) — From Scratch
bit.ly·8h·
Discuss: DEV
🔗Crypto
Experimental July: Week 2 Reflection
hedy.bearblog.dev·1d
🔗Crypto
Types are Transforming Python
spin.atomicobject.com·5d·
Discuss: Hacker News
✅Formal Verification
A Deep Dive into Reverse Proxy
startwithawhy.com·2d
🔄Protocol Design
ML/AI Pipelines: The "So What" of Crypto Data Ecosystems
davanti-research.medium.com·2d·
Discuss: Hacker News
🌐Decentralized AI
Valuable News – 2025/07/14
vermaden.wordpress.com·10h
🔄Protocol Design
How to Be Formidable in the Field of Software Development
reddit.com·10h·
Discuss: r/compsci
✅Formal Verification
AWS launches Kiro, its Cursor clone
kiro.dev·10h·
Discuss: Hacker News
🤖AI
Modern webapp to write, run and learn M68K, MIPS, RISC-V, x86 assembly code
github.com·15h·
Discuss: Hacker News
🔧MLIR
Graph Convolutional Branch and Bound
arxiv.org·20h
🛡️AI Safety
Breaking Down and Explaining Type Parameters
hackernoon.com·2d
🔐Zero-Knowledge Proofs
Can’t turn ideas into code — need real guidance after 1 year of CS
reddit.com·12h·
Discuss: r/C_Programming
✅Formal Verification
Rust Async Web Framework Performance Breakthrough(8093)
dev.to·2d·
Discuss: DEV
🔧MLIR
Context Management and Request Lifecycle Optimization(5730)
dev.to·2d·
Discuss: DEV
📜Smart Contracts
Show and Tell: Built a unified HTTP client for React to reduce setup complexity
github.com·2d·
Discuss: r/reactjs, r/webdev
🔧MLIR
Machine Learning Fundamentals: data preprocessing project
dev.to·1d·
Discuss: DEV
🛡️AI Safety