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

Programming RSS Feed

  • sumi.news
  • Programming

  • Latest
  • Mon Jan 12

Proof-oriented Programming in F*

2h
LobstersL

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

5h
LobstersL

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

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

New And Upcoming IRCv3 Features

8h
LobstersL

Do not apologize for replying late to my email

8h
LobstersL

Reports of Telnet’s Death Have Been Greatly Exaggerated

8h
LobstersL

Linux man pages 6.17 released

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

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

9h
LobstersL

Can AI Truly Discover New Science?

10h
HackerNoonH

The Mean-field Libor Market Model

10h
HackerNoonH

Programming Aphorisms

11h
LobstersL

Using Databases Without Putting Domain Logic in Them (2023)

11h
LobstersL

It's all a blur

11h
LobstersL

Majutsu, Magit for jujutsu

11h
LobstersL

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

12h
HackerNoonH

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

13h
HackerNoonH

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

14h
HackerNoonH

The Problem With LLMs

14h
LobstersL

Functional programming in m4 (2020)

14h
LobstersL

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

14h
HackerNoonH

[$] Evolving Git for the next decade

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

postmarketOS FOSDEM 2026 and hackathon recap

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

Robotics Motion Learning: Training Linked Robot Arms with Kuramoto Models

14h
HackerNoonH

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

15h
HackerNoonH

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

15h
HackerNoonH

Grassmannian Manifold Learning: Optimization and Deep Learning Architectures

15h
HackerNoonH

The Seven Qualification Tests for an AI Scientist

15h
HackerNoonH

Re-Identification Risk vs k-Anonymity

15h
LobstersL

Stable kernels for Wednesday

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

Security updates for Wednesday

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

Researchers Outline a Roadmap for AI That Can Make Scientific Discovery

16h
HackerNoonH

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

17h
HackerNoonH

Webmentions with batteries included

17h
LobstersL

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

18h
LobstersL

Windows Notepad App Remote Code Execution Vulnerability

18h
LobstersL

How I Fixed Manufacturing for AI Robotics with WebSerial

18h
HackerNoonH

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

18h
LobstersL

Forwardly-evaluated build systems

18h
LobstersL

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

18h
LobstersL

A Perilous Break to Jupiter

19h
HackerNoonH

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

19h
HackerNoonH

PAX: The Cache Performance You're Looking For

19h
LobstersL

The AI Vampire

20h
LobstersL

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

20h
HackerNoonH

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

20h
HackerNoonH

How Numerical ALM Models Value Future Discretionary Benefits in Life Insurance

20h
HackerNoonH

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

21h
HackerNoonH

Deferred member initialization in C++

21h
LobstersL

How Profit Participation Shapes Risk and Returns in Traditional Life Insurance

21h
HackerNoonH

In memoriam Marijn Meijles

21h
LobstersL
More →

Entries updated Feb 11, 2026 09:21:39 PM PST

Questions? Suggestions? alex@sumi.news