Lobster Roll

All Programming (General) 3774 Systems / Low-Level / OS 2950 Programming Languages / CS Theory 2127 Data / Databases / Infrastructure 1761 AI / Machine Learning 1524 Web Development 1308 Security / Privacy 1009 Culture / Philosophy / History / Reading 962 Productivity / Career / Business 731 Gaming / Retro Computing 538 Maker / DIY / Hardware 516 Design / UX / Visualization 491 Science / Math / Physics 428 Apple / macOS / iOS 355 Internet / Digital Culture 162 Health / Fitness / Lifestyle 14 Crypto / Blockchain 4

Programming Languages / CS Theory

State of Clojure 2025 Results (clojure.org)
26 pts 0 comments by adityaathalye Feb 19, 2026 clojurepractices Programming Languages / CS TheoryProductivity / Career / Business
Permissive, then restrictive: concrete solutions and examples in Haskell (2020) (williamyaoh.com)
2 pts 0 comments by abhin4v Feb 19, 2026 haskell Programming Languages / CS Theory
Tuple Spaces (mcs.anl.gov)
14 pts 10 comments by sebastien Feb 19, 2026 compscidatabasesdistributedlogiclangs Programming Languages / CS TheoryData / Databases / Infrastructure
GoScript: Go to TypeScript compiler (github.com)
2 pts 1 comments by sanxiyn Feb 19, 2026 compilersgojavascriptvibecoding AI / Machine LearningWeb DevelopmentSystems / Low-Level / OSProgramming (General)Programming Languages / CS Theory
Monitoring Data-Dependent Temporal Patterns (imiron.io)
1 pts 0 comments by agnishom Feb 19, 2026 formalmethods Programming Languages / CS Theory
r3: ColorForth inspired (github.com)
2 pts 0 comments by veqq Feb 19, 2026 concatenative Programming Languages / CS Theory
Rust on CHERIoT: Status update #0 (rust.cheriot.org)
16 pts 2 comments by ecmm Feb 18, 2026 compilersrust Systems / Low-Level / OSProgramming Languages / CS Theory
130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone? (arxiv.org)
8 pts 1 comments by edoput Feb 18, 2026 formalmethodspdf Programming Languages / CS TheoryScience / Math / Physics
C++/WinRT envy: Bringing thread switching tasks to C# (UWP edition) (devblogs.microsoft.com)
3 pts 1 comments by icefox Feb 18, 2026 dotnetplt Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory
Understanding Whole Program Paths and Path Profiling (abhamra.com)
4 pts 0 comments by aphaelion Feb 18, 2026 compilerscompsci Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory
BarraCUDA: Open-source CUDA compiler targeting AMD GPUs (and more in the future!) (github.com)
27 pts 0 comments by johnklos Feb 18, 2026 compilers Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory
claimcheck: Narrowing the Gap between Proof and Intent (midspiral.com)
5 pts 3 comments by heyyfernanda Feb 18, 2026 aiformalmethods AI / Machine LearningProgramming Languages / CS Theory
Babashka 1.12.215: Revenge of the TUIs (blog.michielborkent.nl)
53 pts 1 comments by borkdude Feb 17, 2026 clojure Programming Languages / CS Theory
The Next Version of Curling IO (curling.io)
28 pts 15 comments by giacomo_cavalieri Feb 17, 2026 gleam Programming Languages / CS Theory
An AI Called Winter: Neurosymbolic Computation or Illusion? (dustycloud.org)
17 pts 22 comments by tumdum Feb 17, 2026 logiclangsvibecoding AI / Machine LearningProgramming Languages / CS Theory
fixapl (fixapl.netlify.app)
17 pts 2 comments by veqq Feb 17, 2026 aplplt Programming Languages / CS Theory
Finding forall-exists Hyperbugs using Symbolic Execution (dl.acm.org)
5 pts 0 comments by hwayne Feb 16, 2026 formalmethodspdf Programming Languages / CS Theory
Type-based alias analysis in the Toy Optimizer (bernsteinbear.com)
10 pts 0 comments by asb Feb 16, 2026 compilers Systems / Low-Level / OSProgramming Languages / CS Theory
Setting Up Cuirass Locally (carlo.zancanaro.id.au)
2 pts 0 comments by FedericoSchonborn Feb 16, 2026 lispnixtesting Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory
Imandra CodeLogician: LLMs + Formal Methods (arxiv.org)
1 pts 0 comments by indolering Feb 15, 2026 aiformalmethods AI / Machine LearningProgramming Languages / CS Theory
Ideas for an Agent-Oriented Programming Language (davi.sh)
5 pts 1 comments by davish Feb 15, 2026 pltvibecoding AI / Machine LearningProgramming (General)Programming Languages / CS Theory
Towards Fearless Macros (2023) (lambdaland.org)
25 pts 5 comments by josephjnk Feb 15, 2026 lisp Programming Languages / CS Theory
Leaning Into the Coding Interview: Lean 4 vs Dafny cage-match (ntaylor.ca)
16 pts 4 comments by nathan Feb 14, 2026 formalmethodsplt Programming (General)Programming Languages / CS Theory
Sharing in Dada (smallcultfollowing.com)
11 pts 5 comments by Hytak Feb 14, 2026 plt Programming Languages / CS Theory
Data Engineering for Large Models: Architecture, Algorithms & Projects (datascale-ai.github.io)
-2 pts 0 comments by Yogthos Feb 14, 2026 programmingvibecoding AI / Machine LearningProgramming (General)Programming Languages / CS TheoryData / Databases / Infrastructure
Functional Data Structures and Algorithms. A Proof Assistant Approach (fdsa-book.net)
12 pts 0 comments by nextos Feb 13, 2026 bookformalmethodspdfplt Programming Languages / CS TheoryCulture / Philosophy / History / Reading
How we allowed remote code execution (but safely) (tumuchdata.club)
5 pts 0 comments by abnercoimbre Feb 13, 2026 securitywasm Web DevelopmentProgramming (General)Programming Languages / CS TheorySecurity / Privacy
Hare 0.26.0 released (harelang.org)
71 pts 14 comments by runxiyu Feb 13, 2026 pltrelease Programming Languages / CS Theory
The programming language after Kotlin – with the creator of Kotlin (newsletter.pragmaticengineer.com)
0 pts 1 comments by typesanitizer Feb 12, 2026 audiopltvibecoding AI / Machine LearningProgramming (General)Programming Languages / CS Theory
Scripting on the JVM with Java, Scala, and Kotlin (mill-build.org)
11 pts 11 comments by chad Feb 12, 2026 javakotlinscala Programming (General)Programming Languages / CS TheoryApple / macOS / iOS