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