Experimenting with ACL2 and Claude Code
mikedodds.org·11h·
Discuss: Hacker News
💻Programming languages
MultiPar 1.3.3.5 Beta / 1.3.2.9
majorgeeks.com·15h
📄File Formats
PostGIS Performance: Indexing and EXPLAIN
crunchydata.com·9h
🔍Query Optimization
The DINOv3 Playbook for Computer Vision Data Science
pub.towardsai.net·10h
📊Vector Databases
Open Lineage
usenix.org·19h
📘Typescript
Looking at my Arduino
boswell.bearblog.dev·6h
🖥️Hardware Architecture
Iterated Development and Study of Schemers (IDSS)
lesswrong.com·9h
🆕New AI
Item Patterns and Struct Await
noratrieb.dev·17h·
Discuss: Hacker News
🦀Rust
Building a sync server in Rust?
reddit.com·19h·
Discuss: r/rust
🦀Rust
GoMem is a high-performance memory allocator library for Go
github.com·21h
🧠Memory Allocators
Tangled, a Git collaboration platform, built on atproto
blog.tangled.org·2h·
Discuss: Hacker News
🌐Axum
CReact - JSX for the Cloud
github.com·3h·
Discuss: r/node, r/programming
🌐Distributed systems
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·23h·
Discuss: Hacker News
🔐Cryptography
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·9h·
Discuss: Hacker News
🏆LLM Benchmarking
NVIDIA Blackwell Raises Bar in New InferenceMAX Benchmarks, Delivering Unmatched Performance and Efficiency
blogs.nvidia.com·23h
📊Model Serving Economics
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·37m·
Discuss: Hacker News
💻Programming languages
Three ways formally verified code can go wrong in practice
buttondown.com·6h
💻Programming languages
YouTube gets ~5% CTR lift on Shorts by replacing embedding tables with Semantic IDs
shaped.ai·23h
📊Feed Optimization
OBCache: Optimal Brain KV Cache Pruning for Efficient Long-Context LLM Inference
arxiv.org·19h
🧠LLM Inference
Streamtario (beta) : a modern, open-source Stremio inspired media streaming platform.
reddit.com·22h·
Discuss: r/programming
💧Litestream