Programming Languages / CS Theory (2024-11)

BlackRock's $530M Fund Taps into DeFi Through Curve and Elixir Partnership (news.curve.fi)

HN 1 pts 0 comments by donsupreme Nov 30, 2024 Programming Languages / CS Theory Crypto / Blockchain thread

Compilation on the GPU? A feasibility study (dl.acm.org)

L 21 pts 4 comments by fanf Nov 30, 2024 compilersperformance Systems / Low-Level / OS Programming Languages / CS Theory Data / Databases / Infrastructure thread

Semantics of Programming (video lectures that go with the "Concrete Semantics" book) (live.rbg.tum.de)

L 3 pts 0 comments by nikki93 Nov 30, 2024 formalmethods Programming (General)Programming Languages / CS Theory Culture / Philosophy / History / Reading thread

I've been working through the "Software Foundations" material that's been mentioned around here; and also briefly looked at but haven't yet worked through "Concrete Semantics." I do like watching / listening to lectures too, and I came across a bunch for Software Foundations (also some from Xavier L...

Python type hints are probably "worth it" for me (utcc.utoronto.ca)

L 8 pts 1 comments by carlana Nov 30, 2024 python Programming (General)Programming Languages / CS Theory thread

Safe relational database queries using the Rust type system (blog.lucasholten.com)

HN 270 pts 172 comments by lukastyrychtr Nov 30, 2024 Systems / Low-Level / OS Programming Languages / CS Theory Data / Databases / Infrastructure thread

Dependent Types and the Art of HTTP Headers (github.com)

HN 2 pts 1 comments by g0xA52A2A Nov 30, 2024 Programming Languages / CS Theory thread

Operator transposition (moonbase.lgbt)

L 18 pts 5 comments by cadey Nov 30, 2024 javascriptplt Web Development Programming Languages / CS Theory thread

Exploring parsing APIs: the cost of recursion (osa1.net)

L 6 pts 0 comments by emschwartz Nov 30, 2024 performanceplt Programming Languages / CS Theory Data / Databases / Infrastructure thread

jank is now running on LLVM IR (jank-lang.org)

L 34 pts 4 comments by jeaye Nov 29, 2024 clojurecompilersplt Systems / Low-Level / OS Programming Languages / CS Theory thread

Getting Started with Category Theory (ryanbrewer.dev)

HN 51 pts 32 comments by hoping1 Nov 29, 2024 Programming Languages / CS Theory thread

Python Type System Conformance Test Results (github.com)

HN 2 pts 2 comments by GalaxySnail Nov 29, 2024 Programming Languages / CS Theory thread

Glojure: Clojure interpreter hosted on Go, with extensible interop support (github.com)

HN 234 pts 68 comments by networked Nov 29, 2024 Programming Languages / CS Theory thread

Zon – object notation like JSON in Zig (github.com)

HN 3 pts 0 comments by begoon Nov 29, 2024 Programming Languages / CS Theory thread

Evaluating Human Factors Beyond Lines of Code (blog.sigplan.org)

L 9 pts 0 comments by azhenley Nov 29, 2024 plt Programming (General)Programming Languages / CS Theory thread

GoReleaser is adding support for building Zig (goreleaser.com)

HN 3 pts 0 comments by caarlos0 Nov 29, 2024 Programming Languages / CS Theory thread

Gleam's Lustre is Frontend Development's Endgame (blog.nestful.app)

L 26 pts 1 comments by felixyz Nov 28, 2024 gleam Web Development Programming Languages / CS Theory thread

Advent of Code in Zig (kristoff.it)

HN 5 pts 0 comments by ingve Nov 28, 2024 Programming Languages / CS Theory thread

Elm & The Future of Open Source (with Evan Czaplicki) (youtube.com)

L 50 pts 2 comments by lpil Nov 28, 2024 elmvideo Programming (General)Programming Languages / CS Theory thread

You Have Built an Erlang (vereis.com)

L 83 pts 44 comments by emschwartz Nov 28, 2024 distributederlang Programming Languages / CS Theory Data / Databases / Infrastructure thread

A Code Centric Journey Into the Gleam Language (youtube.com)

L 7 pts 0 comments by crowdhailer Nov 28, 2024 gleamvideo Programming (General)Programming Languages / CS Theory thread

These Languages are Accumulating (jcarroll.com.au)

L 7 pts 0 comments by bitfield Nov 28, 2024 haskellpltpython Programming (General)Programming Languages / CS Theory thread

Dependent Types and the Art of HTTP Headers (unwoundstack.com)

HN 41 pts 0 comments by todsacerdoti Nov 28, 2024 Programming Languages / CS Theory thread

Python type hints may not be not for me in practice (utcc.utoronto.ca)

L 12 pts 20 comments by telemachus Nov 27, 2024 python Programming (General)Programming Languages / CS Theory thread

Floss Weekly – Elixir and Nerves (hackaday.com)

HN 4 pts 0 comments by lawik Nov 27, 2024 Programming Languages / CS Theory thread

You Have Built an Erlang (vereis.com)

HN 38 pts 3 comments by bo0tzz Nov 27, 2024 Programming Languages / CS Theory thread

Haskell: A Great Procedural Language (entropicthoughts.com)

HN 3 pts 0 comments by yarapavan Nov 27, 2024 Programming Languages / CS Theory thread

3D Printed Programming Language Logo Tree Ornaments: Designed in Haskell (github.com)

L 5 pts 0 comments by Hecate Nov 27, 2024 haskell Programming (General)Programming Languages / CS Theory Maker / DIY / Hardware thread

3D Printed Programming Language Logo Tree Ornaments: Designed in Haskell (github.com)

HN 2 pts 0 comments by hungryjoewarren Nov 27, 2024 Programming (General)Programming Languages / CS Theory Maker / DIY / Hardware thread

Parsing & Converting On The Fly (parnassus.co)

L 3 pts 0 comments by vintagedave Nov 27, 2024 vibecoding AI / Machine Learning Programming Languages / CS Theory thread

Python dependency management is a dumpster fire (nielscautaerts.xyz)

L 16 pts 21 comments by emschwartz Nov 27, 2024 python Programming (General)Programming Languages / CS Theory Productivity / Career / Business thread