✅ Formal Methods - Abhi · Scour

The Fastest Linux Timestamps 🔄Cache Replacement

hmpcabral.com·4d·Lobsters, Hacker News, r/cpp, r/programming

IbrahimHeminJ/Java---console-ANSI-formatter-: A comprehensive Java utility class for applying ANSI escape codes to terminal outputs, providing text formatting, colors, cursor control, and advanced terminal features. 🗜️Compaction Strategies

github.com·7h·r/coding

Security updates for Thursday [LWN.net] 🔌Embedded Systems

Do I even want to be a coder anymore? 🔧Compilers

polso.info·4d·Hacker News, r/coding, r/programming

Orchestrator’s Next Chapter: What It Means for Percona Customers ⚙️Database Internals

percona.com·21h

I found this level in a video game called „Geometry Dash“, and it apparently requires a very high level of coding skill to complete. Does anyone know what might... 📊Algorithms

youtu.be·1d·r/coding

PacificPage P·E PostScript Cartridge for HP LaserJet II/III 🔌Embedded Systems

pagetable.com·5d

Self Knowledge Re-expression: A Fully Local Method for Adapting LLMs to Tasks Using Intrinsic Knowledge 🔍Vector Search Algorithms

BugBash'26 Afternoon of Day 1 🕳️Obscure Tech

muratbuffalo.blogspot.com·3d·Blogger

How Kajabi optimized costs with Amazon Aurora upgrades 🗄️Database Engines

aws.amazon.com·2d

I have officially retired from Emacs 🔄Cache Replacement

nullprogram.com·4d·Lobsters, Hacker News

I Gave Up My 3D Printer 🕳️Obscure Tech

flameeyes.blog·6d

Seven new stable kernels for Thursday 🔧Compilers

·1h

Continued Commitment to Percona XtraDB Cluster 🤝Paxos Consensus

percona.com·5h

Can Code Evaluation Metrics Detect Code Plagiarism? 🔧Compilers

BugBash'26 Keynote 🕳️Obscure Tech

muratbuffalo.blogspot.com·5d·Hacker News, Blogger

Python packaging council approved 🤝Paxos Consensus

·22h

Ensuring PostgreSQL Backup Continuity: A pgBackRest Update 💾Storage Replication

percona.com·1d

dino-zecevic/gitglimpse: A CLI that extracts structured context from your git history — for AI agents, PR descriptions, and standups. 🔧Compilers

github.com·3d·Hacker News, r/coding

Make Any Collection Navigable: Methods for Constructing and Evaluating Hypergraph of Text 📇Vector Indexing

Log in to enable infinite scrolling