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