Lobster Roll

All LHN/.

Programming Languages / CS Theory (2024-08)

RSS

Showing stories from 2024-08. View all

Symbolics S-Geometry manual (1988) (archive.org)
L 7 pts 0 comments by mepian Aug 31, 2024 graphicslisp Programming Languages / CS TheoryScience / Math / Physics thread
My Software Bookshelf (olano.dev)
L 21 pts 3 comments by facundoolano Aug 30, 2024 compscierlangpractices Programming (General)Programming Languages / CS TheoryProductivity / Career / Business thread
LLMs struggle to explain themselves (jonathanychan.com)
L 12 pts 24 comments by jyc Aug 30, 2024 pltvibecoding AI / Machine LearningProgramming Languages / CS Theory thread
How to write a programming language and shell in Go with 92% test coverage and instant CI/CD (youtube.com)
L 13 pts 1 comments by xiaq Aug 30, 2024 gopracticestestingvideo Programming (General)Programming Languages / CS TheoryProductivity / Career / Business thread
This is a companion to [another talk I gave about Elvish's design](https://lobste.rs/s/omrfjb/designing_shell_language_for_2010s), focusing on the implementation. Sorry for the click-baity title, I was trying very hard to get my proposal accepted :) I was told by several members of the audience t...
CIEL Is an Extended Lisp (ciel-lang.org)
L 30 pts 30 comments by PuercoPop Aug 30, 2024 lisp Programming Languages / CS Theory thread
Ruby shebang behavior (agj.bearblog.dev)
L 37 pts 11 comments by ScriptDevil Aug 30, 2024 ruby Programming (General)Programming Languages / CS Theory thread
Upgrading from GHC 8.10 to GHC 9.6 – An experience report (h2.jaguarpaw.co.uk)
L 14 pts 0 comments by ehamberg Aug 30, 2024 haskell Programming Languages / CS Theory thread
Delimited Continuations are all you need (youtube.com)
L 20 pts 4 comments by edoput Aug 30, 2024 javascriptlisppltvideo Web DevelopmentProgramming Languages / CS Theory thread
Python Developers Survey 2023 Results (lp.jetbrains.com)
L 7 pts 2 comments by pauloxnet Aug 29, 2024 python Programming (General)Programming Languages / CS Theory thread
Getting Started with Nix for Haskell (abhinavsarkar.net)
L 6 pts 2 comments by abhin4v Aug 29, 2024 haskellnix Systems / Low-Level / OSProgramming Languages / CS Theory thread
Objects Have Not Failed (2002) (dreamsongs.com)
L 22 pts 53 comments by ohrv Aug 29, 2024 compscidesign Programming Languages / CS TheoryDesign / UX / Visualization thread
aya-dev: A proof assistant and a dependently-typed language (github.com)
L 11 pts 0 comments by 5d22b Aug 29, 2024 formalmethodsplt Programming Languages / CS Theory thread
Compilation of JavaScript to Wasm, part 3: Partial evaluation (cfallin.org)
L 11 pts 2 comments by jmillikin Aug 29, 2024 javascriptwasm Web DevelopmentProgramming Languages / CS Theory thread
The Future of TLA+ (lamport.azurewebsites.net)
L 18 pts 6 comments by hwayne Aug 28, 2024 formalmethodspdf Programming Languages / CS Theory thread
Typing lists and tuples in Elixir (elixir-lang.org)
L 22 pts 6 comments by jparise Aug 28, 2024 elixir Programming Languages / CS Theory thread
Improving Notion's browser performance with WASM SQLite (notion.so)
L 18 pts 5 comments by eeue56 Aug 28, 2024 performancewasm Web DevelopmentProgramming Languages / CS TheoryData / Databases / Infrastructure thread
Compiler front-end infrastructure (github.com)
L 7 pts 8 comments by silverhairs Aug 28, 2024 compilersplt Web DevelopmentSystems / Low-Level / OSProgramming Languages / CS Theory thread
awesome-numerics: Resources for learning about numerical methods (github.com)
L 6 pts 0 comments by Armavica Aug 27, 2024 compscimathprogramming Programming (General)Programming Languages / CS TheoryScience / Math / Physics thread
State and time are the same thing (buttondown.com)
L 4 pts 5 comments by amw-zero Aug 27, 2024 formalmethodsplt Programming Languages / CS Theory thread
Compilation of JavaScript to Wasm, Part 2: Ahead-of-Time vs. JIT (cfallin.org)
L 3 pts 0 comments by fanf Aug 27, 2024 compilersjavascriptwasm Web DevelopmentSystems / Low-Level / OSProgramming Languages / CS Theory thread
Function Types in Nix (garnix.io)
L 19 pts 1 comments by jkarni Aug 27, 2024 nixplt Systems / Low-Level / OSProgramming Languages / CS Theory thread
What programming language is in this <code> block? (shkspr.mobi)
L 36 pts 15 comments by nogweii Aug 27, 2024 practicesweb Web DevelopmentProgramming (General)Programming Languages / CS TheoryProductivity / Career / Business thread
Electric Clojure v3: Differential Dataflow for UI (youtube.com)
L 13 pts 0 comments by coby Aug 27, 2024 clojurevideo Programming Languages / CS Theory thread
Languages Without Abstraction (buttondown.com)
L 5 pts 2 comments by eatonphil Aug 26, 2024 compilersdatabases Systems / Low-Level / OSProgramming Languages / CS TheoryData / Databases / Infrastructure thread
Teaching Concurrency (2009) (lamport.azurewebsites.net)
L 1 pts 0 comments by danlamanna Aug 26, 2024 educationformalmethodspdf Programming Languages / CS Theory thread
Parsing tiny and very large floating-point values: a programming-language comparison (lemire.me)
L 4 pts 3 comments by raymii Aug 26, 2024 cc++go Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Precedence-aware pretty printing (bernsteinbear.com)
L 5 pts 0 comments by hashemi Aug 26, 2024 compilers Systems / Low-Level / OSProgramming Languages / CS Theory thread
Bootstrap a Linux system from a 512 byte binary seed with 170 steps (github.com)
L 60 pts 9 comments by andyc Aug 25, 2024 compilerslinuxprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Advanced Python: Achieving High Performance with Code Generation (medium.com)
L 9 pts 2 comments by williballenthin Aug 25, 2024 python Programming (General)Programming Languages / CS Theory thread
SQL Has Problems. We Can Fix Them: Pipe Syntax In SQL (storage.googleapis.com)
L 49 pts 31 comments by knl Aug 24, 2024 databasespdfplt Programming Languages / CS TheoryData / Databases / Infrastructure thread
SQL has been extremely successful as the de facto standard language for working with data. Virtually all mainstream database-like systems use SQL as their primary query language. But SQL is an old language with significant design problems, making it difficult to learn, difficult to use, and difficul...