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

Programming RSS Feed

  • sumi.news
  • Programming

  • Latest
  • Tue Jan 13

Functional Data Structures and Algorithms. A Proof Assistant Approach

46m
LobstersL

I used a local LLM to analyze my journal entries

1h
LobstersL

ANN: I built a new Ada build tool for personal use

1h
LobstersL

Evolving Git for the next decade

2h
LobstersL

What should we do with CLs generated by AI?

2h
LobstersL

Nixtamal 1.0.0 released

3h
LobstersL

Catalog of Refactorings

3h
LobstersL

A Deep Dive into Apple's .car File Format

3h
LobstersL

The future of software engineering - The future of software development retreat

4h
LobstersL

microgpt

4h
LobstersL

The HackerNoon Newsletter: AI Coding Tip 006 - Review Every Line Before You Commit (2/13/2026)

4h
HackerNoonH

HackerNoon Projects of the Week: Agent Observatory, Formonger, and Olio AI

4h
HackerNoonH

New delegation for Debian's data protection team

4h
Welcome to LWN.net [LWN.net]W

The 12-Factor App - 15 Years later. Does it Still Hold Up in 2026?

4h
LobstersL

[$] The first half of the 7.0 merge window

4h
Welcome to LWN.net [LWN.net]W

How to Find an Article Idea in 10 Minutes

4h
HackerNoonH

Thanks for All the Frames: Rust GUI Observations

4h
LobstersL

[$] Open-source mapping for disaster response

4h
Welcome to LWN.net [LWN.net]W

Resizing windows on macOS Tahoe – the saga continues

5h
LobstersL

Deterministic Simulation Testing: BUGGIFY

5h
LobstersL

moss-kernel: Rust Linux-compatible kernel

6h
LobstersL

Security updates for Friday

6h
Welcome to LWN.net [LWN.net]W

My first Vulkan extension

6h
LobstersL

Hare 0.26.0 released

6h
LobstersL

If you use AI-generated code, you currently cannot claim copyright on it in the US

7h
LobstersL

Context Graphs: Building Production World Models for the Age of AI Agents

7h
HackerNoonH

flemish: An elmish architecture for fltk-rs

8h
LobstersL

What are you doing this weekend?

10h
LobstersL

Agentic AI Changes How Decisions Are Made, Not Just How Systems Are Built

11h
HackerNoonH

Why Startups Need a Self‑Service Data Platform Earlier Than They Think

12h
HackerNoonH

Smart Data Grouping: Organizing Networks Without Guesswork

14h
HackerNoonH

LSEnet: A Smarter Way to Organize Data Using Curved Space

14h
HackerNoonH

OpenClaw After the Hype: A Real-World Test of a “Do-Anything” AI Assistant

14h
HackerNoonH

Google might think your Website is down

14h
LobstersL

How to Trim Video and Audio by Timecode Using fal-ai’s Trim Utility

14h
HackerNoonH

The Founder’s Guide to Choosing “Boring” Software That Won’t Betray You Later

15h
HackerNoonH

The 3-Second War: How to Engineer Ads That Stop the Scroll (Free AI Prompt)

15h
HackerNoonH

How a Small OSINT Team Turned the Epstein Files Dump Into Actionable Intelligence

15h
HackerNoonH

Generalized Kuramoto Models & Hyperbolic Graph Clustering in Lorentz Space

15h
HackerNoonH

Real-Time VFX Isn’t a Feature Anymore. It’s the New Baseline for Game Development.

15h
HackerNoonH

BlackRock Brings Tokenized Treasuries to Uniswap: What This Signals for Gold and Other RWAs

15h
HackerNoonH

Delegation Is the Real Prompt Engineering: How to Get Better Results From AI

15h
HackerNoonH

The Clean Way to Access AWS, Azure, and GCP From Kubernetes (No Secrets, No Rotations)

15h
HackerNoonH

Authorization Belongs Inside the Agent Loop (Not at the Edge)

15h
HackerNoonH

The Cheap Way to Ship Enterprise-Grade Agents (Without the Enterprise Bill)

16h
HackerNoonH

How TikTok-Style Feeds Learn What You Want in Minutes

16h
HackerNoonH

Why Brazil's Biggest Institutions Chose XDC, XRP Ledger, and Polygon for Tokenization

16h
HackerNoonH

I Improved 15 LLMs at Coding in One Afternoon. Only the Harness Changed

16h
LobstersL

The Many Flavors of Ignore Files

17h
LobstersL

Riemannian Graph Learning & Structural Entropy: Deep Node Clustering in 2026

17h
HackerNoonH
More →

Entries updated Feb 13, 2026 10:12:41 AM PST

Questions? Suggestions? alex@sumi.news