Programming Languages / CS Theory (2025-04)

Nim for Pythonistas (github.com)

HN 6 pts 2 comments by TheWiggles Apr 30, 2025 Programming Languages / CS Theory thread

The Rise and Fall of Erlang at Ericsson AB (2023) (iknek.github.io)

HN 6 pts 1 comments by todsacerdoti Apr 30, 2025 Programming Languages / CS Theory thread

The Rise & Fall of Erlang at Ericsson AB (2023) (iknek.github.io)

L 28 pts 0 comments by WilhelmVonWeiner Apr 30, 2025 erlanghistorical Programming Languages / CS Theory Culture / Philosophy / History / Reading thread

Co-dfns versus BQN's implementation (mlochbaum.github.io)

L 22 pts 12 comments by veqq Apr 30, 2025 aplcompilers Systems / Low-Level / OS Programming Languages / CS Theory thread

React Rendering as OCaml Modes (uptointerpretation.com)

HN 2 pts 0 comments by hardwaregeek Apr 30, 2025 Web Development Programming Languages / CS Theory thread

Show HN: age - Alt bumpversion tools by Nim-lang (github.com)

HN 3 pts 0 comments by attakei Apr 30, 2025 Programming Languages / CS Theory thread

This alternatives of bumpversion, bump2version and bump-my-version. It is written by Nim-lang. Therefore, it may be run faster than these.

Four agents vibecoding Erlang/pheonix whilst I sleep (twitter.com)

HN 1 pts 0 comments by ghuntley Apr 30, 2025 Programming Languages / CS Theory Health / Fitness / Lifestyle thread

A simple Common Lisp web app (scotto.me)

HN 63 pts 21 comments by silcoon Apr 30, 2025 Web Development Programming Languages / CS Theory thread

Automating code deletion with Gemini (and a little Python) (technicalwriting.dev)

L 3 pts 0 comments by kaycebasques Apr 30, 2025 practicespythonvibecoding AI / Machine Learning Programming (General)Programming Languages / CS Theory Productivity / Career / Business thread

Clojure IDE in Emacs – Cider 1.18 ("Athens") Released (metaredux.com)

HN 17 pts 1 comments by NeutralForest Apr 30, 2025 Programming (General)Programming Languages / CS Theory thread

Evaluating AI's Impact on Haskell Open Source Development (well-typed.com)

HN 6 pts 0 comments by ghuntley Apr 30, 2025 AI / Machine Learning Programming (General)Programming Languages / CS Theory thread

OCaml's Wings for Machine Learning (github.com)

HN 108 pts 69 comments by musha68k Apr 30, 2025 AI / Machine Learning Programming Languages / CS Theory thread

PicoCalc Lisp Machine (ulisp.com)

HN 10 pts 0 comments by chrisjj Apr 30, 2025 Programming Languages / CS Theory thread

Swarm Testing Data Structures (tigerbeetle.com)

L 29 pts 17 comments by matklad Apr 30, 2025 testingzig Programming (General)Programming Languages / CS Theory thread

Cloverage – Clojure Test Coverage [video] (youtube.com)

HN 3 pts 0 comments by TheWiggles Apr 30, 2025 Programming Languages / CS Theory thread

Elixir is not owned by Big Tech (underjord.io)

L 72 pts 34 comments by hauleth Apr 30, 2025 elixir Programming Languages / CS Theory thread

Leaders of $190M Brazilian Crypto Ponzi Scheme Sentenced to over 170 Years (coindesk.com)

HN 8 pts 1 comments by PaulHoule Apr 30, 2025 Programming Languages / CS Theory thread

Pyrefly: A faster Python type checker written in Rust (pyrefly.org)

L 28 pts 42 comments by hongminhee Apr 30, 2025 pythonrust Systems / Low-Level / OS Programming (General)Programming Languages / CS Theory thread

Is Microstrategy a Pyramid Scheme? [video] (youtube.com)

HN 2 pts 0 comments by beeflet Apr 30, 2025 Programming Languages / CS Theory thread

The world of compiler backends (medium.com)

L 2 pts 0 comments by azhenley Apr 30, 2025 compilers Systems / Low-Level / OS Programming Languages / CS Theory thread

Prolog Notes (github.com)

HN 2 pts 0 comments by veqq Apr 29, 2025 Programming Languages / CS Theory thread

Prolog Notes (github.com)

L 10 pts 0 comments by veqq Apr 29, 2025 ai AI / Machine Learning Programming Languages / CS Theory thread

Comparison with Traditional Mathematics (aplwiki.com)

L 7 pts 0 comments by veqq Apr 29, 2025 aplmath Programming Languages / CS Theory Science / Math / Physics thread

Discovering the Lispworks IDE (lisp-journey.gitlab.io)

L 13 pts 1 comments by veqq Apr 29, 2025 editorslisp Programming (General)Programming Languages / CS Theory thread

Haskell Language Server 2.10.0.0 release (blog.haskell.org)

HN 3 pts 0 comments by andrewstetsenko Apr 29, 2025 Programming Languages / CS Theory thread

Nigerian Sentenced to Prison for Scheme That Defrauded Elderly U.S. Victims (justice.gov)

HN 3 pts 0 comments by impish9208 Apr 29, 2025 Programming Languages / CS Theory thread

Would aliens understand lambda calculus? (2018) (tomasp.net)

HN 2 pts 0 comments by veqq Apr 29, 2025 Programming Languages / CS Theory Science / Math / Physics thread

Elixir is not owned by Big Tech (underjord.io)

HN 37 pts 4 comments by lawik Apr 29, 2025 Programming Languages / CS Theory thread

Programming languages should have a tree traversal primitive (blog.tylerglaiel.com)

L 27 pts 26 comments by azhenley Apr 29, 2025 c++programming Systems / Low-Level / OS Programming (General)Programming Languages / CS Theory thread

Syntactic musings on match expressions (blog.yoshuawuyts.com)

L 16 pts 4 comments by ChrisDenton Apr 29, 2025 pltrust Systems / Low-Level / OS Programming Languages / CS Theory thread