Modern perspectives in proof theory (2023)
pmc.ncbi.nlm.nih.govยท1dยท
Discuss: Hacker News
๐ŸŒDistributed Systems
Flag this post
Announcing the 2025 Steering Committee Election Results
kubernetes.ioยท1d
๐ŸŒDistributed Systems
Flag this post
Why Big Data and Business Intelligence Are Like One Direction
smartdatacollective.comยท2d
๐Ÿ“ŠOLAP
Flag this post
An interview with William Kahan, the old man of floating-point. (1998)
people.eecs.berkeley.eduยท6hยท
Discuss: Hacker News
๐ŸŒDistributed Systems
Flag this post
Kaveri: India's Most Powerful 64 Qubit Quantum Processor
qpiai.techยท1dยท
Discuss: Hacker News
๐ŸŒDistributed Systems
Flag this post
MCP in Red Hat Developer Hub: Chat with your catalog
developers.redhat.comยท10h
๐Ÿ”—Distributed Systems & Big Data Techniques
Flag this post
Alphabet: AI Supercycle Powered By Cloud, CapEx, And TPUs
seekingalpha.comยท12h
๐Ÿค–AI
Flag this post
Looking for super quiet?
fanlesstech.comยท6h
๐ŸŒDistributed Systems
Flag this post
Which Chip Is Best?
blog.confident.securityยท4dยท
Discuss: Hacker News
๐ŸŒDistributed Systems
Flag this post
Vibe-tuning: creating custom models with a prompt
distillabs.aiยท6hยท
Discuss: Hacker News
๐Ÿ”งFeature Engineering
Flag this post
[D] Information geometry, anyone?
reddit.comยท22hยท
๐Ÿ”งFeature Engineering
Flag this post
[D] Why TPUs are not as famous as GPUs
reddit.comยท2dยท
๐ŸงญVector Databases
Flag this post
From Arrays to Insights: Statistics with NumPy and SciPy
dev.toยท1dยท
Discuss: DEV
๐Ÿ”งFeature Engineering
Flag this post
Wall Street is Bought in On Cryptoโ€™s Upside Potential, But Not Its Tech
coindesk.comยท1d
๐ŸŒDistributed Systems
Flag this post
My Ongoing Cloud Migration Journey ๐Ÿš€
dev.toยท6hยท
Discuss: DEV
๐ŸŒDistributed Systems
Flag this post
Best Free Tools for Remote Developers Working Across Time Zones (2025)
dev.toยท8hยท
Discuss: DEV
๐ŸŒDistributed Systems
Flag this post
Intro to Clean Architecture in Android. Example with independent features.
dev.toยท22hยท
Discuss: DEV
๐ŸŒDistributed Systems
Flag this post
AI in DevOps and DevSecOps: Building Intelligent, Secure, and Reliable Software Systems
dev.toยท10hยท
Discuss: DEV
๐ŸŒDistributed Systems
Flag this post
Understanding Modern API Architectures
dev.toยท4dยท
Discuss: DEV
๐Ÿ—๏ธData Engineering
Flag this post
A^2FM: An Adaptive Agent Foundation Model for Tool-Aware Hybrid Reasoning
paperium.netยท1dยท
Discuss: DEV
๐ŸŽฎReinforcement Learning
Flag this post