🦞🌯 Lobster Roll

All LHN/.~Ars
RSS

Showing stories from 2024-04. View all

NewestOldestTop ScoredMost Discussed
ProVerB — SLEBoK (slebok.github.io)
L 2 pts 1 comments by edoput Apr 23, 2024 formalmethods Programming Languages / CS Theory thread
Announcing py2wasm: A Python to Wasm compiler (wasmer.io)
L 3 pts 0 comments by BiteCode Apr 23, 2024 python Web DevelopmentSystems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
The Optimizations in Erlang/OTP 27 (erlang.org)
L 50 pts 1 comments by ehamberg Apr 23, 2024 erlang Programming Languages / CS Theory thread
Understanding a Trait Selection Bug in Rust Compiler (veera.app)
L 10 pts 1 comments by veera Apr 22, 2024 compilersrust Systems / Low-Level / OSProgramming Languages / CS Theory thread
Good Ideas in Computer Science (danielchasehooper.com)
L 32 pts 25 comments by DanielHooper Apr 22, 2024 compscihistorical Programming Languages / CS TheoryScience / Math / PhysicsCulture / Philosophy / History / Reading thread
Announcing Beatrice: A finally tagless, dependently typed, self-aware programming language (hirrolot.github.io)
L 23 pts 12 comments by vg_head Apr 22, 2024 plt Programming (General)Programming Languages / CS Theory thread
The Bubble Sort Curve (youtu.be)
L 5 pts 3 comments by Corbin Apr 22, 2024 compscimathvideo Programming Languages / CS TheoryScience / Math / Physics thread
What is the Metropolis algorithm? (jameshfisher.com)
L -1 pts 0 comments by j11g Apr 22, 2024 programming Programming (General)Programming Languages / CS Theory thread
What is the Metropolis algorithm? (jameshfisher.com)
L 3 pts 3 comments by j11g Apr 22, 2024 programming Programming (General)Programming Languages / CS Theory thread
Practical parsing with PEG and cpp-peglib (berthub.eu)
L 4 pts 1 comments by calvin Apr 22, 2024 compilers Systems / Low-Level / OSProgramming Languages / CS Theory thread
The Future of Ruby and Rails in the Age of AI (obie.medium.com)
L -2 pts 4 comments by stanbright Apr 22, 2024 programmingrubyvibecoding AI / Machine LearningProgramming (General)Programming Languages / CS Theory thread
Forge: A Tool to Teach Formal Methods (blog.brownplt.org)
L 18 pts 1 comments by brendan Apr 21, 2024 formalmethods Programming Languages / CS Theory thread
Dataflow Analyses and Compiler Optimizations that Use Them, for Free (blog.regehr.org)
L 16 pts 1 comments by vrthra Apr 21, 2024 compilers Systems / Low-Level / OSProgramming Languages / CS Theory thread
Stanford AI Syllabus (1980) (saildart.org)
L 2 pts 4 comments by ocramz Apr 21, 2024 aiformalmethods AI / Machine LearningProgramming Languages / CS Theory thread
Coroutines and effects (without.boats)
L 48 pts 6 comments by withoutboats Apr 20, 2024 pltrust Systems / Low-Level / OSProgramming Languages / CS Theory thread
Parsing and all that (blog.jeffsmits.net)
L 17 pts 3 comments by vrthra Apr 20, 2024 programming Programming (General)Programming Languages / CS Theory thread
An Interesting Problem Solved In Python And Elixir (medium.com)
L -2 pts 0 comments by djaouen Apr 20, 2024 elixirpython Programming (General)Programming Languages / CS Theory thread
The Problem with Threads (2006) (digitalassets.lib.berkeley.edu)
L 4 pts 0 comments by hwayne Apr 19, 2024 compscipdf Programming Languages / CS Theory thread
TLA+ Web Explorer (will62794.github.io)
L 15 pts 1 comments by hwayne Apr 19, 2024 formalmethods Programming Languages / CS Theory thread
Github url with docs is at https://github.com/will62794/tla-web
EURISKO lives (blog.funcall.org)
L 16 pts 2 comments by calvin Apr 19, 2024 aihistoricallisp AI / Machine LearningProgramming Languages / CS TheoryCulture / Philosophy / History / Reading thread
LLVM is Smarter Than Me (blog.sulami.xyz)
L 37 pts 26 comments by adamshaylor Apr 19, 2024 compilers Systems / Low-Level / OSProgramming Languages / CS Theory thread
Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour, and Provenance (dl.acm.org)
L 3 pts 0 comments by fanf Apr 18, 2024 cformalmethods Systems / Low-Level / OSProgramming Languages / CS Theory thread
Ruff v0.4.0: a hand-written recursive descent parser for Python (astral.sh)
L 47 pts 2 comments by Tenzer Apr 18, 2024 pythonrelease Programming (General)Programming Languages / CS Theory thread
Zest: syntax (scattered-thoughts.net)
L 12 pts 3 comments by eatonphil Apr 18, 2024 plt Programming Languages / CS Theory thread
seL4 on AArch64 is now verified for functional correctness (proofcraft.systems)
L 34 pts 1 comments by sanxiyn Apr 18, 2024 formalmethods Programming Languages / CS Theory thread
Systems Distributed '24 (systemsdistributed.com)
L 29 pts 3 comments by jorangreef Apr 17, 2024 compilersdatabasesdistributedeventzig Systems / Low-Level / OSProgramming (General)Programming Languages / CS TheoryData / Databases / Infrastructure thread
The Endless Maze algorithm (Atari 2600) (gamesthatwerent.com)
L 12 pts 0 comments by spc476 Apr 17, 2024 gamesgraphicshistorical Programming Languages / CS TheoryGaming / Retro ComputingCulture / Philosophy / History / Reading thread
Deep Dive into Rspack & Webpack Tree Shaking (github.com)
L 1 pts 0 comments by EmNudge Apr 17, 2024 compilersjavascript Web DevelopmentSystems / Low-Level / OSProgramming Languages / CS Theory thread
Prism in 2024 - A history of Ruby parsers (railsatscale.com)
L 15 pts 1 comments by multiplegeorges Apr 17, 2024 ruby Programming (General)Programming Languages / CS TheoryCulture / Philosophy / History / Reading thread
Participating in the Spring Lisp Game jam, why and how (drewsh.com)
L 22 pts 12 comments by crmsnbleyd Apr 17, 2024 gameslisp Programming Languages / CS TheoryGaming / Retro Computing thread