Modern perspectives in proof theory (2023)
pmc.ncbi.nlm.nih.gov·20h·
Discuss: Hacker News
🌳Data Structures
Flag this post
Raycore: GPU accelerated and modular ray intersections
makie.org·2h·
Discuss: Hacker News
🚀Performance
Flag this post
OpenPERouter -- Bringing EVPN to Kubernetes
oilbeater.com·12h
🐳Docker
Flag this post
Launch HN: Hypercubic (YC F25) – AI for COBOL and Mainframes
hypercubic.ai·22m·
Discuss: Hacker News
🚀Performance
Flag this post
OutcomeOps: The Operating Model for Engineers Who Own the Outcome
outcomeops.ai·2h·
Discuss: DEV
🏗️Systems Design
Flag this post
BlazingMQ: Introduction
andy-pearce.com·3d·
Discuss: Hacker News
🔌APIs
Flag this post
Breaking barriers in crosslinking mass spectrometry with enhanced throughput and sensitivity using Orbitrap Astral
nature.com·3h
🚀Performance
Flag this post
How do you organize your notes without overthinking it?
reddit.com·22h·
Discuss: r/ObsidianMD
🗄️Databases
Flag this post
Building a highly-available web service without a database
screenshotbot.io·5d·
Discuss: r/programming
🗄️Databases
Flag this post
DockerShield - Free security scanner that caught my publicly exposed PostgreSQL (despite firewall)
reddit.com·3h·
Discuss: r/selfhosted
🗄️Databases
Flag this post
Inhibition of astrocyte BMP signaling alleviates neuroinflammation in experimental models of Parkinson’s disease
nature.com·16h
🚀Performance
Flag this post
How Buildertrend Drives Innovation with Memorystore for Valkey
cloud.google.com·4d
🗄️Databases
Flag this post
My NAS now sends me real-time alerts through Discord
xda-developers.com·22h
☁AWS
Flag this post
We Stopped Reaching for PySpark by Habit. Polars Made Our Small Jobs Boringly Fast.
dev.to·3d·
Discuss: DEV
🗄️Databases
Flag this post
Ditch the Database Drama: Why Serverless Databases Are a Game Changer
dev.to·5d·
Discuss: DEV
🗄️Databases
Flag this post
From JPMorgan's Trading Desk to Your Terminal: Building a Natural Gas Storage Valuation Engine
dev.to·18h·
Discuss: DEV
🚀Performance
Flag this post
Building an AWS Daily Helper Assistant with Strands Agents and Bedrock AgentCore
dev.to·2d·
Discuss: DEV
☁AWS
Flag this post
🚀 The Solo Developer's Choice: Why I Migrated My Backend from Go to Elixir/Phoenix
dev.to·1d·
Discuss: DEV
🔌APIs
Flag this post
A Guide to Designing and Scaling Multi-Agent Systems Using Open-Standard Protocols
pub.towardsai.net·2d
🏗️Systems Design
Flag this post
[D] ML Pipelines completely in Notebooks within Databricks, thoughts?
reddit.com·4h·
Discuss: r/MachineLearning
🚀Performance
Flag this post