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

Programming RSS Feed

  • sumi.news
  • Programming

  • Latest
  • Thu Nov 27

From Intent to Proof: Dafny Verification for Web Apps

1d
LobstersL

Simplifying the build process for vst3-rs

2d
LobstersL

Show: Twine - A tool to dynamically trace calls in production Elixir systems

2d
LobstersL

How uv got so fast

2d
LobstersL

Bitunix Ranked Among the World’s Top 7 Exchanges by Volume in CoinGlass 2025 Report

2d
HackerNoonH

On Metastable Failures and Interactions Between Systems

2d
LobstersL

Calibre adds AI 'discussion' feature

2d
LobstersL

The Infinite Loop of "Fixing the Build": How to Escape CI/CD Purgatory

2d
HackerNoonH

A Quiet Conversation About Our Year in Code

2d
HackerNoonH

profiling.sampling: Statistical profiler

2d
LobstersL

TIL: serde's borrowing can be treacherous

2d
LobstersL

How Anonymous Instagram Stories Viewing Changed My Social Media Strategy

2d
HackerNoonH

The HackerNoon Newsletter: The Most Dangerous Person on Your Team is Dave (And He Just Quit) (12/26/2025)

2d
HackerNoonH

[$] An early look at the Graphite 2D graphics editor

2d
Welcome to LWN.net [LWN.net]W

Play the Monty Hall game

2d
LobstersL

Coding Rust With Claude Code and Codex

2d
HackerNoonH

Security updates for Friday

2d
Welcome to LWN.net [LWN.net]W

Meet the Writer: Two-Time Founder Sam Bhattacharyya on Accidentally Finding Product-Market Fit

2d
HackerNoonH

The Algebra of Loans in Rust

2d
LobstersL

Maestro - Desktop AI Agent Command Center (Free/OSS)

2d
LobstersL

GNU Mes and the module system

2d
LobstersL

I'm a laptop weirdo and that's why I like my new Framework 13

2d
LobstersL

Rob Pike Goes Nuclear over GenAI

2d
LobstersL

Beautiful reprs

2d
LobstersL

What are you doing this weekend?

2d
LobstersL

Only 1% of Phase 6 Remains as This $0.035 DeFi Crypto Enters Its Final Accumulation Window

2d
HackerNoonH

Sendspin: Music Experience Protocol

2d
LobstersL

Why 100 Percent Test Coverage is Not Possible — Lessons from Testing Banking and Healthcare Systems

2d
HackerNoonH

What I Learned Building a Food Delivery Analytics Tool with AI

2d
HackerNoonH

Tether Is No Longer Just a Stablecoin Company

2d
HackerNoonH

Small Language Models Beat GPT-4 for Our Use Case: 94% Cost Reduction

2d
HackerNoonH

The Architectural Mistake That Turns GTM Platforms Into Unreconcilable Ledgers

2d
HackerNoonH

Measuring True Campaign Uplift in Noisy E-Commerce Data: A Practical Heuristic Approach

2d
HackerNoonH

Adapting to AI: Insights from a Project Manager in Game Development

2d
HackerNoonH

The Moment Your LLM Stops Being an API—and Starts Being Infrastructure

2d
HackerNoonH

Java’s Growing Graveyard: The Old APIs Being Buried—and What Replaced Them

2d
HackerNoonH

How to Start Robotics Without Hardware: Building a Parking Sensor with AI and Wokwi

2d
HackerNoonH

The TechBeat: Can ChatGPT Outperform the Market? Week 18 (12/26/2025)

2d
HackerNoonH

The Workplace as an Ethical Laboratory. Social and Emotional Experience as the Ground of Ethics

2d
HackerNoonH

A Practical Guide to the Saga Pattern in Spring Boot Microservices

2d
HackerNoonH

The Art of Syncing Marketing, PR & Sales to Boost Your KPIs

2d
HackerNoonH

Building the "Spotify Wrapped" of Product Hunt: A 48-Hour Technical Sprint to Map the Maker Economy

2d
HackerNoonH

Groq’s Deterministic Architecture is Rewriting the Physics of AI Inference

2d
HackerNoonH

The Most Dangerous Person on Your Team is "Dave" (And He Just Quit)

2d
HackerNoonH

Writing an NES emulator in Haskell

2d
LobstersL

Toward a policy for machine-learning tools in kernel development

2d
LobstersL

Ancient Greek geometry

2d
LobstersL

Microarchitecture: What Happens Beneath

2d
LobstersL

GPT-5.1 Recasts the AI Race Around Predictability

2d
HackerNoonH

Automating What Backblaze Lifecycle Rules Don't Do Instantly

2d
LobstersL
More →

Entries updated Dec 28, 2025 10:25:54 AM PST

Questions? Suggestions? alex@sumi.news