sumi.news
Search
Following
Sign in
← Back to news
Programming
RSS Feed
sumi.news
Programming
Follow
Latest
Fri Nov 21
Lua 5.5 Released
15m
L
What's "new" in Miri (and also, there's a Miri paper!)
55m
L
From Zero to QED: An informal introduction to formality in Lean 4
1h
L
An uncomfortable but necessary discussion about the Debian bug tracker
1h
L
Towards a secure peer-to-peer app platform for Clan
1h
L
Incus 6.20 released
1h
W
Email Simplicity vs Decentralized Chat
3h
L
Seven Coding Games to Help You Build Your Programming Chops
3h
L
GDB 17.1 released
3h
W
Qubes OS 4.3.0 released
3h
W
The HackerNoon Newsletter: Can ChatGPT Outperform the Market? Week 20 (12/22/2025)
4h
H
Nature Programming Language
4h
L
Jackson: Debian’s git transition
4h
W
Proposed Rust kernel extensions in place of eBPF
4h
L
[$] Tools for successful documentation projects
5h
W
Meet Confluent: HackerNoon Company of the Week
5h
H
Can ChatGPT Outperform the Market? Week 20
5h
H
Privacy-Preserving Vaccination Checks: A Proof of Concept MPC Deployment with the Frankfurt Health Department
5h
L
Loong64 is now an official Debian architecture
5h
W
Security updates for Monday
6h
W
Simplistic Comptime Column Safety in SQLite Queries
6h
L
Understanding your Linux graphics driver stack
6h
L
Optimal Liquidity Provision in Concentrated AMM Pools Under Stochastic Fees
7h
H
A Developer’s Guide to Fixing Computer Vision Annotations
7h
H
Best Amazon Scraper APIs for 2025: Top Picks Compared
7h
H
The Wealth of Liquidity Providers in Cl Pools
8h
H
Ivo Grigorov on Building a $500M Layer 1 Blockchain for Traditional Banks
8h
H
Flocking Quadtrees in Clojure
8h
L
Bhutan Pledges 10,000 Bitcoin to Build Gelephu Mindfulness City in Historic Sovereign Reserve Deplo
8h
H
Only 1% of Phase 6 Is Left: This New Cryptocurrency Is Running Out at $0.035
8h
H
I’m a former CTO. Here is the 15 sec coding test I used to instantly filter out 50% of unqualified applicants
8h
L
Build your own RSS daily digest using GitHub Actions/Pages in 5 minutes
9h
L
The Most Dangerous "AI" in Business Intelligence is the One That Sounds Right
9h
H
The Infinite Library Problem: What Cognitive Overload Actually Does to the Brain
9h
H
Brazil’s Largest Private Bank Advises Clients to Invest 3% in Bitcoin
9h
H
Apache Beam on GCP: How Distributed Data Pipelines Actually Work (for REST API Engineers)
9h
H
Why ISO Standards Are the Foundation of Responsible AI Governance
10h
H
Grok Just Got a Voice (And It’s Cheaper Than Your OpenAI Bill)
10h
H
Is "Agentic Programming" the Next Big Shift?
10h
H
What I Learned From Crossing Marc Andreessen's Radar
10h
H
Inside SeaTunnel CDC’s Debezium Integration: Embedded Engine, Offsets, and Checkpoints
10h
H
SeaTunnel CDC Under the Hood: Snapshots, Backfills, and Why Your Checkpoints Time Out
10h
H
Predicting Jet Engine Failure with Python and AutoML
11h
H
What are you doing this week?
11h
L
Installing Void Linux on ZFS with Hibernation Support
11h
L
Why “It Works on My Machine” Keeps Breaking Production
11h
H
When SIMD Fails: Floating Point Associativity
11h
L
QBasic64 Phoenix 4.3.0 released
12h
L
The TechBeat: Why More VARs and SIs Are Embedding Melissa Into Their Enterprise Solutions (12/22/2025)
12h
H
typed-arrow: First-class compile‑time Arrow schemas for Rust
14h
L
More →