Programming Languages / CS Theory (2025-01) - Lobster Roll

All L HN /.~Ars

RSS

Showing stories from 2025-01. View all

Newest Oldest Top Scored Most Discussed

Regular Expressions which query Oracles (arxiv.org)

L 5 pts 0 comments by agnishom Jan 25, 2025 formalmethods Programming (General)Programming Languages / CS Theory thread

A WebAssembly compiler that fits in a tweet (wasmgroundup.com)

L 35 pts 3 comments by marianoguerra Jan 24, 2025 compilersreversingwasm Web Development Systems / Low-Level / OS Programming Languages / CS Theory thread

Template literal types in TypeScript: parsing during type checking and more (2ality.com)

L 8 pts 2 comments by adamshaylor Jan 24, 2025 javascript Web Development Programming Languages / CS Theory thread

Tilde, my LLVM alternative (yasserarg.com)

L 87 pts 29 comments by ar-nelson Jan 24, 2025 ccompilers Systems / Low-Level / OS Programming Languages / CS Theory thread

CUTECat: Concolic Execution for Computational Law (arxiv.org)

L 5 pts 0 comments by raphaelm Jan 24, 2025 formalmethodslaw Programming Languages / CS Theory thread

Guix User and Contributor Survey 2024: The Results (part 2) (guix.gnu.org)

L 7 pts 0 comments by csantosb Jan 24, 2025 linuxlispnix Systems / Low-Level / OS Programming Languages / CS Theory thread

buzz 0.5.0 release (github.com)

L 11 pts 4 comments by giann Jan 24, 2025 pltzig Programming (General)Programming Languages / CS Theory thread

My impressions of Gleam (snarky.ca)

L 10 pts 1 comments by wezm Jan 23, 2025 gleam Programming Languages / CS Theory thread

Adam Smith on Answer Set Programming (thesearch.space)

L 3 pts 1 comments by Sietsebb Jan 23, 2025 audioplt Programming (General)Programming Languages / CS Theory thread

Eve Programming Language (witheve.com)

L 29 pts 23 comments by lorddimwit Jan 23, 2025 plt Programming (General)Programming Languages / CS Theory thread

The Dusa Programming Language (dusa.rocks)

L 34 pts 8 comments by jtm Jan 23, 2025 plt Programming (General)Programming Languages / CS Theory thread

Taking a Look at Compression Algorithms (cefboud.github.io)

L 4 pts 0 comments by acatton Jan 23, 2025 programming Programming (General)Programming Languages / CS Theory thread

Denuvo Analysis (connorjaydunn.github.io)

L 31 pts 0 comments by asb Jan 23, 2025 compscicryptographysecurity Programming Languages / CS Theory Security / Privacy thread

About Safety, Security and yes, C++ and Rust (2023) (yoric.github.io)

L 6 pts 0 comments by bitfield Jan 23, 2025 c++formalmethodspltrustsecurity Systems / Low-Level / OS Programming Languages / CS Theory Security / Privacy thread

Verified and Efficient Matching of Regular Expressions with Lookaround (github.com)

L 10 pts 2 comments by agnishom Jan 23, 2025 formalmethods Programming (General)Programming Languages / CS Theory thread

Fundamental Theory of Ada: Type Model (2007) (web.archive.org)

L 6 pts 0 comments by veqq Jan 23, 2025 plt Programming Languages / CS Theory thread

Why don't constructors have override checking? (blog.jez.io)

L 8 pts 1 comments by jez Jan 22, 2025 javapltruby Programming (General)Programming Languages / CS Theory thread

Using the most unhinged AVX-512 instruction to make the fastest phrase search algorithm (gab-menezes.github.io)

L 16 pts 0 comments by l1npengtul Jan 22, 2025 assemblyperformancerust Systems / Low-Level / OS Programming Languages / CS Theory Data / Databases / Infrastructure thread

Oleg's Programming Site (okmij.org)

L 49 pts 11 comments by veqq Jan 22, 2025 compscipltprogramming Programming (General)Programming Languages / CS Theory thread

Guile Hoot 0.6.0 released (spritely.institute)

L 42 pts 4 comments by dustyweb Jan 22, 2025 lispwasm Web Development Programming Languages / CS Theory thread

Embedding Python in Rust (for tests) (enterprisedb.com)

L 1 pts 0 comments by eatonphil Jan 22, 2025 pythonrusttesting AI / Machine Learning Systems / Low-Level / OS Programming (General)Programming Languages / CS Theory thread

nautilus-python (gitlab.gnome.org)

L 5 pts 4 comments by dz4k Jan 22, 2025 linuxpython Systems / Low-Level / OS Programming (General)Programming Languages / CS Theory thread

Bitcask: A Log-Structured Hash Table for Fast Key/Value Data (2010) (riak.com)

L 2 pts 0 comments by bitfield Jan 22, 2025 databaseserlangpdf Programming Languages / CS Theory Data / Databases / Infrastructure thread

A platform that moulds to your needs (xenodium.com)

L 9 pts 5 comments by xenodium Jan 21, 2025 emacslisp Programming (General)Programming Languages / CS Theory thread

Hyperbole: Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView (github.com)

L 13 pts 0 comments by lenny Jan 21, 2025 haskellweb Web Development Programming (General)Programming Languages / CS Theory thread

ACTORS: A Model of Concurrent Computation in Distributed Systems (1985) (dspace.mit.edu)

L 14 pts 10 comments by animatronic Jan 21, 2025 distributed Programming Languages / CS Theory Data / Databases / Infrastructure thread

Programming languages after LLMs (thetechenabler.substack.com)

L 4 pts 9 comments by eeue56 Jan 21, 2025 plt Programming (General)Programming Languages / CS Theory thread

dreaming of smel shell (taylor.town)

L 47 pts 16 comments by surprisetalk Jan 21, 2025 designpltunix Systems / Low-Level / OS Programming Languages / CS Theory Design / UX / Visualization thread

Type Inference in Rust and C++ (herecomesthemoon.net)

L 19 pts 3 comments by mond Jan 21, 2025 c++pltrust Systems / Low-Level / OS Programming Languages / CS Theory thread

Perl Weekly Issue #704 - Perl Podcast (perlweekly.com)

L 3 pts 0 comments by peateasea Jan 21, 2025 perl Programming (General)Programming Languages / CS Theory Internet / Digital Culture thread

← Newer Older →