sumi.news
Search
Following
Sign in
← Back to news
Programming
RSS Feed
sumi.news
Programming
Follow
Latest
Mon Jan 12
Lessons from CalyxOS signing process redesign
24m
L
Proof-oriented Programming in F*
4h
L
Technical Issues of Separation in Function Cells and Value Cells (1988)
7h
L
[$] LWN.net Weekly Edition for February 12, 2026
8h
W
New And Upcoming IRCv3 Features
9h
L
Do not apologize for replying late to my email
10h
L
Reports of Telnet’s Death Have Been Greatly Exaggerated
10h
L
Linux man pages 6.17 released
11h
W
How I turned my Anki side project into a Kickstarter: A Walkthrough
11h
L
Can AI Truly Discover New Science?
12h
H
The Mean-field Libor Market Model
12h
H
Programming Aphorisms
13h
L
Using Databases Without Putting Domain Logic in Them (2023)
13h
L
It's all a blur
13h
L
Majutsu, Magit for jujutsu
13h
L
BingX Rolls Out Copy Trading Plaza & Enhanced Lead Trader Homepage in Major Upgrade To Copy Trading
14h
H
Poll Shows Technologists Are Reluctant to Add ChatGPT to Growing Subscription Burden
15h
H
How to Monetize Your Blog (and Why You Don’t Need Millions of Views to Start)
15h
H
The Problem With LLMs
16h
L
Functional programming in m4 (2020)
16h
L
The HackerNoon Newsletter: Prediction Markets Are Swallowing the Real World (2/11/2026)
16h
H
[$] Evolving Git for the next decade
16h
W
postmarketOS FOSDEM 2026 and hackathon recap
16h
W
Robotics Motion Learning: Training Linked Robot Arms with Kuramoto Models
16h
H
Wahba’s Problem and SO(3) Optimization: Rotation Learning in Geometric ML
16h
H
Beyond Kuramoto Models: Associative Memory and Plastic Synapses in ML Ensembles
17h
H
Grassmannian Manifold Learning: Optimization and Deep Learning Architectures
17h
H
The Seven Qualification Tests for an AI Scientist
17h
H
Re-Identification Risk vs k-Anonymity
17h
L
Stable kernels for Wednesday
17h
W
Security updates for Wednesday
18h
W
Researchers Outline a Roadmap for AI That Can Make Scientific Discovery
18h
H
Researchers Propose a Turing Test to Measure Whether AI Can Make Scientific Discoveries
19h
H
Webmentions with batteries included
19h
L
Modular Monolith and Microservices: Modularity is what truly matters (2023)
19h
L
Windows Notepad App Remote Code Execution Vulnerability
20h
L
How I Fixed Manufacturing for AI Robotics with WebSerial
20h
H
CVE-2026-1529 - keycloak: unauthorized organization registration via improper invitation token validation
20h
L
Forwardly-evaluated build systems
20h
L
Experimental Zones Protocol Merged To Wayland After 2+ Years, 620+ Comments - Phoronix
20h
L
A Perilous Break to Jupiter
20h
H
EC-Council Expands AI Certification Portfolio to Strengthen U.S. AI Workforce Readiness and Security
21h
H
PAX: The Cache Performance You're Looking For
21h
L
The AI Vampire
21h
L
MEXC Reports 2.35 Million Users Across AI Trading Suite in First Six Months
22h
H
MEXC Surges to Third Place Among Global Crypto Exchanges, Doubles Trading Volume in 2025
22h
H
How Numerical ALM Models Value Future Discretionary Benefits in Life Insurance
22h
H
Nobody Gets There Alone: We Need A Community Roadmap for Agentic Engineering
22h
H
Deferred member initialization in C++
23h
L
How Profit Participation Shapes Risk and Returns in Traditional Life Insurance
23h
H
More →