🦞🌯 Lobster Roll

All LHN/.~Ars
RSS

Showing stories from 2024-05. View all

NewestOldestTop ScoredMost Discussed
How Python Compares Floats and Ints: When Equals Isn’t Really Equal (blog.codingconfessions.com)
L 15 pts 25 comments by abhi9u May 25, 2024 cpython Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Melange 4.0 is here (melange.re)
L 36 pts 6 comments by adaszko May 24, 2024 ml Programming Languages / CS Theory thread
Exploring Seamless Rust Interop for Newer Languages, Part 1 (verdagon.dev)
L 26 pts 5 comments by Verdagon May 24, 2024 plt Systems / Low-Level / OSProgramming Languages / CS Theory thread
ndindex: A Python library for manipulating indices of ndarrays (quansight-labs.github.io)
L 4 pts 0 comments by ngoldbaum May 24, 2024 python Programming (General)Programming Languages / CS TheoryCulture / Philosophy / History / Reading thread
hoot's wasm toolkit (wingolog.org)
L 31 pts 0 comments by jfred May 24, 2024 lispwasm Web DevelopmentProgramming Languages / CS Theory thread
Call the compiler, fax it your code (youtube.com)
L 14 pts 2 comments by znschaffer May 24, 2024 compilersnetworkingvideo Systems / Low-Level / OSProgramming (General)Programming Languages / CS TheoryData / Databases / Infrastructure thread
Statically Typed Functional Programming with Python 3.12 (wickstrom.tech)
L 53 pts 20 comments by owi May 23, 2024 python Programming (General)Programming Languages / CS Theory thread
Common Lisp is Not a Single Language, but Many (aartaka.me)
L 12 pts 11 comments by veqq May 23, 2024 lisp Programming Languages / CS Theory thread
WebAssembly: A promising technology that is quietly being sabotaged (kerkour.com)
L 33 pts 46 comments by df May 23, 2024 rantwasm Web DevelopmentProgramming Languages / CS Theory thread
Visions of the future: formal verification in Rust (xav.io)
L 24 pts 5 comments by jado May 22, 2024 pltrust Systems / Low-Level / OSProgramming Languages / CS Theory thread
Queueing - an interactive study of queueing strategies (encore.dev)
L 85 pts 26 comments by samwho May 22, 2024 compscivisualization Programming Languages / CS TheoryDesign / UX / Visualization thread
growing a bootie (wingolog.org)
L 5 pts 0 comments by jryans May 22, 2024 compilerslispwasm Web DevelopmentSystems / Low-Level / OSProgramming Languages / CS Theory thread
A hybrid approach to semi-automated Rust verification (arxiv.org)
L 2 pts 0 comments by sanxiyn May 22, 2024 formalmethodsrust Systems / Low-Level / OSProgramming Languages / CS Theory thread
What's new in Kotlin 2.0.0 (kotlinlang.org)
L 25 pts 3 comments by asb May 21, 2024 kotlinrelease Programming (General)Programming Languages / CS TheoryApple / macOS / iOS thread
The Ages of Programming Language Creators (pldb.io)
L 13 pts 8 comments by hwj May 21, 2024 compilersplt Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Summary: > Programmers create the most languages in their 30's. Programmers in their 40's create the second most. After that it drops off.
Common Lisp for Shell Scripting (simonsafar.com)
L 10 pts 6 comments by veqq May 21, 2024 lisp Programming Languages / CS Theory thread
Functional TypeScript #1: Algebraic Data Types (injuly.in)
L 6 pts 3 comments by injuly May 21, 2024 haskelljavascript Web DevelopmentProgramming Languages / CS Theory thread
Erlang/OTP 27.0 Release (erlang.org)
L 32 pts 4 comments by ehamberg May 21, 2024 erlangrelease Programming Languages / CS Theory thread
Racket - the Language-Oriented Programming Language - version 8.13 is now available (blog.racket-lang.org)
L 24 pts 15 comments by spdegabrielle May 20, 2024 lisprelease Programming (General)Programming Languages / CS Theory thread
Racket - the Language-Oriented Programming Language - version 8.13 is now available from https://download.racket-lang.org See https://blog.racket-lang.org/2024/05/racket-v8-13.html for the release announcement and highlights.
Regular Expression Matching Can Be Simple And Fast (2007) (swtch.com)
L 3 pts 0 comments by indigo May 20, 2024 compsci Programming (General)Programming Languages / CS Theory thread
Getting OCaml Through the Eye of a Needle (hypirion.com)
L 45 pts 34 comments by hyPiRion May 20, 2024 mlweb Web DevelopmentProgramming Languages / CS Theory thread
Compilers for Free (2013) (tomstu.art)
L 3 pts 0 comments by tcard May 20, 2024 compilersruby Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
WinLibs standalone build of GCC and MinGW-w64 for Windows (winlibs.com)
L 1 pts 1 comments by raymii May 20, 2024 c++compilerswindows Systems / Low-Level / OSProgramming Languages / CS Theory thread
Grothendieck's use of equality (arxiv.org)
L 3 pts 1 comments by Corbin May 20, 2024 formalmethodsmathpdfplt Programming Languages / CS TheoryScience / Math / Physics thread
Creusot 0.1 (deductive verification tool for Rust) (github.com)
L 14 pts 0 comments by armael May 20, 2024 formalmethodsreleaserust Systems / Low-Level / OSProgramming Languages / CS Theory thread
7 OCaml Gotchas (dev.to)
L 54 pts 41 comments by chshersh May 20, 2024 ml Programming Languages / CS Theory thread
Compilers for free with weval (bernsteinbear.com)
L 63 pts 18 comments by carlana May 19, 2024 pltwasm Web DevelopmentProgramming Languages / CS Theory thread
Hashing Modulo Theories (philipzucker.com)
L 8 pts 2 comments by Moonchild May 19, 2024 plt Programming Languages / CS Theory thread
Haddock now lives in the GHC repository (discourse.haskell.org)
L 18 pts 2 comments by Hecate May 18, 2024 haskell Programming Languages / CS Theory thread
Why Writing Correct Software Is Hard (2016) (pron.github.io)
L 4 pts 3 comments by ocramz May 18, 2024 compilersformalmethodsmath Systems / Low-Level / OSProgramming (General)Programming Languages / CS TheoryScience / Math / Physics thread