satwize update 11/12/25
stacker.news·23h
🔤type system theory and implementation
Flag this post
2025.8 release introduces Stack Overflow Internal: The next generation of enterprise knowledge intelligence
stackoverflow.blog·21h
🔤type system theory and implementation
Flag this post
Red Hat Enterprise Linux 10.1: Top features for developers
developers.redhat.com·17h
🗄databases and optimization
Flag this post
The Rich Have Already Won: How AI, Banks, and Digital Money Locked in Control – Investment Analytics
traderadrinvest.finance.blog·15h
🐘PostgreSQL
Flag this post
Stargate Abilene: A Citrini Field Trip
citriniresearch.com·4d·
Discuss: Hacker News
🗄databases and optimization
Flag this post
The Shift from Computation to Conversation
dvitsios.org·23h·
Discuss: Hacker News
🔤type system theory and implementation
Flag this post
The Benefits of an “Everything” Notebook in NotebookLM
kdnuggets.com·21h
🗄databases and optimization
Flag this post
Ask HN: Do businesses want to leave the cloud and return to installable apps?
news.ycombinator.com·1d·
Discuss: Hacker News
🗄databases and optimization
Flag this post
Keynote: Scaling Geo-Temporal ML: How Pokémon Go Optimizes Global Gameplay With... Y. Liu & A. Zhang
youtube.com·23h
🗄databases and optimization
Flag this post
Active Short Circuit and Safe Discharge Mechanisms in Multi-Phase Inverters During Critical Failures
arxiv.org·1d
🐘PostgreSQL
Flag this post
4 open‑source apps I use to run AI locally
xda-developers.com·1d
🗄databases and optimization
Flag this post
Sridhar Vembu: Redefining Leadership in the Age of Noise
dev.to·1d·
Discuss: DEV
🗄databases and optimization
Flag this post
DeepProofLog: Efficient Proving in Deep Stochastic Logic Programs
arxiv.org·1d
🔤type system theory and implementation
Flag this post
Automated Variant Interpretation & Stratification via Hyperdimensional Network Ensemble
dev.to·1d·
Discuss: DEV
🗄databases and optimization
Flag this post
Model Counting for Dependency Quantified Boolean Formulas
arxiv.org·2d
🔤type system theory and implementation
Flag this post
Critical Confabulation: Can LLMs Hallucinate for Social Good?
arxiv.org·1d
🗄databases and optimization
Flag this post
5 signs you need to upgrade your home lab
xda-developers.com·2d
🗄databases and optimization
Flag this post
I wrote a "from first principles" guide to building an HTTP/1.1 client in Rust (and C/C++/Python) to compare performance and safety
reddit.com·2d·
Discuss: r/rust
🔤type system theory and implementation
Flag this post
Bitcoin Slips 1.2% as Volume Thins Near $100K Support
coindesk.com·16h
🐘PostgreSQL
Flag this post
Ethereum Is ‘The Infrastructure’ for Wall Street, Says Former BlackRock Executive
coindesk.com·1d
🔤type system theory and implementation
Flag this post