🦞🌯 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)
GNU Artanis – Web app framework for Scheme (artanis.dev)
GNU Artanis - Web app framework for Scheme (artanis.dev)
Chez Scheme vs. SBCL: a comparison (2019) (elmord.org)
Chez Scheme vs. SBCL: a comparison (2019) (elmord.org)
Why Zig Developers Earn the Most (2024) (thenextweb.com)
Adventures in Type Theory 1 – Locally Nameless STLC (Part 1) (tekne.dev)
GNU Artanis – A fast web application framework for Scheme (artanis.dev)
Patient Lisp Hacker Seeks Same for Long Walks Through IPL-V Code
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)
Model-based Testing Distributed Systems with P Language (2021) (mydistributed.systems)
Compositional Datalog on SQL: Relational Algebra of the Environment (philipzucker.com)
Zig-lang name was chosen randomly (gist.github.com)
Stable, Mutable References (antelang.org)
rv, a new kind of Ruby management tool (andre.arko.net)
Hands on Capture Checking in Scala (nrinaudo.github.io)
Summary of everything we know about kOS (gist.github.com)
Also: https://aplwiki.com/wiki/KOS
Structural vs. Mathematical β€œUnder” (2023) (dyalog.com)
Extending Kafka the Hard Way (Part 1) | Middle of Nowhere (blog.evacchi.dev)
Anonymous structavaganza in Zig (lirk.top)
Sharing is Scaring: Why is Cloud File-Sharing Hard? (blog.brownplt.org)
[Full paper](https://cs.brown.edu/~sk/Publications/Papers/Published/akf-sharing-scaring/paper.pdf), PDF
Knights of the Lambda Calculus (en.wikipedia.org)
Musk companies sue Apple, OpenAI alleging anticompetitive scheme (cnbc.com)
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm (github.com)
Lisp from Nothing (t3x.org)
Regular Expression Matching Can Be Simple And Fast (2007) (swtch.com)
Linear scan with lifetime holes (bernsteinbear.com)
Java will get Haskell's type classes (youtube.com)
Marshal madness: A brief history of Ruby deserialization exploits (blog.trailofbits.com)
Creating a simple web application in Nim (eoleary.me)