🦞🌯 Lobster Roll

All LHN/.~Ars
RSS

Showing stories from 2024-07. View all

NewestOldestTop ScoredMost Discussed
Hello, world! - Cpp2 and cppfront (hsutter.github.io)
L 37 pts 17 comments by snej Jul 31, 2024 c++plt Systems / Low-Level / OSProgramming Languages / CS Theory thread
The Racket Book (docs.racket-lang.org)
L 9 pts 0 comments by spdegabrielle Jul 31, 2024 lisp Programming Languages / CS TheoryCulture / Philosophy / History / Reading thread
Many programming languages have a book: C has K&R, Smalltalk has The Blue Book and Scheme has TSPL. Racket has [**The Racket Guide**](https://docs.racket-lang.org/guide/index.html) - a 407 page book that is included in the [Racket distribution installers](https://download.racket-lang.org), but i...
Malt: A Deep Learning Framework for Racket (youtu.be)
L 4 pts 0 comments by spdegabrielle Jul 31, 2024 lispvideo AI / Machine LearningProgramming (General)Programming Languages / CS Theory thread
Racket Survey 2024 (forms.gle)
L 17 pts 7 comments by spdegabrielle Jul 31, 2024 lisp Programming Languages / CS Theory thread
If you have used Racket, or you are considering using Racket, please help us by completing this survey: https://forms.gle/EYuzG4Jp9X5bqoHQ9
Where does the name "algebraic data type" come from? (blog.poisson.chat)
L 10 pts 0 comments by fanf Jul 31, 2024 historicalplt Programming Languages / CS TheoryCulture / Philosophy / History / Reading thread
A Tour of Program Optimization (youtube.com)
L 4 pts 1 comments by Moonchild Jul 31, 2024 compilersperformancevideo Systems / Low-Level / OSProgramming (General)Programming Languages / CS TheoryData / Databases / Infrastructure thread
Compiling for Instruction-Level Parallelism (youtu.be)
L 4 pts 2 comments by Moonchild Jul 31, 2024 compilersdistributedperformancevideo Systems / Low-Level / OSProgramming Languages / CS TheoryData / Databases / Infrastructure thread
find + mkdir is Turing complete (ogiekako.vercel.app)
L 19 pts 12 comments by andyc Jul 31, 2024 programmingunix Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Instead of restricting AI and algorithms, make them explainable (martinfowler.com)
L 2 pts 0 comments by MatheusRich Jul 31, 2024 ai AI / Machine LearningProgramming Languages / CS Theory thread
Porffor: A from-scratch experimental ahead-of-time JS engine (porffor.dev)
L 25 pts 23 comments by linkdd Jul 30, 2024 compilersjavascriptplt Web DevelopmentSystems / Low-Level / OSProgramming Languages / CS Theory thread
Pragmatic Category Theory | Part 1: Semigroup Intro (dev.to)
L 16 pts 4 comments by chshersh Jul 30, 2024 ml Programming Languages / CS Theory thread
The Hitchhiker's Guide to Logical Verification (browncs1951x.github.io)
L 7 pts 3 comments by nextos Jul 30, 2024 formalmethodspdfplt Programming Languages / CS Theory thread
Quint (quint-lang.org)
L 38 pts 20 comments by hwayne Jul 30, 2024 formalmethods Programming Languages / CS Theory thread
A new approach to error handling (boomla.com)
L -2 pts 0 comments by zupa Jul 30, 2024 compilersgopltweb Web DevelopmentSystems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Some context. Boomla is a programming language / web development platform. Its error handling was largely inspired by Go, but the target audience and the use case required making error handling less verbose, while maintaining type safety. I wanted to show it here as I've not seen this approach an...
whippet progress update: funding, features, future (wingolog.org)
L 13 pts 1 comments by sjamaan Jul 30, 2024 lisp Programming Languages / CS Theory thread
FastHTML - Modern web applications in pure Python (fastht.ml)
L 20 pts 9 comments by rtpg Jul 30, 2024 web Web DevelopmentProgramming Languages / CS Theory thread
Functional programming languages should be so much better at mutation than they are (cohost.org)
L 45 pts 28 comments by injuly Jul 30, 2024 haskellmlplt Programming (General)Programming Languages / CS Theory thread
Union of Finite Automata (tbray.org)
L 3 pts 0 comments by carlana Jul 30, 2024 gomath Programming (General)Programming Languages / CS TheoryScience / Math / Physics thread
Orca: WebAssembly apps without the web (orca-app.dev)
L 22 pts 3 comments by c-cube Jul 30, 2024 wasm Web DevelopmentProgramming Languages / CS Theory thread
My mental model of setf was wrong (simondobson.org)
L 20 pts 1 comments by jmiven Jul 30, 2024 lispplt Programming Languages / CS Theory thread
Crafting Interpreters with Rust: On Garbage Collection (tunglevo.com)
L 12 pts 2 comments by MatheusRich Jul 30, 2024 compilersrust Systems / Low-Level / OSProgramming Languages / CS Theory thread
Scientists achieve record-breaking 402 Tbps data transmission speeds — 1.6 million times faster than home broadband (scihb.com)
L 4 pts 0 comments by atoponce Jul 29, 2024 compsci Programming Languages / CS TheoryScience / Math / Physics thread
Data.Maybe, and thoughts on library design (injuly.in)
L 27 pts 4 comments by injuly Jul 29, 2024 apihaskell Programming (General)Programming Languages / CS TheoryDesign / UX / VisualizationCulture / Philosophy / History / Reading thread
alloc_cat: a simple allocator for small-to-tiny wasm projects (crates.io)
L 5 pts 0 comments by robey Jul 29, 2024 rustshowwasm Web DevelopmentSystems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
cppfront: Midsummer update (herbsutter.com)
L 17 pts 0 comments by raymii Jul 29, 2024 c++compilers Systems / Low-Level / OSProgramming Languages / CS Theory thread
Memory control proposal for WebAssembly (github.com)
L 7 pts 0 comments by manuel Jul 29, 2024 wasm Web DevelopmentProgramming Languages / CS Theory thread
SciLean: Scientific computing in Lean 4 (github.com)
L 8 pts 2 comments by edoput Jul 29, 2024 formalmethodsscience Programming Languages / CS TheoryScience / Math / Physics thread
Recursion: a quick introduction (2023) (recursion.wtf)
L 8 pts 2 comments by 5d22b Jul 29, 2024 rust Systems / Low-Level / OSProgramming Languages / CS Theory thread
Symbolics S-Render manual (1985) (archive.org)
L 15 pts 1 comments by mepian Jul 28, 2024 graphicslisp Programming Languages / CS Theory thread
APL Since 1978 [pdf] (2020) (dl.acm.org)
L 9 pts 0 comments by mighmi Jul 27, 2024 apl Programming Languages / CS Theory thread