Ansible Release 12: the Windows Vista Moment
blog.ipspace.net·20h·
Discuss: Hacker News
💻Programming languages
Flag this post
Handbook of Satisfiability (2021)
iospress.com·1d·
Discuss: Hacker News
📐Formal Methods
Flag this post
I just trained a physics-based earthquake forecasting model on a $1000 GPU
news.ycombinator.com·2h·
Discuss: Hacker News
📈Time Series ML
Flag this post
GHC 9.14.1-rc1 is now available
discourse.haskell.org·3d·
Discuss: Lobsters, Hacker News
💻Programming languages
Flag this post
wastrel, a profligate implementation of webassembly
wingolog.org·4d·
Discuss: Lobsters, Hacker News
💻Programming languages
Flag this post
dcaf: An implementation of the ACE-OAuth framework
docs.rs·8h·
Discuss: Hacker News
🔐Security Patterns
Flag this post
Rust's std and parking_lot mutexes – who wins?
blog.cuongle.dev·4d·
Discuss: Hacker News
🔄Async Rust
Flag this post
Training: Postgres Performance and Maintenance
postgresconf.org·10h·
Discuss: Hacker News
🚀Query Engines
Flag this post
Show HN: a Rust ray tracer that runs on any GPU – even in the browser
github.com·13h·
Discuss: Hacker News
🦀Rust
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·3d·
Discuss: Hacker News
💻Programming languages
Flag this post
Hybrid-Attention models are the future for SLMs
inference.net·36m·
Discuss: Hacker News
🗃️Database Internals
Flag this post
Reproducing the AWS Outage Race Condition with a Model Checker
wyounas.github.io·1d·
Discuss: Hacker News
🌐Distributed systems
Flag this post
I built a Rust-based evolution SIM where creatures eat their children
daymare.net·1d·
Discuss: Hacker News, r/rust
🦀Rust
Flag this post
The Cantor Experiment: Forcing a GPT-5-Class AI to Forget a Century of Math
romainpeter.substack.com·6h·
Discuss: Substack
📐Formal Methods
Flag this post
Vectorizing for Fun and Performance
ibm.com·5d·
Discuss: Hacker News
⚡SIMD
Flag this post
A Practitioner's Guide to Kolmogorov-Arnold Networks
arxiviq.substack.com·1d·
Discuss: Substack
📈Time Series ML
Flag this post
Python steering council accepts lazy imports
lwn.net·8h·
Discuss: Hacker News
💻Programming languages
Flag this post
You Don't Need Types in Ruby
zhisme.com·4d·
Discuss: Hacker News
💻Programming languages
Flag this post
The Geographic Imperative: How CockroachDB Turns Maps into Architecture
hackernoon.com·21h
🌐Distributed systems
Flag this post
Good abstractions for humans turn out to be good abstractions for LLMs
betweentheprompts.com·11h·
Discuss: Hacker News
💻Programming languages
Flag this post