Programming Languages (RSS Feed)

This subreddit is dedicated to the theory, design and implementation of programming languages.

https://www.reddit.com/r/ProgrammingLanguages

Public Key

npub1m0ra28cfppde7675s0remmzrzulfm3cqyhqm3rqlnpcz8hljqyeqfxwnem

NIP-05 Address

https://www.reddit.com/r/[email protected]

Profile Code

nprofile1qqsdh374ruysskuld02g83uaa3p3w05acuqztsdc3s0esuprmleqzvspz3mhxue69uhhyetvv9ujuerpd46hxtnfduqs6amnwvaz7tmwdaejumr0dscjlaz0

Publishing to

relay.damus.io

nos.lol

Author Public Key

npub1m0ra28cfppde7675s0remmzrzulfm3cqyhqm3rqlnpcz8hljqyeqfxwnem

Show more details

Last Notes

2024-07-26 01:01:24

Where does the name "algebraic data type" come from?
https://www.reddit.com/r/ProgrammingLanguages/comments/1ec8pjf/where_does_the_name_algebraic_data_type_come_from/

2024-05-27 11:40:02

Looking for a fast, batteries included scripting language to replace Bash / Python
https://www.reddit.com/r/ProgrammingLanguages/comments/1d1nsfk/looking_for_a_fast_batteries_included_scripting/

2024-05-26 02:57:45

What can we learn from programming language version numbers?
https://www.reddit.com/r/ProgrammingLanguages/comments/1d0q166/what_can_we_learn_from_programming_language/

2024-05-24 06:54:45

Bridging between source languages, in Wasm
https://www.reddit.com/r/ProgrammingLanguages/comments/1czcv3v/bridging_between_source_languages_in_wasm/

2024-04-27 20:39:02

jank development update - Lazy sequences!
https://www.reddit.com/r/ProgrammingLanguages/comments/1cell6w/jank_development_update_lazy_sequences/