Modern perspectives in proof theory (2023)
pmc.ncbi.nlm.nih.govยท12hยท
Discuss: Hacker News
โˆ˜Category Theory
Flag this post
Chromosome 24 (with luck, a YC W26 company)
supernaturalselection.substack.comยท11hยท
Discuss: Substack
๐ŸŒฟDigital Gardens
Flag this post
Everyone's Getting Trapped by Hosting Renewals. Here's What I Did About It
veerhost.comยท2dยท
Discuss: Hacker News
๐Ÿ Self-hosting
Flag this post
Day 26: The Dead Letter Queue Pattern
javatsc.substack.comยท3dยท
๐Ÿ”ญTracing
Flag this post
American Wind Farms
tech.marksblogg.comยท4dยท
Discuss: Hacker News
๐Ÿ”ฅDataFusion
Flag this post
Found out DORA metrics don't tell you WHY you're slow, just that you are.
blog.pragmaticdx.comยท49mยท
Discuss: r/programming
โšกPerformance Engineering
Flag this post
Arturia’s KeyStep mk2 MIDI controller is a shortcut to flow state
theverge.comยท14h
โŒจ๏ธMechanical Keyboards
Flag this post
How a Crypto Recovery Expert Can Help You Recover Lost Funds: Visit Techy Force Cyber Retrieval
dev.toยท2dยท
Discuss: DEV
๐Ÿ”Digital Forensics
Flag this post
Multimeter
github.comยท3hยท
Discuss: DEV
๐ŸŽฏWASM Runtime
Flag this post
ERD Models
dev.toยท4dยท
Discuss: DEV
๐Ÿ—๏ธData Modeling
Flag this post
Prioritize Economy or Climate Action? Investigating ChatGPT Response Differences Based on Inferred Political Orientation
arxiv.orgยท3h
๐Ÿ“NLP
Flag this post
Understanding AI: From LLMs to MCP
dev.toยท14hยท
Discuss: DEV
๐Ÿ’ฌPrompt Engineering
Flag this post
Create Synthetic Data - A Comprehensive Guideline
dev.toยท1dยท
Discuss: DEV
๐Ÿ“ŠData Science
Flag this post
Job Search - A Look Into Twitch Interactive Inc.
dev.toยท4hยท
Discuss: DEV
โš›๏ธReact
Flag this post
The Complete 2026 Tech Stack: From Mobile Devices to Smart Home Automation
dev.toยท2dยท
Discuss: DEV
๐Ÿš€Performance
Flag this post
Building Advanced Search with PostgreSQL: pg_search on AWS
dev.toยท1dยท
Discuss: DEV
๐Ÿ˜PostgreSQL
Flag this post
exclusions in memory_user_edits are non-binding
reddit.comยท13hยท
Discuss: r/ClaudeAI
๐Ÿ”„Effect Handlers
Flag this post
Clinical-ComBAT: a diffusion-weighted MRI harmonization method for clinical applications
arxiv.orgยท3h
๐Ÿ“Computational Geometry
Flag this post
โš™๏ธ Ansible Roles Unleashed: From Ad-Hoc Automation to Production-Grade Cloud Deployments [Week-8] ๐Ÿš€
dev.toยท2dยท
Discuss: DEV
๐Ÿ”งDevOps
Flag this post