🦞🌯 Lobster Roll

All LHN/.~Ars
RSS

Showing stories from 2025-07. View all

NewestOldestTop ScoredMost Discussed
The Big Oops in type systems: This problem extends to FP as well (danieltan.weblog.lol)
HN 96 pts 82 comments by ksymph Jul 31, 2025 Programming Languages / CS Theory thread
Schematra: Sinatra inspired Chicken web framework (github.com)
L 20 pts 6 comments by veqq Jul 31, 2025 lispweb Web DevelopmentProgramming (General)Programming Languages / CS Theory thread
Crafting your own Static Site Generator using Phoenix (2023) (fly.io)
L 5 pts 0 comments by winter Jul 31, 2025 elixirweb Web DevelopmentProgramming Languages / CS Theory thread
Nova: A New Web Framework for Erlang
HN 68 pts 32 comments by taure Jul 31, 2025 Programming Languages / CS Theory thread
Hi Hacker News community,<p>I&#x27;m excited to share Nova, a new web framework built for Erlang, designed to make web development in Erlang simpler, faster, and more approachable. Nova leverages Erlang&#x27;s concurrency, reliability, and scalability to create a robust yet lightweight framework for...
The Design and Implementation of Extensible Variants for Rust in CGP (contextgeneric.dev)
L 2 pts 1 comments by soareschen Jul 31, 2025 pltrust Systems / Low-Level / OSProgramming Languages / CS TheoryDesign / UX / Visualization thread
Tracking source locations in the Futhark compiler (futhark-lang.org)
L 13 pts 1 comments by jmillikin Jul 31, 2025 compilers Systems / Low-Level / OSProgramming Languages / CS Theory thread
Books about Lisp's "beauty"?
L 19 pts 18 comments by dzwdz Jul 30, 2025 askbooklisp Programming Languages / CS TheoryCulture / Philosophy / History / Reading thread
We have several lispers here, so I thought I'd try asking for some Lisp books recommendations. Feel free to share anything that (in your opinion) highlights Lisp's beauty. While books would be best, tbh anything goes.
Interacting With Text Adventures Through Perl (entropicthoughts.com)
L 7 pts 1 comments by kqr Jul 30, 2025 cgamesperl Systems / Low-Level / OSProgramming (General)Programming Languages / CS TheoryGaming / Retro Computing thread
Why We Need to Know LR and Recursive Descent Parsing Techniques (tratt.net)
L 20 pts 13 comments by zem Jul 30, 2025 plt Programming Languages / CS Theory thread
Verified Assembly 2: Memory, RISC-V, Cuts for Invariants, and Ghost Code (philipzucker.com)
L 9 pts 0 comments by philzook Jul 30, 2025 assemblyformalmethods Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
[RFC] Upstream target support for CHERI-enabled architectures (discourse.llvm.org)
L 45 pts 2 comments by david_chisnall Jul 30, 2025 compilerssecurity Systems / Low-Level / OSProgramming Languages / CS TheorySecurity / Privacy thread
Making libcurl work in webassembly (jeroen.github.io)
L 2 pts 0 comments by tonnydourado Jul 30, 2025 networkingwasm Web DevelopmentProgramming Languages / CS TheoryData / Databases / Infrastructure thread
2000 words about arrays and tables (buttondown.com)
L 28 pts 14 comments by hwayne Jul 30, 2025 compscirant Programming Languages / CS Theory thread
Mezzano, an operating system written in Common Lisp (github.com)
HN 114 pts 25 comments by dargscisyhp Jul 30, 2025 Programming Languages / CS Theory thread
Phoenix LiveView v1.1.0 (hexdocs.pm)
L 22 pts 3 comments by munksgaard Jul 30, 2025 elixirreleaseweb Web DevelopmentProgramming Languages / CS Theory thread
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification (harmonic.fun)
HN 3 pts 0 comments by d2049 Jul 29, 2025 Programming Languages / CS TheoryProductivity / Career / Business thread
Typechecking Is Undecidable When 'Type' Is a Type (1989) (dspace.mit.edu)
L 12 pts 9 comments by zem Jul 29, 2025 pdfplt Programming Languages / CS Theory thread
Pseudo, a Common Lisp macro for pseudocode expressions (funcall.blogspot.com)
HN 73 pts 14 comments by reikonomusha Jul 29, 2025 Programming Languages / CS Theory thread
KernelScript: DSL for eBPF-Centric Development (github.com)
L 20 pts 1 comments by vulcan Jul 29, 2025 linuxplt Systems / Low-Level / OSProgramming Languages / CS Theory thread
Structuring large Clojure codebases with Biff (biffweb.com)
HN 98 pts 8 comments by PaulHoule Jul 29, 2025 Programming Languages / CS Theory thread
Web Embeddable Common Lisp (ecl.common-lisp.dev)
HN 16 pts 0 comments by jackdaniel Jul 29, 2025 Programming Languages / CS Theory thread
No More Erlang Manuals (blog.whenhen.com)
HN 2 pts 0 comments by todsacerdoti Jul 29, 2025 Programming Languages / CS Theory thread
No more Erlang manuals (blog.whenhen.com)
L 35 pts 30 comments by nato Jul 29, 2025 erlang Programming Languages / CS Theory thread
Zig Profiling on Apple Silicon (blog.bugsiki.dev)
HN 119 pts 27 comments by signa11 Jul 29, 2025 Programming Languages / CS TheoryApple / macOS / iOS thread
WP Cron Pixie v1.5.0 released: Front end switched from Elm to Gleam (ianmjones.com)
L 6 pts 0 comments by wezm Jul 29, 2025 elmgleam Web DevelopmentProgramming Languages / CS Theory thread
Unlimited Is a Ponzi Scheme (staysaasy.com)
HN 2 pts 0 comments by thisismytest Jul 28, 2025 Programming Languages / CS Theory thread
Libfive: Solid modeling (CAD) library/tools with Scheme/Python bindings and GUI (libfive.com)
HN 3 pts 1 comments by caseyavila Jul 28, 2025 Programming Languages / CS TheoryCulture / Philosophy / History / Reading thread
NASA faces brain drain as thousands exit under voluntary resignation scheme (theregister.com)
HN 83 pts 2 comments by rntn Jul 28, 2025 Programming Languages / CS Theory thread
Pseudo (Building LLMs into Lisp) (funcall.blogspot.com)
HN 1 pts 0 comments by djha-skin Jul 28, 2025 Programming Languages / CS Theory thread
Swanky Python: Python development using Emacs' SLIME mode for Common Lisp (codeberg.org)
HN 2 pts 0 comments by sczi Jul 28, 2025 Programming Languages / CS Theory thread