← Back to news

Programming

How we used Quint to find over 10 bugs in SQLite while hardening Turso

L

How Canada's role in Indonesia's AI ambitions enables digital sovereignty through diversification

H

[$] openSUSE "terms of site" raise complaints about age restrictions

W

It’s all in the name

L

Type out the code

L

[$] In search of faster this_cpu operations

W

Enterprise Mobile Releases Break Down When Compliance Arrives Too Late

H

What would you want from a forge?

L

[$] What's brewing in CXL

W

The Future of Residential AI Companionship

H

Engineering Teams Are Struggling to Verify AI-Generated Code at Scale

H

Under the Hood: Building a Real-Time Chord Recognizer

L

The TechBeat: Vapi Raises $50M Led by Peak XV to Build the Default Infrastructure for Enterprise Voice AI (5/19/2026)

H

156 Blog Posts To Learn About Business Intelligence

H

The Super Tiny Compiler, but in Ada

L

OpenBSD 7.9 released

L

[$] Improving the per-CPU memory allocator

W

Security updates for Tuesday

W

ES Modules vs CommonJS: The Complete Guide to JavaScript Modules

H

Software's Centaur Era

L

A self-balancing skip-list (aka "splay-list") library in C

L

Lime, a parser generator that can merge grammars at runtime

L

In Finance, AI Fluency Is Not the Same Thing as Trust

H

My domain got abused on Github Pages

L

Noxu DB, a Rust port of Berkeley DB Java Edition

L

Everyone Wants an AI Startup. Nobody Talks About Distribution

H

Your Hallucination Rate Is a Vanity Metric

H

pgBackRest will continue

W

Comparing Microsoft Office Interop and IronXL: A Complete C# Guide

H

grep Is More Than a Text Search Tool for Security Engineers

H

The Unreasonable Effectiveness of ProseMirror Model in Rich Text Transformation

L

Reducing Enterprise AI Costs in Complex Agentic Workflows

H

Your Inline Critical CSS Is Probably Lying About Your CLS Score

H

How developers can utilize AI for Web Accessibility

H

Entropy Trap part 2: Real-World Failures and Better Alternatives

H

The Missing Primitive: Why World Needs Tether (And Tether Needs World)

H

"Taste is all you need" is a cope for vibecoders

H

How Smart Contracts are Transforming Remote Hiring for Growing Businesses

H

The Windows DLL loader lock: how a Rust thread can hang your JVM

L

Holistic Configuration Management at Facebook

L

How to Write to SSDs

L

What Banking Apps Teach About Secure and Reliable Mobile Engineering

H

Even More Tagged Union Subsets with Comptime

L

Can You Really Triage a Security Alert with Claude Code?

H

The Debug Diaries: How PlayerZero Solved the "Invalid Slug" That Wasn't Invalid

H

End of the semester

L

Using algebra and LLMs to verify a flight-plan bug fix in Lean

L

Rust Tooling Made My JavaScript Site 53x Faster

H

Energy Spikes, AI, and the New Bitcoin Mining Economy

H

How AI is Transforming Dynamic Work Management for Businesses in 2026

H