Programming Languages / CS Theory (2024-05)

ZenVer: A post-modern versioning scheme that does not suck (github.com)

L 4 pts 6 comments by RGBCube May 13, 2024 programmingsatire Programming (General)Programming Languages / CS Theory thread

The ultimate guide to Haskell Strings (hasufell.github.io)

L 13 pts 2 comments by hongminhee May 13, 2024 haskell Programming Languages / CS Theory thread

Readability of optimized Kotlin code (romainguy.dev)

L 5 pts 0 comments by jmillikin May 13, 2024 kotlin Programming (General)Programming Languages / CS Theory Apple / macOS / iOS thread

An observation about tail calls (2011) (enyo.de)

L 3 pts 1 comments by bshanks May 12, 2024 compilersplt Systems / Low-Level / OS Programming Languages / CS Theory thread

Parsing PNG images in Mojo (fnands.com)

L 7 pts 1 comments by carlana May 12, 2024 python Programming (General)Programming Languages / CS Theory thread

Garbage collectors are scary (enyo.de)

L 13 pts 1 comments by fanf May 12, 2024 compilers Systems / Low-Level / OS Programming Languages / CS Theory thread

Temporal - Good things happen (recife.pfeodrippe.com)

L 4 pts 0 comments by rdivyanshu May 12, 2024 formalmethodslisp Programming Languages / CS Theory thread

Can GCC use Clang as its assembler? (briancallahan.net)

L 7 pts 0 comments by jmillikin May 12, 2024 compilers Systems / Low-Level / OS Programming Languages / CS Theory thread

Reference Counting with Linear Types (discourse.haskell.org)

L 29 pts 0 comments by romes May 12, 2024 haskellplt Programming Languages / CS Theory thread

Datalog, Chain-Forward Computation, and Relational Algebra (kmicinski.com)

L 17 pts 0 comments by azhenley May 12, 2024 plt Programming Languages / CS Theory Science / Math / Physics thread

Nerves Notes (wiki.alopex.li)

L 38 pts 4 comments by icefox May 11, 2024 elixir Programming Languages / CS Theory thread

Exploring the c4... compiler? (registerspill.thorstenball.com)

L 54 pts 9 comments by carlana May 11, 2024 cplt Systems / Low-Level / OS Programming Languages / CS Theory thread

Glasgow Haskell Compiler Version 9.10.1 (downloads.haskell.org)

L 18 pts 1 comments by ehamberg May 11, 2024 haskellrelease Systems / Low-Level / OS Programming Languages / CS Theory thread

Why the CORDIC algorithm lives rent-free in my head (github.com)

L 31 pts 3 comments by FrancisStokes May 11, 2024 cmath Systems / Low-Level / OS Programming Languages / CS Theory Science / Math / Physics thread

Why bother with Scripting? (2021) (brrt-to-the-future.blogspot.com)

L 8 pts 0 comments by carlana May 10, 2024 perlplt Programming (General)Programming Languages / CS Theory thread

Lessons learned reinventing the Python notebook (marimo.io)

L 22 pts 15 comments by knl May 10, 2024 python Programming (General)Programming Languages / CS Theory thread

Using Python Projects With Pixi (prefix.dev)

L 1 pts 0 comments by ngoldbaum May 10, 2024 python Programming (General)Programming Languages / CS Theory thread

Methods Should Be Object Safe (nora.codes)

L 16 pts 6 comments by inactive-user May 10, 2024 pltrust Systems / Low-Level / OS Programming Languages / CS Theory thread

SK logic in egglog (chriswarbo.net)

L 23 pts 2 comments by chriswarbo May 10, 2024 compsciformalmethodshaskellmathshow Programming (General)Programming Languages / CS Theory Science / Math / Physics thread

How to Install Python on a Mac (freecodecamp.org)

L 14 pts 50 comments by daniel_kehoe May 10, 2024 python Programming (General)Programming Languages / CS Theory thread

Abusing Conda's YAML comments that are actually Python expressions (astrid.tech)

L 5 pts 1 comments by carlana May 9, 2024 python Programming (General)Programming Languages / CS Theory thread

Yes, Ruby is fast, but… (dev.to)

L 11 pts 6 comments by gettalong May 9, 2024 performanceruby Programming (General)Programming Languages / CS Theory Data / Databases / Infrastructure thread

Distributed system daemons with Shepherd and Goblins funded by NLnet (spritely.institute)

L 14 pts 2 comments by dustyweb May 9, 2024 devopslispnixprogramming Systems / Low-Level / OS Programming (General)Programming Languages / CS Theory Data / Databases / Infrastructure thread

Dafny Power User: Type-parameter modes: variance and cardinality preservation (leino.science)

L 1 pts 0 comments by hwayne May 9, 2024 formalmethodsplt Programming Languages / CS Theory thread

Compiling higher order functions with GADTs (injuly.in)

L 7 pts 0 comments by injuly May 9, 2024 compilershaskellplt Systems / Low-Level / OS Programming Languages / CS Theory thread

Automerge 2.2: Rich Text (automerge.org)

L 27 pts 5 comments by df May 9, 2024 compscidistributedweb Web Development Programming Languages / CS Theory Data / Databases / Infrastructure thread

Rust through the ages (ncameron.org)

L 14 pts 0 comments by asb May 8, 2024 pltrust Systems / Low-Level / OS Programming Languages / CS Theory thread

Phoenix LiveView 1.0-rc is here (phoenixframework.org)

L 42 pts 0 comments by gmcabrita May 8, 2024 elixirweb Web Development Programming Languages / CS Theory thread

Raptor - A High Level Algorithmic Skeleton CUDA Library (dma-neves.github.io)

L 3 pts 0 comments by dma-neves May 8, 2024 c++ Systems / Low-Level / OS Programming (General)Programming Languages / CS Theory Culture / Philosophy / History / Reading thread

Raptor is a high-level algorithmic skeleton C++ template library designed to ease the development of parallel programs using CUDA. It offers similar performance and capabilities to thrust, but offers a more abstract interface. Raptor provides a set of smart containers (vector, array, vector<array>, ...

Arm's work on GCC-14 (community.arm.com)

L 25 pts 5 comments by ema May 8, 2024 assemblycompilers Systems / Low-Level / OS Programming Languages / CS Theory thread