Programming Languages / CS Theory (2024-12)

Rust, reflection and access rules (fractalfir.github.io)

L 2 pts 0 comments by emschwartz Dec 31, 2024 pltrust Systems / Low-Level / OS Programming Languages / CS Theory thread

Compiler Explorer in 2024 (patreon.com)

L 22 pts 3 comments by fanf Dec 31, 2024 compilersweb Web Development Systems / Low-Level / OS Programming Languages / CS Theory thread

huffmunch: A practical generic lossless compression library for the NES or other 6502 platforms (github.com)

L 5 pts 0 comments by JordiGH Dec 31, 2024 compsciretrocomputing Systems / Low-Level / OS Programming (General)Programming Languages / CS Theory Gaming / Retro Computing Culture / Philosophy / History / Reading thread

Solving the Traveling Salesman Problem: From Heuristics to a Potential Polynomial-Time Breakthrough (prat8897.github.io)

L 7 pts 9 comments by signal-11 Dec 31, 2024 compsciprogramming Programming (General)Programming Languages / CS Theory thread

Adding a fully-bootstrapped Mono to GNU Guix (guix.gnu.org)

L 19 pts 1 comments by awilfox Dec 30, 2024 compilersdotnetlinux Systems / Low-Level / OS Programming (General)Programming Languages / CS Theory thread

Jido – Run 10k agents at 25KB each (github.com)

L 6 pts 1 comments by mikehostetler Dec 30, 2024 elixirvibecoding AI / Machine Learning Programming Languages / CS Theory thread

I'm Mike Hostetler and I built Jido, an Agent SDK in Elixir that lets you run thousands of agents without heavy infrastructure. - Repo: https://github.com/agentjido/jido - Getting Started: https://hexdocs.pm/jido/getting-started.html Why another framework? After using several popular Agen...

Exported for tests only: Precise control over API visibility with custom warnings (tech.scrive.com)

L 3 pts 0 comments by Hecate Dec 30, 2024 haskell Programming (General)Programming Languages / CS Theory thread

Stuff I learnt in 2024 (pixel-druid.com)

L 11 pts 3 comments by bollu Dec 28, 2024 formalmethods Programming Languages / CS Theory thread

How to add metaprogramming to Gleam (lpil.uk)

L 15 pts 23 comments by emschwartz Dec 28, 2024 gleam Programming Languages / CS Theory thread

On Ada's Dependent Types, and its Types as a Whole (nytpu.com)

L 36 pts 7 comments by dzwdz Dec 28, 2024 pltprogramming Programming (General)Programming Languages / CS Theory thread

Run MCP Servers On Android with Gemini & Chicory (docs.mcp.run)

L 3 pts 0 comments by evacchi Dec 27, 2024 javavibecodingwasm AI / Machine Learning Web Development Programming (General)Programming Languages / CS Theory thread

The CAP Theorem of Clustering: Why Every Algorithm Must Sacrifice Something (blog.codingconfessions.com)

L 6 pts 2 comments by abhi9u Dec 27, 2024 aimath AI / Machine Learning Programming Languages / CS Theory Science / Math / Physics thread

Racket School 2019: How to Design Languages (school.racket-lang.org)

L 7 pts 0 comments by veqq Dec 26, 2024 lispplt Programming Languages / CS Theory Design / UX / Visualization thread

Rust and WebAssembly (2019) (rustwasm.github.io)

L 4 pts 0 comments by indigo Dec 25, 2024 rustwasm Web Development Systems / Low-Level / OS Programming Languages / CS Theory thread

Into CPS, never to return (bernsteinbear.com)

L 26 pts 4 comments by tekknolagi Dec 25, 2024 compilerslispplt Systems / Low-Level / OS Programming Languages / CS Theory thread

150 papers for Software Engineers (github.com)

L 42 pts 11 comments by facundoolano Dec 25, 2024 compscidistributedprogramming Programming (General)Programming Languages / CS Theory Data / Databases / Infrastructure thread

Against a universal definition of ‘type’ (jimmyhmiller.github.io)

L 6 pts 1 comments by emschwartz Dec 25, 2024 plt Programming Languages / CS Theory thread

Ruby 3.4.0 Released (ruby-lang.org)

L 49 pts 3 comments by havenwood Dec 25, 2024 ruby Programming (General)Programming Languages / CS Theory thread

Tiny challenges for learning WebAssembly (github.com)

L 15 pts 2 comments by eeue56 Dec 24, 2024 wasm Web Development Programming Languages / CS Theory thread

Symbolic Execution by Overloading __bool__ (philipzucker.com)

L 14 pts 1 comments by mjn Dec 24, 2024 formalmethodspython Programming (General)Programming Languages / CS Theory thread

Controlling Nondeterminism in Model-Based Tests with Prophecy Variables (concerningquality.com)

L 14 pts 4 comments by amw-zero Dec 24, 2024 databasesformalmethodstesting Programming (General)Programming Languages / CS Theory Data / Databases / Infrastructure thread

Why is GCC Better Than Clang? (youtube.com)

L 6 pts 7 comments by inactive-user Dec 24, 2024 c++compilersperformancevideo Systems / Low-Level / OS Programming Languages / CS Theory Data / Databases / Infrastructure thread

How to Program a Chess Engine in Lisp (blog.lojic.com)

L 6 pts 1 comments by azhenley Dec 23, 2024 lisp Programming (General)Programming Languages / CS Theory thread

C++ Is An Absolute Blast (learncodethehardway.com)

L 36 pts 53 comments by kaycebasques Dec 23, 2024 c++plt Systems / Low-Level / OS Programming Languages / CS Theory thread

A worked example of copy-and-patch compilation (scot.tg)

L 19 pts 0 comments by evmar Dec 23, 2024 compilersplt Systems / Low-Level / OS Programming Languages / CS Theory thread

How to collect performance statistics with Cabal (blog.haskell.org)

L 8 pts 0 comments by Hecate Dec 23, 2024 haskell Programming Languages / CS Theory thread

Formal Methods: Just Good Engineering Practice? (brooker.co.za)

L 7 pts 2 comments by phk Dec 23, 2024 formalmethods Programming Languages / CS Theory thread

What would it take to add refinement types to Rust? (yoric.github.io)

L 6 pts 2 comments by emschwartz Dec 23, 2024 pltrust Systems / Low-Level / OS Programming Languages / CS Theory thread

Four limitations of Rust’s borrow checker (blog.polybdenum.com)

L 33 pts 14 comments by imadij Dec 22, 2024 pltrust Systems / Low-Level / OS Programming Languages / CS Theory thread

Understanding Objective-C by transpiling it to C++ (jviotti.com)

L 11 pts 6 comments by calvin Dec 21, 2024 c++compilersobjectivec Systems / Low-Level / OS Programming Languages / CS Theory Apple / macOS / iOS thread