🦞🌯 Lobster Roll

All LHN/.~Ars
RSS

Showing stories from 2025-08. View all

NewestOldestTop ScoredMost Discussed
Dependent Types: Universes, or types of types (jonmsterling.com)
HN 41 pts 2 comments by matt_d Aug 27, 2025 Programming Languages / CS Theory thread
GNU Artanis – Web app framework for Scheme (artanis.dev)
HN 4 pts 0 comments by Bogdanp Aug 27, 2025 Web DevelopmentProgramming Languages / CS Theory thread
GNU Artanis - Web app framework for Scheme (artanis.dev)
L 22 pts 1 comments by veqq Aug 26, 2025 lispweb Web DevelopmentProgramming (General)Programming Languages / CS Theory thread
Chez Scheme vs. SBCL: a comparison (2019) (elmord.org)
HN 9 pts 0 comments by Bogdanp Aug 26, 2025 Programming Languages / CS Theory thread
Chez Scheme vs. SBCL: a comparison (2019) (elmord.org)
L 22 pts 15 comments by gnyeki Aug 26, 2025 lispperformance Programming Languages / CS TheoryData / Databases / Infrastructure thread
Why Zig Developers Earn the Most (2024) (thenextweb.com)
HN 2 pts 0 comments by meehow Aug 26, 2025 Programming (General)Programming Languages / CS Theory thread
Adventures in Type Theory 1 – Locally Nameless STLC (Part 1) (tekne.dev)
HN 2 pts 0 comments by matt_d Aug 26, 2025 Programming Languages / CS Theory thread
GNU Artanis – A fast web application framework for Scheme (artanis.dev)
HN 260 pts 80 comments by smartmic Aug 26, 2025 Web DevelopmentProgramming Languages / CS Theory thread
Patient Lisp Hacker Seeks Same for Long Walks Through IPL-V Code
HN 7 pts 2 comments by abrax3141 Aug 26, 2025 Programming Languages / CS Theory thread
I'm looking for a collaborator on an obscure yet historically significant programming project. As some of you know, I previously worked with the team that reanimated ELIZA (https://news.ycombinator.com/item?id=44300641). I'm now working on reanimating the original Logic Theo...
Linearizability testing S2 with deterministic simulation (s2.dev)
L 6 pts 0 comments by amw-zero Aug 26, 2025 distributedformalmethodstesting Programming (General)Programming Languages / CS TheoryData / Databases / Infrastructure thread
Model-based Testing Distributed Systems with P Language (2021) (mydistributed.systems)
L 4 pts 0 comments by hwayne Aug 26, 2025 distributedformalmethods Programming Languages / CS TheoryData / Databases / Infrastructure thread
Compositional Datalog on SQL: Relational Algebra of the Environment (philipzucker.com)
L 21 pts 3 comments by philzook Aug 26, 2025 databasesplt Programming Languages / CS TheoryData / Databases / InfrastructureScience / Math / Physics thread
Zig-lang name was chosen randomly (gist.github.com)
HN 1 pts 0 comments by AbuAssar Aug 26, 2025 Programming Languages / CS Theory thread
Stable, Mutable References (antelang.org)
L 22 pts 2 comments by dcao Aug 26, 2025 plt Programming Languages / CS Theory thread
rv, a new kind of Ruby management tool (andre.arko.net)
L 82 pts 30 comments by steveklabnik Aug 26, 2025 ruby Programming (General)Programming Languages / CS TheoryProductivity / Career / Business thread
Hands on Capture Checking in Scala (nrinaudo.github.io)
L 6 pts 4 comments by xvw Aug 26, 2025 scala Programming Languages / CS Theory thread
Summary of everything we know about kOS (gist.github.com)
L 9 pts 9 comments by veqq Aug 26, 2025 aplosdev Systems / Low-Level / OSProgramming Languages / CS Theory thread
Also: https://aplwiki.com/wiki/KOS
Structural vs. Mathematical “Under” (2023) (dyalog.com)
L 12 pts 5 comments by Arya Aug 26, 2025 aplplt Programming Languages / CS TheoryScience / Math / Physics thread
Extending Kafka the Hard Way (Part 1) | Middle of Nowhere (blog.evacchi.dev)
L 1 pts 0 comments by evacchi Aug 25, 2025 javascalawasm Web DevelopmentProgramming (General)Programming Languages / CS TheoryData / Databases / Infrastructure thread
Anonymous structavaganza in Zig (lirk.top)
HN 48 pts 8 comments by kallehed Aug 25, 2025 Programming Languages / CS Theory thread
Sharing is Scaring: Why is Cloud File-Sharing Hard? (blog.brownplt.org)
L 10 pts 0 comments by pushcx Aug 25, 2025 cogscidistributedformalmethods Programming Languages / CS TheoryData / Databases / InfrastructureScience / Math / Physics thread
[Full paper](https://cs.brown.edu/~sk/Publications/Papers/Published/akf-sharing-scaring/paper.pdf), PDF
Knights of the Lambda Calculus (en.wikipedia.org)
HN 25 pts 0 comments by debo_ Aug 25, 2025 Programming Languages / CS TheoryScience / Math / Physics thread
Musk companies sue Apple, OpenAI alleging anticompetitive scheme (cnbc.com)
HN 7 pts 1 comments by rntn Aug 25, 2025 AI / Machine LearningProgramming Languages / CS TheoryApple / macOS / iOS thread
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm (github.com)
HN 2 pts 0 comments by galapago Aug 25, 2025 Programming Languages / CS TheoryScience / Math / PhysicsCulture / Philosophy / History / Reading thread
Lisp from Nothing (t3x.org)
HN 2 pts 1 comments by nils-m-holm Aug 25, 2025 Programming Languages / CS Theory thread
Regular Expression Matching Can Be Simple And Fast (2007) (swtch.com)
L 21 pts 3 comments by LesleyLai Aug 25, 2025 compsci Programming (General)Programming Languages / CS Theory thread
Linear scan with lifetime holes (bernsteinbear.com)
L 25 pts 1 comments by asb Aug 25, 2025 compilers Systems / Low-Level / OSProgramming Languages / CS Theory thread
Java will get Haskell's type classes (youtube.com)
HN 7 pts 2 comments by sharno Aug 25, 2025 Programming Languages / CS Theory thread
Marshal madness: A brief history of Ruby deserialization exploits (blog.trailofbits.com)
L 5 pts 0 comments by fanf Aug 24, 2025 rubysecurity Programming (General)Programming Languages / CS TheorySecurity / PrivacyCulture / Philosophy / History / Reading thread
Creating a simple web application in Nim (eoleary.me)
HN 5 pts 0 comments by klaussilveira Aug 24, 2025 Web DevelopmentProgramming Languages / CS Theory thread