🦞🌯 Lobster Roll

All LHN/.~Ars
RSS

Showing stories from 2025-01. View all

NewestOldestTop ScoredMost Discussed
Fixing Slipshow's worst flaw using OCaml and a monad (choum.net)
Ruby on Rails on WebAssembly, the full-stack in-browser journey (web.dev)
Fast Directory Tree Traversal: Haskell Streamly Beats Rust (confengine.com)
Blazing-Fast Directory Tree Traversal: Haskell Streamly Beats Rust (youtube.com)
How Jane Street accidentally built a better build system for OCaml (blog.janestreet.com)
Infinite Apply – Lambda Calculus (infinite-apply.marvinborner.de)
Implementing OpenMP for Zig to enable its use in HPC context (arxiv.org)
A better build system for OCaml (blog.janestreet.com)
Introducing sealed types (cheriot.org)
Ranking Programming Languages by Energy Efficiency (haslab.github.io)
This paper compares a large set of programming languages regarding their efficiency, including from an energetic point-of-view. Indeed, we seek to establish and analyze different rankings for programming languages based on their energy efficiency. The goal of being able to rank programming languages...
Fast Directory Tree Traversal: Haskell Streamly Beats Rust [video] (youtube.com)
Pointers Are Complicated II, or: We need better language specs (2020) (ralfj.de)
History of APL in the USSR (dl.acm.org)
In Zig, What's a Writer? (openmymind.net)
We accidentally built a better build system for OCaml (blog.janestreet.com)
Writing brittle code (blog.waleedkhan.name)
The jank programming language: Dialect of Clojure compiled to LLVM (jank-lang.org)
Parametric Subtyping for Structural Parametric Polymorphism (blog.sigplan.org)
From C++ to Clojure: Jank language promises best of both (thenewstack.io)
Why sorting is harder than it seems (mill.plainopen.com)
Parsing PDFs (and more) in Elixir using Rust (chriis.dev)
Hell (Haskell Shell): Year in Review (chrisdone.com)
Picking Equatable Names (thunderseethe.dev)
Hell (Haskell shell) (chrisdone.com)
Zig Running on the Nintendo 64 (fsl.yellowapple.us)
Toploc: A Locality Sensitive Hashing Scheme for Trustless Verifiable Inference (primeintellect.ai)
Bidirectional Typechecking is Bidirectional (cybercat-institute.github.io)
Multicore Property-Based Tests for OCaml 5: Challenges and Lessons Learned (tarides.com)
Multicore Property-Based Tests for OCaml 5: Challenges and Lessons Learned (tarides.com)
A Modern Compiler for the French Tax Code (inria.hal.science)