Yo, PLT nerds @Jay59009444 just dropped…
This is a dev post classified by AGK Intelligence as Languages & runtimes (a tool drop), kept by the Dev Radar because it carries real work, not commentary.
Yo, PLT nerds @Jay59009444 just dropped https://github.com/Barry-Jay-personal/typing-rules-as-programs. Explainer PDF at https://github.com/barry-jay-personal/typing-rules-as-programs/blob/main/paper/typing-rules-become-programs.pdf
Posted by geoff (91.2k followers) 2 h ago · 25 likes · 2.1k views · view the original post on X. Kept by the Dev Radar as Languages & runtimes. Tools mentioned: typing-rules-as-programs.
More dev work like this
- また別の自作 wasm 言語を試作してる。 — @mizchi
- My talk at @golab_conf last October is now available on Youtube. — @raphamorims
- #Python #DataScience! #BigData #Analytics #DataScience #AI #MachineLearning #IoT #IIoT… — @gp_pulipaka
- Prime functions in Python! BigData #Analytics #DataScience #AI #MachineLearning #IoT… — @gp_pulipaka
- javascript esoterica. — @xah_lee
- rust crate for fff was downloaded quarter million times — @neogoose_btw
- The Ultimate Guide to Elixir for Object-Oriented Programmers by Bruce Park is now in… — @burkov
- Most programming languages let you stash content in the resulting binary, but Go's… — @rseroter
Every post is read and classified by AGK Intelligence: what it is, which market it belongs to, and whether the link is a real tool. 31.7k posts from 5k X accounts over the last 21 days, 9.4k tools, 12 markets. New posts are collected several times an hour and the full ranking is recomputed every hour — last update 2026-11-05 14:03 UTC. Full method.