sumi.news
Search
Following
Sign in
← Back to news
Programming
RSS Feed
sumi.news
Programming
Follow
Latest
Thu Apr 23
Using algebra and LLMs to verify a flight-plan bug fix in Lean
5d
L
Rust Tooling Made My JavaScript Site 53x Faster
5d
H
Energy Spikes, AI, and the New Bitcoin Mining Economy
5d
H
How AI is Transforming Dynamic Work Management for Businesses in 2026
5d
H
Retail Trading Tools versus Market Realities: Interview with QuantMap Founder Ivan Patriki
5d
H
The End of Cheap AI Is Here
5d
H
The Problem With Hiding the Human Behind AI Output
5d
H
Vercel’s Zero Wants Compilers to Talk to AI Agents
5d
H
AI Agent Logs Can Become a Security Risk
5d
H
Innovate 2026 Comes to Louisville with World-Class Attendees
5d
H
Spork: A posix_spawn you can use as a fork
5d
L
Tomoland Raises USD 2 Million to Bring AI-Powered UGC Platform to Web3
5d
H
433 Blog Posts To Learn About Business Growth
5d
H
Your AI Agents Are Running Loose — And Nobody's Watching
5d
H
How to Master Prefers-Reduced-Motion for a Human-Centric Web
5d
H
SIMD-accelerated integer-to-string conversion
5d
L
Can AI Develop False Memories?
5d
H
My First Hackathon in an AI Era: Easy to Build, Hard to Stand Out
5d
H
I Missed Django's Query Ergonomics in SQLAlchemy, So I Built a Small Layer for It
5d
H
Introducing Casuarina Linux: A glibc-Based Chimera Linux Derivative
5d
L
Comprehensive Response to Bambu's AGPLv3 Violations
5d
L
CISA Admin Leaked AWS GovCloud Keys on Github
5d
L
Programming as Theory Building (1985)
5d
L
OpenToonz Does What Adobe Animate Can't: Power a Studio Ghibli Film
5d
H
The just-say-no engineer was a ZIRP phenomenon
6d
L
The Fil-C Optimized Calling Convention
6d
L
Secrets and Tokens Are Not Configuration. They Are a System
6d
H
New Stablecoin Rules Are Forcing DeFi to Confront Its Governance Model
6d
H
cargo-crap: Finding Untested Complexity in AI-Generated Rust Code
6d
L
157 Blog Posts To Learn About Branding
6d
H
Bournegol (2014)
6d
L
Running ‘Doom’ on E. coli cells… very, very slowly
6d
L
Haiku OS runs on M1 Macs now
6d
L
The Quiet Renovation at Bitwarden
6d
L
Misconceptions about the UNIX Philosophy (2024)
6d
L
AFX Launches Sovereign Layer 1, Providing an Optimized Execution Environment for On-chain Perp DEXes
6d
H
How does Flathub even work? The CDN and caching layer
6d
L
Building Secure Identity and Access Management Systems with OAuth, SSO & RBAC in Modern Enterprises
6d
H
You're Using AI to Learn Faster. That's Exactly Why You're Not Learning
6d
H
Git blame for code comprehension
6d
L
Funds Coin Expands AI Trading Infrastructure Across Gold, Forex, and Stock Markets With Multi-Agent
6d
H
What a $26K AI Bill Really Reveals
6d
H
How to select a mobile OS
6d
L
The implementation of select in Go
6d
L
The HackerNoon Newsletter: AI Coding Tip 020 - Create a Second Brain (5/18/2026)
6d
H
The Perception Stack: A PR Practitioner's Framework for AI Visibility That Actually Moves Revenue
6d
H
AI Agent Security - MIT 6.566 guest lecture
6d
L
Cross-Document View Transitions: The Gotchas Nobody Mentions
6d
L
Recommendation Systems Became Political the Moment They Began Controlling Visibility
6d
H
Meet Yubico: HackerNoon Company of the Week
6d
H
More →