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

How I think about Zig and Rust (lewiscampbell.tech)

HN 4 pts 0 comments by thunderbong Jan 24, 2025 Systems / Low-Level / OS 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

Remote: Growing from Zero to Unicorn with Elixir (elixir-lang.org)

HN 6 pts 1 comments by ArthurN Jan 24, 2025 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

Pioneering CERN scheme will pay publishers more if they hit open-science targets (nature.com)

HN 3 pts 0 comments by jmsflknr Jan 24, 2025 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

North Korean dev who renamed himself 'Bane' accused of IT worker fraud scheme (theregister.com)

HN 2 pts 0 comments by rntn Jan 24, 2025 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

LLDB for Zig (github.com)

HN 2 pts 0 comments by ingve Jan 24, 2025 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

Birmingham sues drug companies, says city hurt by 'insulin pricing scheme' (al.com)

HN 1 pts 0 comments by Jimmc414 Jan 24, 2025 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

How I think about Zig and Rust (lewiscampbell.tech)

HN 2 pts 0 comments by thunderbong Jan 23, 2025 Systems / Low-Level / OS 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

Why Racket? Why Lisp? (beautifulracket.com)

HN 11 pts 1 comments by awll Jan 23, 2025 Programming Languages / CS Theory thread

Lisp: What is the difference between quote and list? (stackoverflow.com)

HN 2 pts 0 comments by behnamoh Jan 23, 2025 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

Seven Charged in Nation's Largest Covid-19 Tax Credit Scheme (justice.gov)

HN 7 pts 0 comments by impish9208 Jan 23, 2025 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

Memory Allocation in Zig. Working with Netlink (blog.0x1b.me)

HN 5 pts 1 comments by vitalnodo Jan 23, 2025 Programming Languages / CS Theory 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

I made a multiplayer shooter game in Lisp, here is my journey (ertu.dev)

HN 246 pts 54 comments by ertucetin Jan 22, 2025 Programming Languages / CS Theory 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

← Newer Older →