sumi.news
  • Search
  • Following
  • Sign in
← Back to news

Programming RSS Feed

  • sumi.news
  • Programming

  • Latest
  • Thu Apr 23

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

5d
LobstersL

Rust Tooling Made My JavaScript Site 53x Faster

5d
HackerNoonH

Energy Spikes, AI, and the New Bitcoin Mining Economy

5d
HackerNoonH

How AI is Transforming Dynamic Work Management for Businesses in 2026

5d
HackerNoonH

Retail Trading Tools versus Market Realities: Interview with QuantMap Founder Ivan Patriki

5d
HackerNoonH

The End of Cheap AI Is Here

5d
HackerNoonH

The Problem With Hiding the Human Behind AI Output

5d
HackerNoonH

Vercel’s Zero Wants Compilers to Talk to AI Agents

5d
HackerNoonH

AI Agent Logs Can Become a Security Risk

5d
HackerNoonH

Innovate 2026 Comes to Louisville with World-Class Attendees

5d
HackerNoonH

Spork: A posix_spawn you can use as a fork

5d
LobstersL

Tomoland Raises USD 2 Million to Bring AI-Powered UGC Platform to Web3

5d
HackerNoonH

433 Blog Posts To Learn About Business Growth

5d
HackerNoonH

Your AI Agents Are Running Loose — And Nobody's Watching

5d
HackerNoonH

How to Master Prefers-Reduced-Motion for a Human-Centric Web

5d
HackerNoonH

SIMD-accelerated integer-to-string conversion

5d
LobstersL

Can AI Develop False Memories?

5d
HackerNoonH

My First Hackathon in an AI Era: Easy to Build, Hard to Stand Out

5d
HackerNoonH

I Missed Django's Query Ergonomics in SQLAlchemy, So I Built a Small Layer for It

5d
HackerNoonH

Introducing Casuarina Linux: A glibc-Based Chimera Linux Derivative

5d
LobstersL

Comprehensive Response to Bambu's AGPLv3 Violations

5d
LobstersL

CISA Admin Leaked AWS GovCloud Keys on Github

5d
LobstersL

Programming as Theory Building (1985)

5d
LobstersL

OpenToonz Does What Adobe Animate Can't: Power a Studio Ghibli Film

5d
HackerNoonH

The just-say-no engineer was a ZIRP phenomenon

6d
LobstersL

The Fil-C Optimized Calling Convention

6d
LobstersL

Secrets and Tokens Are Not Configuration. They Are a System

6d
HackerNoonH

New Stablecoin Rules Are Forcing DeFi to Confront Its Governance Model

6d
HackerNoonH

cargo-crap: Finding Untested Complexity in AI-Generated Rust Code

6d
LobstersL

157 Blog Posts To Learn About Branding

6d
HackerNoonH

Bournegol (2014)

6d
LobstersL

Running ‘Doom’ on E. coli cells… very, very slowly

6d
LobstersL

Haiku OS runs on M1 Macs now

6d
LobstersL

The Quiet Renovation at Bitwarden

6d
LobstersL

Misconceptions about the UNIX Philosophy (2024)

6d
LobstersL

AFX Launches Sovereign Layer 1, Providing an Optimized Execution Environment for On-chain Perp DEXes

6d
HackerNoonH

How does Flathub even work? The CDN and caching layer

6d
LobstersL

Building Secure Identity and Access Management Systems with OAuth, SSO & RBAC in Modern Enterprises

6d
HackerNoonH

You're Using AI to Learn Faster. That's Exactly Why You're Not Learning

6d
HackerNoonH

Git blame for code comprehension

6d
LobstersL

Funds Coin Expands AI Trading Infrastructure Across Gold, Forex, and Stock Markets With Multi-Agent

6d
HackerNoonH

What a $26K AI Bill Really Reveals

6d
HackerNoonH

How to select a mobile OS

6d
LobstersL

The implementation of select in Go

6d
LobstersL

The HackerNoon Newsletter: AI Coding Tip 020 - Create a Second Brain (5/18/2026)

6d
HackerNoonH

The Perception Stack: A PR Practitioner's Framework for AI Visibility That Actually Moves Revenue

6d
HackerNoonH

AI Agent Security - MIT 6.566 guest lecture

6d
LobstersL

Cross-Document View Transitions: The Gotchas Nobody Mentions

6d
LobstersL

Recommendation Systems Became Political the Moment They Began Controlling Visibility

6d
HackerNoonH

Meet Yubico: HackerNoon Company of the Week

6d
HackerNoonH
More →

Entries updated May 24, 2026 02:05:00 PM PDT

Questions? Suggestions? alex@sumi.news