Modern perspectives in proof theory (2023)
pmc.ncbi.nlm.nih.gov·1d·
Discuss: Hacker News
🔧Functional Programming
Flag this post
Mastering Python’s Loop Else Block: A Beginner’s Guide to For and While Loops
nomidl.com·4d·
Discuss: DEV
🐍python
Flag this post
We’re In a New Everything-Is-Connected Epoch. But What to Call It?
nytimes.com·13h·
Discuss: Hacker News
🧊Iceberg Tables
Flag this post
BoxLambda OS Software Architecture, First Draft
epsilon537.github.io·5d·
Discuss: Hacker News
📊Columnar Engines
Flag this post
Read more
yugabyte.com·6d·
Discuss: Hacker News, Hacker News
🧭Vector Databases
Flag this post
Show HN: Active Memory Plugin in Claude Code
shubhamattri.com·1d·
Discuss: Hacker News
🛡️Memory Safety
Flag this post
Dynamic Modeling of Precipitation in Electrolyte Systems
arxiv.org·6d
🧮Apache Calcite
Flag this post
The JVM / JDK ecosystem
dev.to·2h·
Discuss: DEV
⚡DataFusion
Flag this post
Pool allocator in C++23 for simulations / game engines - faster than std::pmr
github.com·4d·
Discuss: r/programming
🧠Memory Management
Flag this post
The 20 Most Essential Tools for Back-End Development: Supercharge Your Server-Side Skills
dev.to·23h·
Discuss: DEV
🌊Apache Flink
Flag this post
5 Low-Code Platforms to Boost Your C# Development in 2025
dev.to·3h·
Discuss: DEV
📊Columnar Engines
Flag this post
Create a MCP server from scratch
dev.to·4d·
Discuss: DEV
🦀Rust Scientific
Flag this post
Building TouchSlides: A Real-Time Presentation Remote on Cloudflare's Edge
dev.to·3h·
Discuss: DEV
☁️Cloud Computing
Flag this post
Taurus Database: How to Be Fast, Available, and Frugal in the Cloud
muratbuffalo.blogspot.com·2h·
Discuss: Hacker News
🏛️Lakehouse Architecture
Flag this post
How I Streamed Live Binance L2 Order Book Data on AWS for ~$10/Month
dev.to·3d·
Discuss: DEV
⏱️Real-time Analytics
Flag this post
How Did I Build a .NET Application Using ChatGPT?
dev.to·6d·
Discuss: DEV
📋Tokei
Flag this post
Resilient AI: Making Imperfect Hardware Smarter
dev.to·10h·
Discuss: DEV
🏗️Hardware Architecture
Flag this post
Context-aware Learned Mesh-based Simulation via Trajectory-Level Meta-Learning
arxiv.org·18h
📊Approximate Computing
Flag this post
FP-AbDiff: Improving Score-based Antibody Design by Capturing Nonequilibrium Dynamics through the Underlying Fokker-Planck Equation
arxiv.org·4d
🤖AI
Flag this post
1 billion JSON records, 1-second query response: Apache Doris vs. ClickHouse, Elasticsearch, and PostgreSQL
dev.to·6d·
Discuss: DEV
🧮Apache Calcite
Flag this post