Programming Languages / CS Theory (2024-05) - Lobster Roll

All L HN /.~Ars

RSS

Showing stories from 2024-05. View all

Newest Oldest Top Scored Most Discussed

Practical third-party library sandboxing with RLBox (rlbox.dev)

L 6 pts 1 comments by fanf May 18, 2024 c++securitywasm Web Development Systems / Low-Level / OS Programming (General)Programming Languages / CS Theory Security / Privacy Culture / Philosophy / History / Reading thread

Computer Scientists Invent an Efficient New Way to Count (quantamagazine.org)

L 20 pts 4 comments by indigo May 17, 2024 compsci Programming Languages / CS Theory Science / Math / Physics thread

HVM2: A parallel evaluator for interactive combinators (github.com)

L 4 pts 0 comments by df May 17, 2024 compilerspdfscaling Systems / Low-Level / OS Programming Languages / CS Theory Productivity / Career / Business thread

Bend: a high-level language that runs on GPUs (via HVM2) (github.com)

L 35 pts 12 comments by tekknolagi May 17, 2024 compilersperformance Systems / Low-Level / OS Programming Languages / CS Theory Data / Databases / Infrastructure thread

Kafka Consumers in Python - A Walkthrough (youtu.be)

L 2 pts 0 comments by krisajenkins May 17, 2024 pythonvideo Programming (General)Programming Languages / CS Theory Data / Databases / Infrastructure thread

Golang is evil on shitty networks (2022) (withinboredom.info)

L 48 pts 25 comments by fcbsd May 17, 2024 gonetworking Programming (General)Programming Languages / CS Theory Data / Databases / Infrastructure thread

Visualizing algorithms for rate limiting (smudge.ai)

L 11 pts 0 comments by m_eiman May 17, 2024 apivisualization Programming (General)Programming Languages / CS Theory Design / UX / Visualization thread

on hoot, on boot (wingolog.org)

L 31 pts 2 comments by flockofbirbs May 16, 2024 lispwasm Web Development Programming Languages / CS Theory thread

Avi Wigderson Named 2023 ACM Turing Award Winner (awards.acm.org)

L 3 pts 0 comments by thesnowmancometh May 16, 2024 compsciformalmethodsmath Programming Languages / CS Theory Science / Math / Physics thread

Release 0.4.0 · buzz-language/buzz (github.com)

L 11 pts 2 comments by giann May 16, 2024 plt Programming Languages / CS Theory thread

Odin programming language now supports NetBSD (github.com)

L 11 pts 0 comments by jaypatelani May 16, 2024 netbsd Systems / Low-Level / OS Programming (General)Programming Languages / CS Theory thread

Some notes on Rust, mutable aliasing and formal verification (graydon2.dreamwidth.org)

L 57 pts 14 comments by asb May 16, 2024 pltrust Systems / Low-Level / OS Programming Languages / CS Theory thread

Bad Apple, But It's An Animated QR Code of Bad Apple (a.exozy.me)

L 12 pts 3 comments by eBPF May 16, 2024 compsci Programming (General)Programming Languages / CS Theory Apple / macOS / iOS thread

Make a game with Hoot for the Lisp Game Jam (spritely.institute)

L 13 pts 0 comments by dustyweb May 15, 2024 gameslispwasm Web Development Programming Languages / CS Theory Gaming / Retro Computing thread

Theory and practice of chunked sequences (deepsea.inria.fr)

L 2 pts 0 comments by fanf May 15, 2024 compsci Programming Languages / CS Theory thread

Translation of Rust's core and alloc crates to Coq (formal.land)

L 16 pts 0 comments by jmillikin May 15, 2024 formalmethodsrust Systems / Low-Level / OS Programming Languages / CS Theory thread

The type of sprintf (ryanbrewer.dev)

L 5 pts 0 comments by jmillikin May 15, 2024 formalmethods Programming Languages / CS Theory thread

This is why you should never use de Bruijn indices, especially if you program in Rust (safinaskar.writeas.com)

L 5 pts 0 comments by safinaskar May 15, 2024 compilersformalmethodshaskellpltrust Systems / Low-Level / OS Programming (General)Programming Languages / CS Theory thread

Add sysctl to disable Nagle's algorithm (RFC 896 - Congestion Control) (marc.info)

L 32 pts 11 comments by milkcanworld May 14, 2024 networkingopenbsd Systems / Low-Level / OS Programming Languages / CS Theory Data / Databases / Infrastructure thread

Going to the cinema is a data visualization problem (tonsky.me)

L 51 pts 11 comments by adamshaylor May 14, 2024 clojurereleaseweb Web Development Programming Languages / CS Theory Design / UX / Visualization thread

1001 Representations of Syntax with Binding (comparison table) (2021) (jesper.cx)

L 7 pts 3 comments by safinaskar May 14, 2024 compilersformalmethodshaskellplt Systems / Low-Level / OS Programming Languages / CS Theory thread

Higher RAII, and the Seven Arcane Uses of Linear Types (verdagon.dev)

L 8 pts 3 comments by jado May 14, 2024 plt Programming Languages / CS Theory thread

How bad is LLVM really? (c3.handmade.network)

L 41 pts 38 comments by jmillikin May 14, 2024 compilers Systems / Low-Level / OS Programming Languages / CS Theory thread

Bye Opam, Hello Nix (priver.dev)

L 21 pts 8 comments by knl May 14, 2024 mlnix Systems / Low-Level / OS Programming Languages / CS Theory thread

Mojo: a deep dive on ownership (youtube.com)

L 5 pts 0 comments by jado May 14, 2024 pltvideo Programming Languages / CS Theory thread

References are like jumps (without.boats)

L 81 pts 23 comments by withoutboats May 13, 2024 pltrust Systems / Low-Level / OS Programming Languages / CS Theory thread

Slint 1.6 Released with Design Mode Improvements, Python Packages, and Enhanced Accessibility (slint.dev)

L 9 pts 2 comments by raymii May 13, 2024 c++designrelease Systems / Low-Level / OS Programming Languages / CS Theory Design / UX / Visualization thread

Inside the Cult of the Haskell Programmer (wired.com)

L 2 pts 18 comments by restrictedchoice May 13, 2024 haskell Programming (General)Programming Languages / CS Theory thread

Agda Core: The Dream and the Reality (jesper.cx)

L 18 pts 2 comments by hwj May 13, 2024 plt Programming Languages / CS Theory thread

ZenVer: A post-modern versioning scheme that does not suck (github.com)

L 4 pts 6 comments by RGBCube May 13, 2024 programmingsatire Programming (General)Programming Languages / CS Theory thread

← Newer Older →