Programming Languages / CS Theory (2026-01)

Show HN: A minimal Vim color scheme based on Gruber Darker (github.com)

HN 1 pts 0 comments by ruscito Jan 31, 2026 Programming (General)Programming Languages / CS Theory Design / UX / Visualization thread

A minimal Vim color scheme with muted colors and cyan functions. Based on Gruber Darker but with darker types and better C syntax support.<p>Feedback welcome!

Rewrote our Python API gateway in Go and nobody cares (old.reddit.com)

HN 26 pts 9 comments by dcu Jan 31, 2026 Programming (General)Programming Languages / CS Theory thread

An orthogonal distance fitting algorithm for vector graphics plotting [pdf] (github.com)

HN 1 pts 0 comments by rnburn Jan 31, 2026 Programming Languages / CS Theory thread

This year in LLVM (2025) (npopov.com)

L 23 pts 4 comments by asb Jan 31, 2026 compilers Systems / Low-Level / OS Programming Languages / CS Theory thread

Introduction to Algorithms and Machine Learning from Sorting to Strategic Agents (justinmath.com)

HN 10 pts 0 comments by Anon84 Jan 31, 2026 AI / Machine Learning Programming Languages / CS Theory thread

Evolving the OCaml programming language – CSE Bytes: K C Sivaramakrishnan [video] (youtube.com)

HN 15 pts 0 comments by matt_d Jan 31, 2026 Programming (General)Programming Languages / CS Theory thread

Pydantic Monty: A minimal, secure Python interpreter (in Rust) for use by AI (github.com)

HN 3 pts 0 comments by patrick91 Jan 31, 2026 AI / Machine Learning Systems / Low-Level / OS Programming Languages / CS Theory thread

Faster package builds using Icecream and a Mac (iovec.net)

L 10 pts 0 comments by git-bruh Jan 31, 2026 cc++compilersdistributedlinuxmac Systems / Low-Level / OS Programming Languages / CS Theory Data / Databases / Infrastructure Apple / macOS / iOS thread

Show HN: Aethra Programming Language (Music in Codes)

HN 1 pts 0 comments by CzaxTanmay Jan 31, 2026 Programming (General)Programming Languages / CS Theory thread

Hi HN: IF MUSIC WAS TYPED AS CODES THEN HOW WILL IT LOOK?<p>I AM TANMAY CZAX THE CREATOR OF AETHRA AND ALSO CYBER+ PROGRAMMING LANGUAGE. I AM IN MUSIC SINCE 12 YEARS AND CODING SINCE 10 YEARS<p>WELL,INTRODUCING AETHRA A NEW, OPEN SOURCE DSL FOR MUSIC. THE LANGUAGE IS FAST AND IS FULLY C# BASED. AETH...

What Is Home-Cooked Software? Touring the Kombucha Programming Language [video] (youtube.com)

HN 1 pts 0 comments by surprisetalk Jan 31, 2026 Programming (General)Programming Languages / CS Theory thread

Beautiful-mermaid-py Python version of beautiful-mermaid (github.com)

HN 2 pts 0 comments by orbiterlab Jan 31, 2026 Programming Languages / CS Theory thread

Why S7 Scheme? (2020) (iainctduncan.github.io)

HN 84 pts 18 comments by bmacho Jan 31, 2026 Programming Languages / CS Theory thread

Simple Sudoku Solvers: Dyalog APL (blog.veitheller.de)

HN 3 pts 0 comments by todsacerdoti Jan 31, 2026 Programming Languages / CS Theory thread

Six Simple Sudoku Solvers: Prolog (blog.veitheller.de)

HN 6 pts 0 comments by todsacerdoti Jan 31, 2026 Programming Languages / CS Theory thread

Six Simple Sudoku Solvers: Prolog (blog.veitheller.de)

L 10 pts 1 comments by veqq Jan 31, 2026 logiclangs Programming Languages / CS Theory thread

Simple Sudoku Solvers: Dyalog APL (blog.veitheller.de)

L 10 pts 2 comments by veqq Jan 31, 2026 apl Programming Languages / CS Theory thread

Deploying a distributed system? A type system helps a lot (catern.com)

L 1 pts 0 comments by quad Jan 31, 2026 distributed Programming Languages / CS Theory Data / Databases / Infrastructure thread

A shift in the behaviour of Traversable.joinpath between Python 11 and 12 (pythonkoans.substack.com)

HN 2 pts 0 comments by meander_water Jan 31, 2026 Programming Languages / CS Theory thread

Scala Multimedia on the Commodore Amiga (stonetools.ghost.io)

HN 7 pts 3 comments by ChristopherDrum Jan 31, 2026 Programming Languages / CS Theory Gaming / Retro Computing thread

The State Of Garnet, 2026 (wiki.alopex.li)

L 39 pts 17 comments by icefox Jan 31, 2026 plt Programming Languages / CS Theory thread

Making Workflows Work Right in Golang (dbos.dev)

HN 2 pts 0 comments by KraftyOne Jan 30, 2026 Programming Languages / CS Theory thread

P vs. NP and the Difficulty of Computation: A ruliological approach (writings.stephenwolfram.com)

HN 94 pts 38 comments by tzury Jan 30, 2026 Programming Languages / CS Theory thread

Book of Verse (verselang.github.io)

L 16 pts 19 comments by manuel Jan 30, 2026 gamesplt Programming Languages / CS Theory Gaming / Retro Computing Culture / Philosophy / History / Reading thread

Looking for open-source Python package for AI stock analysis

HN 2 pts 0 comments by Siddartha_19 Jan 30, 2026 AI / Machine Learning Programming (General)Programming Languages / CS Theory thread

Hey folks!<p>I am looking for some good stock+AI packages in Python for my project. I have tried multiple open-source Python packages and so far found investormate as reliable. It’s not meant to replace low-level data providers like yFinance — it sits a layer above that and focuses on turning market...

Ruby 4.0 is available in the Microsoft Store (rubyinstaller.org)

HN 1 pts 0 comments by Kerrick Jan 30, 2026 Programming Languages / CS Theory thread

Bina – a deterministic static analysis CI gate for Python (no AI, no heuristics) (github.com)

HN 1 pts 1 comments by user2565 Jan 30, 2026 AI / Machine Learning Programming Languages / CS Theory thread

Show HN: Localsandbox – Agent sandbox with Bash, Python and portable filesystem (github.com)

HN 6 pts 1 comments by vimota Jan 30, 2026 Systems / Low-Level / OS Programming Languages / CS Theory thread

A Python SDK for sandboxed filesystem operations, built on just-bash, AgentFS, and Pyodide. Provides AI agents with a persistent, isolated environment backed by SQLite.

The State of Python Packaging in 2026: A Comprehensive Guide (learn.repoforge.io)

HN 2 pts 0 comments by repoforge-io Jan 30, 2026 Programming Languages / CS Theory thread

Full AI Suite for LispE: llama.cpp, tiktoken, MLX and PyTorch

L 7 pts 4 comments by Claudius Jan 30, 2026 ailisp AI / Machine Learning Programming Languages / CS Theory thread

I have presented [LispE](https://github.com/naver/lispe) a few times in this forum. LispE is an Open Source version of Lisp, which offers a wide range of features, which are seldom found in other Lisps. I have always wanted to push LispE beyond a simple niche language, so I have implemented 4 new...

The Algorithmic Evolution of Social Media Feeds (tekushi.com)

HN 2 pts 0 comments by laurent_molter Jan 30, 2026 Programming Languages / CS Theory Science / Math / Physics Internet / Digital Culture thread