Programming Languages / CS Theory (2025-04)

Reversing the Fossilization of Computer Science Conferences (cacm.acm.org)

L 7 pts 1 comments by vrthra Apr 29, 2025 compsciculture Programming Languages / CS Theory Science / Math / Physics Culture / Philosophy / History / Reading thread

Packed Data support in Haskell (arthi-chaud.github.io)

L 13 pts 0 comments by Hecate Apr 28, 2025 haskell Programming Languages / CS Theory thread

On Lisp (1993) (paulgraham.com)

HN 38 pts 5 comments by ibobev Apr 28, 2025 Programming Languages / CS Theory thread

Packed Data Support in Haskell (arthi-chaud.github.io)

HN 77 pts 12 comments by matt_d Apr 28, 2025 Programming Languages / CS Theory thread

Giving software away for free (simonwillison.net)

L 35 pts 20 comments by a4rbay4mnv Apr 28, 2025 pythonwasmweb Web Development Programming (General)Programming Languages / CS Theory thread

Generating Mazes with Inductive Graphs (2017) (jelv.is)

L 8 pts 2 comments by hwayne Apr 28, 2025 haskell Programming Languages / CS Theory thread

A Dependently Typed Assembly Language (cs.cmu.edu)

L 26 pts 5 comments by linkdd Apr 28, 2025 assemblypdfpltprogramming Systems / Low-Level / OS Programming (General)Programming Languages / CS Theory thread

Netcetera used Clojure+Rama to 100x the performance of product used by millions (blog.redplanetlabs.com)

HN 5 pts 0 comments by nathanmarz Apr 28, 2025 Programming Languages / CS Theory thread

Python sub-micro GPIO (runpyxl.com)

L 14 pts 5 comments by pushcx Apr 28, 2025 hardwareperformancepython Programming (General)Programming Languages / CS Theory Data / Databases / Infrastructure Maker / DIY / Hardware thread

Nouveau: The Rule Based Language Family (nouveau.community)

L 10 pts 25 comments by untrusem Apr 28, 2025 compsciprogramming Programming (General)Programming Languages / CS Theory thread

Pkg.pl: An experimental package manager for Scryer Prolog (github.com)

HN 13 pts 0 comments by triska Apr 27, 2025 Programming Languages / CS Theory thread

Ogg Vorbis cover art embedding: Tcl vs. Common Lisp (world-playground-deceit.net)

HN 9 pts 1 comments by BoingBoomTschak Apr 27, 2025 AI / Machine Learning Programming Languages / CS Theory thread

Show HN: A Common Lisp implementation in development, supports ASDF (savannah.nongnu.org)

HN 96 pts 60 comments by andreamonaco Apr 27, 2025 Programming Languages / CS Theory thread

Implementation of the standard is still not complete, but breakpoints and stepping work quite well! It also has some support for watchpoints, that no implementation has.<p>Now it ships with ASDF and is capable of loading systems!<p>Let me know if you like it. Support on Patreon or Liberapay is much...

Running Clojure in WASM with GraalVM (romanliutikov.com)

HN 203 pts 39 comments by roman01la Apr 27, 2025 Web Development Programming Languages / CS Theory thread

Benchmarking Crimes Meet Formal Verification (microkerneldude.org)

HN 3 pts 0 comments by ingve Apr 27, 2025 Programming Languages / CS Theory thread

Compiler reminders (jfmengels.net)

L 37 pts 14 comments by jfmengels Apr 26, 2025 elmpractices Systems / Low-Level / OS Programming Languages / CS Theory Productivity / Career / Business thread

Past, Present, and Future of Sorbet Type Syntax (blog.jez.io)

L 26 pts 6 comments by briankung Apr 26, 2025 pltruby Programming (General)Programming Languages / CS Theory thread

APL Cultivations (xpqz.github.io)

L 10 pts 0 comments by veqq Apr 26, 2025 apl Programming Languages / CS Theory thread

Category Theory [pdf] (logicmatters.net)

HN 10 pts 2 comments by ColinWright Apr 26, 2025 Programming Languages / CS Theory thread

Ruby Feature #16131: Remove $SAFE, taint and trust (2019) (bugs.ruby-lang.org)

L 5 pts 6 comments by gioele Apr 26, 2025 ruby Programming (General)Programming Languages / CS Theory thread

Electric Clojure in 5 minutes – Systems Distributed 2024 (with transcript) (share.descript.com)

HN 7 pts 1 comments by dustingetz Apr 26, 2025 Programming Languages / CS Theory thread

Perl with a Lisp (petekeen.net)

HN 4 pts 0 comments by shakna Apr 26, 2025 Programming Languages / CS Theory thread

K Slices, K Dices (beyondloom.com)

L 10 pts 6 comments by veqq Apr 26, 2025 apl Programming Languages / CS Theory thread

Nimony compiler plugins – Nim 3.0 WIP (forum.nim-lang.org)

HN 5 pts 1 comments by archargelod Apr 26, 2025 Systems / Low-Level / OS Programming Languages / CS Theory thread

Wanix :: Virtual environment kit for the local-first web, inspired by Plan 9 (wanix.sh)

L 43 pts 2 comments by YogurtGuy Apr 26, 2025 osdevwasm Web Development Systems / Low-Level / OS Programming Languages / CS Theory thread

ATS3 Xanadu released (github.com)

L 21 pts 8 comments by toastal Apr 25, 2025 mlrelease Programming Languages / CS Theory thread

Show HN: Implementing Unsure Calculator in 100 lines of Haskell (alt-romes.github.io)

HN 5 pts 1 comments by romes Apr 25, 2025 Programming Languages / CS Theory thread

GCC 15.1 Released (gcc.gnu.org)

L 21 pts 2 comments by GeoffWozniak Apr 25, 2025 compilersrelease Systems / Low-Level / OS Programming Languages / CS Theory thread

New Kind of Paper (mlajtos.mu)

L 15 pts 1 comments by veqq Apr 25, 2025 plt Programming Languages / CS Theory thread

inline-python: Inline Python code directly in your Rust code (crates.io)

L 10 pts 0 comments by gioele Apr 25, 2025 rust Systems / Low-Level / OS Programming (General)Programming Languages / CS Theory thread