Modern perspectives in proof theory (2023)
pmc.ncbi.nlm.nih.gov·8h·
Discuss: Hacker News
☁AWS
Flag this post
Interpretability vs Explainability in Cheminformatics
jonswain.github.io·1d
🐘PostgreSQL
Flag this post
After testing this NAS device, Ugreen might have cornered the market for personal cloud services with the NASync DH2300
techradar.com·1d
🐳Docker
Flag this post
Optimizing Datalog for the GPU
dl.acm.org·4d·
Discuss: Lobsters
🐘PostgreSQL
Flag this post
Dell PowerFlex/Regatta database combo overcomes trad database limitations
blocksandfiles.com·3d
🐘PostgreSQL
Flag this post
I Built a Whole App Just to Keep My Characters Straight
spin.atomicobject.com·15h
☁AWS
Flag this post
Weekly #45-2025: PHP Tricks, LLM Collaboration, SQL Speedups, and the Future of Web Payments
dev.to·20h·
Discuss: DEV
☁AWS
Flag this post
monoscope-tech/monoscope
github.com·2h
☁AWS
Flag this post
MySQL HeatWave: Creating High Availability DB Systems and Understanding Limitations
dev.to·2d·
Discuss: DEV
🐘PostgreSQL
Flag this post
Infrastructure considerations for LLMs - and a career question for someone looking to come back after a break?
reddit.com·1h·
Discuss: r/devops
☁AWS
Flag this post
How I used up 1000$ of Claude Code Web credits in one evening.
reddit.com·2d·
Discuss: r/ClaudeAI
🐘PostgreSQL
Flag this post
Lean4 Macros for Implementing Custom Quantifiers
jamesoswald.dev·9h·
Discuss: Hacker News
🐹Golang
Flag this post
🚀 Introducing Laravel ObjectId — The Fastest MongoDB-Style Identifier for Laravel Models
dev.to·19h·
Discuss: DEV
🐘PostgreSQL
Flag this post
Building a highly-available web service without a database
screenshotbot.io·4d·
Discuss: r/programming
☁AWS
Flag this post
I’ve increased AI traffic by up to 2300% for clients. Here are 10 factors that get your content cited in AI search:
threadreaderapp.com·2h
🐘PostgreSQL
Flag this post
From Postgres to Iceberg
dev.to·4d·
Discuss: DEV
🐘PostgreSQL
Flag this post
When does Claude sabotage code? An Agentic Misalignment follow-up
lesswrong.com·5h
☁AWS
Flag this post
gdrcopy: Fast CPU-GPU memory copy library based on Nvidia GPUDirect RDMA
github.com·12h·
Discuss: Hacker News
☁AWS
Flag this post
How do you organize your notes without overthinking it?
reddit.com·10h·
Discuss: r/ObsidianMD
🐘PostgreSQL
Flag this post
Boosting LLM Performance with Tiered KV Cache on Google Kubernetes Engine
cloud.google.com·2d
🐘PostgreSQL
Flag this post