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

Programming RSS Feed

  • sumi.news
  • Programming

  • Latest
  • Tue Dec 30
  • Mon Dec 29

Turning Dafny Sets into Sequences

1mo
LobstersL

Stenberg: No strcpy either

1mo
Welcome to LWN.net [LWN.net]W

Desktop Classic System — Spacial computing hearkening back to classic Mac OS

1mo
LobstersL

Xous: A Pure-Rust Rethink of the Embedded Operating System

1mo
LobstersL

Some flexibility with Go's sumdb

1mo
LobstersL

A vulnerability in libsodium

1mo
LobstersL

Conditions in the Intel 8087 floating-point chip's microcode

1mo
LobstersL

Escaping Containment: A Security Analysis of FreeBSD Jails

1mo
LobstersL

you’re not burned out, you’ve got context obesity

1mo
HackerNoonH

When I Fed Poems to an LLM, I Realized I Was Measuring Temperature with a Screwdriver

1mo
HackerNoonH

Django On The Med: A Contributor Sprint Retrospective

1mo
LobstersL

HackerNoon to AI: We're Here for Answers, Not a Relationship

1mo
HackerNoonH

How Visionary Architect Prasad Bhalkikar Transformed Fortune 500 Enterprises

1mo
HackerNoonH

The HackerNoon Newsletter: What the Heck is GizmoSQL? (12/30/2025)

1mo
HackerNoonH

Memory Safety Is …

1mo
LobstersL

Building a React App with Formally Verified State

1mo
LobstersL

The New “Front Door” of Care: What Support Agents Know About Members That Clinics Don’t

1mo
HackerNoonH

Inlining

1mo
LobstersL

FediMeteo: How a Tiny €4 FreeBSD VPS Became a Global Weather Service for Thousands

1mo
LobstersL

Formally speaking, "Transpiler" is a useless word

1mo
LobstersL

How Supercell Powers its Massive Social Network with ScyllaDB

1mo
HackerNoonH

What Does grantpt() Do?

1mo
LobstersL

Security updates for Tuesday

1mo
Welcome to LWN.net [LWN.net]W

Restarting systemd services on sustained CPU abuse

1mo
LobstersL

From Failure Data to Futureproof Design: The Engineer Turning Battery Risks into Predictive Safety

1mo
HackerNoonH

Better Code: Concurrency (2017)

1mo
LobstersL

Hacking washing machines

1mo
LobstersL

Make-shift shebangs for Go

1mo
LobstersL

Finding a broken trace on my old Mac with the help of its ROM diagnostics

1mo
LobstersL

Charm Ruby - Glamorous Terminal Libraries for Ruby

1mo
LobstersL

The TechBeat: The Hidden Cost of AI: Why It’s Making Workers Smarter, but Organisations Dumber (12/30/2025)

1mo
HackerNoonH

Glamorous Christmas: Bringing Charm to Ruby

1mo
LobstersL

NES Game Genie Technical Notes (2001)

1mo
LobstersL

From Code to Capital: The Tech Architecture Driving the Stablecoin and Tokenization Revolution

1mo
HackerNoonH

Slop Isn’t the Problem. It’s the Symptom.

1mo
HackerNoonH

The $50,000 PDF No One Reads: Why Your Security Audits Are Failing

1mo
HackerNoonH

What the Heck is GizmoSQL?

1mo
HackerNoonH

The Death of the Click: Winning the Era of AEO

1mo
HackerNoonH

Entries updated Feb 17, 2026 11:50:35 PM PST

Questions? Suggestions? alex@sumi.news