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

Programming RSS Feed

  • sumi.news
  • Programming

  • Latest
  • Mon Jan 12

Lessons from CalyxOS signing process redesign

24m
LobstersL

Proof-oriented Programming in F*

4h
LobstersL

Technical Issues of Separation in Function Cells and Value Cells (1988)

7h
LobstersL

[$] LWN.net Weekly Edition for February 12, 2026

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

New And Upcoming IRCv3 Features

9h
LobstersL

Do not apologize for replying late to my email

10h
LobstersL

Reports of Telnet’s Death Have Been Greatly Exaggerated

10h
LobstersL

Linux man pages 6.17 released

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

How I turned my Anki side project into a Kickstarter: A Walkthrough

11h
LobstersL

Can AI Truly Discover New Science?

12h
HackerNoonH

The Mean-field Libor Market Model

12h
HackerNoonH

Programming Aphorisms

13h
LobstersL

Using Databases Without Putting Domain Logic in Them (2023)

13h
LobstersL

It's all a blur

13h
LobstersL

Majutsu, Magit for jujutsu

13h
LobstersL

BingX Rolls Out Copy Trading Plaza & Enhanced Lead Trader Homepage in Major Upgrade To Copy Trading

14h
HackerNoonH

Poll Shows Technologists Are Reluctant to Add ChatGPT to Growing Subscription Burden

15h
HackerNoonH

How to Monetize Your Blog (and Why You Don’t Need Millions of Views to Start)

15h
HackerNoonH

The Problem With LLMs

16h
LobstersL

Functional programming in m4 (2020)

16h
LobstersL

The HackerNoon Newsletter: Prediction Markets Are Swallowing the Real World (2/11/2026)

16h
HackerNoonH

[$] Evolving Git for the next decade

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

postmarketOS FOSDEM 2026 and hackathon recap

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

Robotics Motion Learning: Training Linked Robot Arms with Kuramoto Models

16h
HackerNoonH

Wahba’s Problem and SO(3) Optimization: Rotation Learning in Geometric ML

16h
HackerNoonH

Beyond Kuramoto Models: Associative Memory and Plastic Synapses in ML Ensembles

17h
HackerNoonH

Grassmannian Manifold Learning: Optimization and Deep Learning Architectures

17h
HackerNoonH

The Seven Qualification Tests for an AI Scientist

17h
HackerNoonH

Re-Identification Risk vs k-Anonymity

17h
LobstersL

Stable kernels for Wednesday

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

Security updates for Wednesday

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

Researchers Outline a Roadmap for AI That Can Make Scientific Discovery

18h
HackerNoonH

Researchers Propose a Turing Test to Measure Whether AI Can Make Scientific Discoveries

19h
HackerNoonH

Webmentions with batteries included

19h
LobstersL

Modular Monolith and Microservices: Modularity is what truly matters (2023)

19h
LobstersL

Windows Notepad App Remote Code Execution Vulnerability

20h
LobstersL

How I Fixed Manufacturing for AI Robotics with WebSerial

20h
HackerNoonH

CVE-2026-1529 - keycloak: unauthorized organization registration via improper invitation token validation

20h
LobstersL

Forwardly-evaluated build systems

20h
LobstersL

Experimental Zones Protocol Merged To Wayland After 2+ Years, 620+ Comments - Phoronix

20h
LobstersL

A Perilous Break to Jupiter

20h
HackerNoonH

EC-Council Expands AI Certification Portfolio to Strengthen U.S. AI Workforce Readiness and Security

21h
HackerNoonH

PAX: The Cache Performance You're Looking For

21h
LobstersL

The AI Vampire

21h
LobstersL

MEXC Reports 2.35 Million Users Across AI Trading Suite in First Six Months

22h
HackerNoonH

MEXC Surges to Third Place Among Global Crypto Exchanges, Doubles Trading Volume in 2025

22h
HackerNoonH

How Numerical ALM Models Value Future Discretionary Benefits in Life Insurance

22h
HackerNoonH

Nobody Gets There Alone: We Need A Community Roadmap for Agentic Engineering

22h
HackerNoonH

Deferred member initialization in C++

23h
LobstersL

How Profit Participation Shapes Risk and Returns in Traditional Life Insurance

23h
HackerNoonH
More →

Entries updated Feb 12, 2026 12:14:10 AM PST

Questions? Suggestions? alex@sumi.news