Lobster Roll

All LHN/.

Programming Languages / CS Theory (2024-04)

RSS

Showing stories from 2024-04. View all

dream-html - render HTML, SVG, MathML, htmx markup from OCaml (github.com)
L 16 pts 2 comments by yawaramin Apr 30, 2024 mlweb Web DevelopmentProgramming Languages / CS TheoryDesign / UX / Visualization thread
Pydantic's author releases his take on Python observability (docs.pydantic.dev)
L -1 pts 2 comments by BiteCode Apr 30, 2024 python Programming (General)Programming Languages / CS TheoryCulture / Philosophy / History / Reading thread
Borgo is a new programming language that compiles to Go (borgo-lang.github.io)
L 102 pts 30 comments by osener Apr 30, 2024 goplt Programming (General)Programming Languages / CS Theory thread
Bytecode VMs in surprising places (dubroy.com)
L 28 pts 5 comments by jado Apr 30, 2024 compilers Systems / Low-Level / OSProgramming Languages / CS Theory thread
Nerves Local Setup (wiki.alopex.li)
L 15 pts 0 comments by icefox Apr 29, 2024 elixir Programming Languages / CS Theory thread
Understanding Delta Lake's consistency model (jack-vanlightly.com)
L 7 pts 0 comments by av Apr 29, 2024 distributedformalmethods Programming Languages / CS TheoryData / Databases / Infrastructure thread
Functional Semantics in Imperative Clothing (rtfeldman.com)
L 39 pts 22 comments by restrictedchoice Apr 29, 2024 plt Programming Languages / CS Theory thread
Fractal Toolkit: A Toolkit For Generating Fractal Zoom Animations in Python (github.com)
L 5 pts 0 comments by inactive-user Apr 28, 2024 artprogrammingpython Programming (General)Programming Languages / CS TheoryCulture / Philosophy / History / Reading thread
Zed Decoded: Rope & SumTree (zed.dev)
L 46 pts 12 comments by av Apr 28, 2024 compscirust Systems / Low-Level / OSProgramming Languages / CS Theory thread
How to improve the RISC-V specification (alastairreid.github.io)
L 27 pts 11 comments by fanf Apr 28, 2024 formalmethodshardware Systems / Low-Level / OSProgramming Languages / CS TheoryMaker / DIY / Hardware thread
jank gets lazy sequences, destructuring, and loop (jank-lang.org)
L 25 pts 0 comments by jeaye Apr 27, 2024 c++clojureplt Systems / Low-Level / OSProgramming Languages / CS Theory thread
Porting the EndBASIC console to an LCD (blogsystem5.substack.com)
L 5 pts 0 comments by eatonphil Apr 26, 2024 graphicshardwareplt Programming Languages / CS TheoryGaming / Retro ComputingMaker / DIY / Hardware thread
VueJS + Gleam (experimental) (github.com)
L 5 pts 0 comments by linkdd Apr 26, 2024 gleamprogramming Web DevelopmentProgramming (General)Programming Languages / CS Theory thread
Dependent types in Haskell, Part 3 (serokell.io)
L 12 pts 0 comments by ehamberg Apr 25, 2024 haskell Programming Languages / CS Theory thread
kandria: A post-apocalyptic actionRPG written in lisp (github.com)
L 31 pts 5 comments by JordiGH Apr 25, 2024 gameslisp Programming Languages / CS TheoryGaming / Retro Computing thread
Getting your Haskell executable statically linked without Nix (hasufell.github.io)
L 10 pts 0 comments by Hecate Apr 25, 2024 haskellvirtualization Systems / Low-Level / OSProgramming Languages / CS Theory thread
Effectful – An easy to use, performant extensible effects library (flora.pm)
L 4 pts 0 comments by Hecate Apr 25, 2024 haskell Programming (General)Programming Languages / CS TheoryCulture / Philosophy / History / Reading thread
Equivalence of morphisms under substitution (math.stackexchange.com)
L 7 pts 14 comments by Corbin Apr 25, 2024 compilersmathplt Systems / Low-Level / OSProgramming Languages / CS TheoryScience / Math / Physics thread
Bluefin (hackage.haskell.org)
L 35 pts 28 comments by adamshaylor Apr 25, 2024 haskell Programming Languages / CS Theory thread
Ruby might be faster than you think (johnhawthorn.com)
L 91 pts 34 comments by ahobson Apr 25, 2024 ruby Programming (General)Programming Languages / CS Theory thread
Ukrainian Coder's New Programming Language: One Big Data Structure (thenewstack.io)
L 9 pts 7 comments by vlnn Apr 24, 2024 programming Programming (General)Programming Languages / CS Theory thread
Is your programming language made of multidimensional plasma? (cygni.ghost.io)
L 1 pts 0 comments by hwayne Apr 24, 2024 plt Programming (General)Programming Languages / CS Theory thread
Learn OTP With Gleam (github.com)
L 24 pts 13 comments by felixyz Apr 24, 2024 erlanggleam Programming Languages / CS Theory thread
Composability: Designing a Visual Programming Language (johnaustin.io)
L 14 pts 8 comments by john_austin Apr 24, 2024 gamesplt Programming (General)Programming Languages / CS TheoryGaming / Retro Computing thread
lean theorem prover used to show that New Foundations set theory is consistent relative to ZFC (leanprover-community.github.io)
L 32 pts 26 comments by recursion Apr 24, 2024 formalmethods Programming Languages / CS TheoryScience / Math / Physics thread
Spritely Goblins v0.13.0: Object persistence and easier IO (spritely.institute)
L 34 pts 0 comments by dustyweb Apr 23, 2024 distributedlispprogramming Programming (General)Programming Languages / CS TheoryData / Databases / Infrastructure thread
Ruby 3.3.1 Released (ruby-lang.org)
L 10 pts 1 comments by schneems Apr 23, 2024 ruby Programming (General)Programming Languages / CS Theory thread
CakeML (cakeml.org)
L 18 pts 3 comments by quad Apr 23, 2024 compilersformalmethodsml Systems / Low-Level / OSProgramming Languages / CS Theory thread
anthropic-rb: Ruby bindings for the Anthropic API (github.com)
L 1 pts 0 comments by dickdavis Apr 23, 2024 ruby AI / Machine LearningProgramming (General)Programming Languages / CS Theory thread
Extensible Language Support in Zed (zed.dev)
L 19 pts 4 comments by kbknapp Apr 23, 2024 rustwasm Web DevelopmentSystems / Low-Level / OSProgramming Languages / CS Theory thread