Programming Languages / CS Theory (2024-06)

If Feynman Was Teaching Today… A Simplified Python Simulation of Diffusion (Part 1) (thepythoncodingstack.com)

L 2 pts 0 comments by mseri Jun 30, 2024 educationprogrammingpython Programming (General)Programming Languages / CS Theory Science / Math / Physics thread

The Life of Lil (beyondloom.com)

L 23 pts 3 comments by Internet_Janitor Jun 30, 2024 aplplt Programming Languages / CS Theory thread

jank gets multimethods (jank-lang.org)

L 27 pts 16 comments by jeaye Jun 29, 2024 c++clojurecompilersplt Systems / Low-Level / OS Programming Languages / CS Theory thread

Semantics and Scheduling for Machine Knitting Compilers (textiles-lab.github.io)

L 17 pts 3 comments by fanf Jun 29, 2024 artplt Programming Languages / CS Theory Culture / Philosophy / History / Reading thread

Modern Good Practices for Python Development (stuartellis.name)

L 36 pts 69 comments by facundoolano Jun 28, 2024 python Programming (General)Programming Languages / CS Theory thread

Mix-testing: revealing a new class of compiler bugs (johnwickerson.wordpress.com)

L 8 pts 1 comments by azhenley Jun 28, 2024 compilers Systems / Low-Level / OS Programming Languages / CS Theory thread

scala-3-is-yaml.scala (gist.github.com)

L 27 pts 11 comments by df Jun 28, 2024 scala Programming Languages / CS Theory thread

Why Google Sheets ported its calculation worker from JavaScript to WasmGC (web.dev)

L 25 pts 9 comments by Johz Jun 27, 2024 javascriptwasm Web Development Programming Languages / CS Theory thread

k23: Experimental WASM Microkernel Operating System (github.com)

L 12 pts 2 comments by dmytrish Jun 27, 2024 osdevwasm Web Development Systems / Low-Level / OS Programming Languages / CS Theory thread

Better Know A Ruby Thing: On The Use of Private Methods (noelrappin.com)

L 10 pts 14 comments by MatheusRich Jun 27, 2024 ruby Programming (General)Programming Languages / CS Theory thread

Differential Analysis: A Summary (blog.brownplt.org)

L 6 pts 0 comments by mjn Jun 27, 2024 formalmethods Programming Languages / CS Theory thread

Python still surprises (kivikakk.ee)

L 47 pts 34 comments by kivikakk Jun 27, 2024 python Programming (General)Programming Languages / CS Theory thread

MemHive: experimental Python subinterpreters orchestrator (github.com)

L 4 pts 1 comments by BiteCode Jun 27, 2024 python Programming (General)Programming Languages / CS Theory thread

More thoughts on claiming (smallcultfollowing.com)

L 15 pts 14 comments by lonjil Jun 26, 2024 pltrust Systems / Low-Level / OS Programming Languages / CS Theory thread

You probably wrote half a monad by accident (gieseanw.wordpress.com)

L 54 pts 26 comments by Juan Jun 26, 2024 programming Programming (General)Programming Languages / CS Theory thread

Programming in Unison (lwn.net)

L 17 pts 3 comments by jmillikin Jun 26, 2024 plt Programming (General)Programming Languages / CS Theory thread

All Set! Looking Under the Hood of Python's Set Data Structure (blog.codingconfessions.com)

L 5 pts 1 comments by cjoly Jun 25, 2024 python Programming (General)Programming Languages / CS Theory thread

Working towards a more stable Template Haskell (informal.codes)

L 8 pts 0 comments by janus Jun 25, 2024 apihaskell Programming (General)Programming Languages / CS Theory thread

Symbolics Color System manual (1986) (archive.org)

L 8 pts 1 comments by mepian Jun 25, 2024 graphicslisp Programming Languages / CS Theory Design / UX / Visualization thread

Modules as Objects in Newspeak (2010) (bracha.org)

L 11 pts 0 comments by manuel Jun 25, 2024 pdfplt Programming Languages / CS Theory thread

How gcc and clang handle statically known undefined behaviour (diekmann.uk)

L 10 pts 0 comments by ltratt Jun 25, 2024 compilers Systems / Low-Level / OS Programming Languages / CS Theory thread

Automating Telemetry Capture in Python using Bytecode (jaywhy13.hashnode.dev)

L 1 pts 2 comments by jaywhy13 Jun 25, 2024 python Programming (General)Programming Languages / CS Theory thread

Macros and optimizations: it's just a phase (marianoguerra.org)

L 8 pts 0 comments by marianoguerra Jun 24, 2024 compilersplt Systems / Low-Level / OS Programming Languages / CS Theory thread

Scalable MatMul-free Language Modeling (arxiv.org)

L 3 pts 0 comments by calvin Jun 23, 2024 aicompscipdfperformance AI / Machine Learning Programming Languages / CS Theory Data / Databases / Infrastructure thread

Matrix multiplication (MatMul) typically dominates the overall computational cost of large language models (LLMs). This cost only grows as LLMs scale to larger embedding dimensions and context lengths. In this work, we show that MatMul operations can be completely eliminated from LLMs while maintain...

Picolisp a Railroad Simulation (picolisp-explored.com)

L 9 pts 0 comments by tankf33der Jun 23, 2024 lispprogramming Programming (General)Programming Languages / CS Theory thread

Ruby: a great language for shell scripts (lucasoshiro.github.io)

L 58 pts 23 comments by kaycebasques Jun 23, 2024 programmingruby Programming (General)Programming Languages / CS Theory thread

Ownership (without.boats)

L 47 pts 14 comments by vi_mi Jun 22, 2024 pltrust Systems / Low-Level / OS Programming Languages / CS Theory thread

stalin: brutally optimizing Scheme compiler (github.com)

L 38 pts 31 comments by sebastien Jun 21, 2024 compilerslisp Systems / Low-Level / OS Programming Languages / CS Theory thread

The author's page on Archive https://web.archive.org/web/20120207165357/https://engineering.purdue.edu/~qobi/software.html

Flambda2 Ep. 2: Loopifying Tail-Recursive Functions (ocamlpro.com)

L 3 pts 0 comments by ignatius Jun 20, 2024 compilersmlplt Systems / Low-Level / OS Programming Languages / CS Theory thread

CPS Representation and Foundational Design Decisions in Flambda2 (ocamlpro.com)

L 3 pts 0 comments by ignatius Jun 20, 2024 compilersmlplt Systems / Low-Level / OS Programming Languages / CS Theory Design / UX / Visualization thread