Lobster Roll

All LHN/.

Programming Languages / CS Theory (2025-01)

RSS

Showing stories from 2025-01. View all

Ruby on Rails on WebAssembly, the full-stack in-browser journey (web.dev)
L 1 pts 0 comments by MatheusRich Jan 31, 2025 rubywasm Web DevelopmentProgramming (General)Programming Languages / CS Theory thread
Blazing-Fast Directory Tree Traversal: Haskell Streamly Beats Rust (youtube.com)
L 17 pts 7 comments by gendx Jan 31, 2025 haskellrustvideo Systems / Low-Level / OSProgramming Languages / CS Theory thread
How Jane Street accidentally built a better build system for OCaml (blog.janestreet.com)
L 56 pts 6 comments by kaycebasques Jan 31, 2025 ml Programming Languages / CS Theory thread
Introducing sealed types (cheriot.org)
L 8 pts 0 comments by calvin Jan 30, 2025 plt Programming Languages / CS Theory thread
Ranking Programming Languages by Energy Efficiency (haslab.github.io)
L 6 pts 9 comments by lim Jan 30, 2025 compscipdfperformance Programming (General)Programming Languages / CS TheoryData / Databases / Infrastructure thread
This paper compares a large set of programming languages regarding their efficiency, including from an energetic point-of-view. Indeed, we seek to establish and analyze different rankings for programming languages based on their energy efficiency. The goal of being able to rank programming languages...
Pointers Are Complicated II, or: We need better language specs (2020) (ralfj.de)
L 27 pts 18 comments by jamesw Jan 30, 2025 compilersplt Systems / Low-Level / OSProgramming Languages / CS Theory thread
History of APL in the USSR (dl.acm.org)
L 12 pts 1 comments by veqq Jan 30, 2025 aplhistoricalpdf Programming Languages / CS TheoryCulture / Philosophy / History / Reading thread
Writing brittle code (blog.waleedkhan.name)
L 5 pts 0 comments by MiraWelner Jan 30, 2025 plt Programming (General)Programming Languages / CS Theory thread
Parametric Subtyping for Structural Parametric Polymorphism (blog.sigplan.org)
L 11 pts 3 comments by brendan Jan 29, 2025 plt Programming Languages / CS Theory thread
Why sorting is harder than it seems (mill.plainopen.com)
L 3 pts 0 comments by JordiGH Jan 29, 2025 compscijavascript Web DevelopmentProgramming Languages / CS Theory thread
Picking Equatable Names (thunderseethe.dev)
L 5 pts 0 comments by icefox Jan 29, 2025 plt Programming Languages / CS Theory thread
Hell (Haskell shell) (chrisdone.com)
L 15 pts 13 comments by hadronized Jan 29, 2025 haskellprogramming Programming (General)Programming Languages / CS Theory thread
Bidirectional Typechecking is Bidirectional (cybercat-institute.github.io)
L 11 pts 0 comments by juri Jan 29, 2025 plt Programming Languages / CS Theory thread
Multicore Property-Based Tests for OCaml 5: Challenges and Lessons Learned (tarides.com)
L 5 pts 0 comments by teymour Jan 29, 2025 mltesting Programming (General)Programming Languages / CS Theory thread
A Modern Compiler for the French Tax Code (inria.hal.science)
L 37 pts 10 comments by teymour Jan 29, 2025 compilers Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Sento - Actor framework featuring actors and agents (github.com)
L 3 pts 0 comments by veqq Jan 29, 2025 lisp Programming (General)Programming Languages / CS Theory thread
My history with Forth & stack machines (2010) (yosefk.com)
L 22 pts 13 comments by veqq Jan 29, 2025 programming Programming (General)Programming Languages / CS TheoryCulture / Philosophy / History / Reading thread
Handwiki (handwiki.org)
L 10 pts 11 comments by veqq Jan 28, 2025 compsciscience Programming Languages / CS TheoryScience / Math / Physics thread
Thinkerbell Postmortem/Brain dump (2018) (yoric.github.io)
L 3 pts 0 comments by bitfield Jan 28, 2025 plt Programming Languages / CS Theory thread
Trustfall (github.com)
L 11 pts 0 comments by veqq Jan 27, 2025 apidatabasesplt Programming (General)Programming Languages / CS TheoryData / Databases / Infrastructure thread
Out-of-the-box Elixir telemetry with Phoenix (honeybadger.io)
L 1 pts 0 comments by joshuawood Jan 27, 2025 elixir Programming Languages / CS Theory thread
Spritely Goblins v0.15.0: Goblins in the browser (spritely.institute)
L 26 pts 0 comments by dotdotok Jan 27, 2025 distributedlispwasm Web DevelopmentProgramming Languages / CS TheoryData / Databases / Infrastructure thread
Kleisli, a functional query system (citeseerx.ist.psu.edu)
L 2 pts 0 comments by munksgaard Jan 27, 2025 databasesmlpdfplt Programming Languages / CS TheoryData / Databases / Infrastructure thread
Petrol: embedding a type-safe SQL API in OCaml using GADTs (kirancodes.me)
L 13 pts 4 comments by teymour Jan 26, 2025 databasesml AI / Machine LearningProgramming (General)Programming Languages / CS TheoryData / Databases / Infrastructure thread
Two Bites of Data Science in K (blog.zdsmith.com)
L 17 pts 1 comments by zdsmith Jan 26, 2025 apl Programming Languages / CS TheoryScience / Math / Physics thread
Supreme Sexp System - SSS - a Lisp machine adventure (codeberg.org)
L 9 pts 1 comments by veqq Jan 25, 2025 lisposdev Systems / Low-Level / OSProgramming Languages / CS Theory thread
Composable SQL (borretti.me)
L 22 pts 12 comments by emschwartz Jan 25, 2025 databasesplt Programming Languages / CS TheoryData / Databases / Infrastructure thread
Use Monoids for Construction (reasonablypolymorphic.com)
L 9 pts 3 comments by felixyz Jan 25, 2025 haskellprogramming Programming (General)Programming Languages / CS Theory thread
The fizzbuzz that did not get me the job (kranga.notion.site)
L 110 pts 58 comments by lproven Jan 25, 2025 javascriptpltprogramming Web DevelopmentProgramming (General)Programming Languages / CS Theory thread
Tutorials on Tinygrad (mesozoic-egg.github.io)
L 9 pts 0 comments by nalzok Jan 25, 2025 compilers Systems / Low-Level / OSProgramming Languages / CS Theory thread