pull down to refresh

Functional programming self-affirmationsnorikitech.com/posts/functional-affirmations/
172 sats \ 0 comments \ @Rsync25 26 Nov 2024 tech
related
How to Design Programs - Book First Edition Available Online ||||| The MIT Presshtdp.org
57 sats \ 0 comments \ @deSign_r 21 Jun Design
Why is programming fun? What delights may its practitioner expect as his reward?
529 sats \ 6 comments \ @co574 14 Mar 2024 devs
Q&A: Rich's design decisions building Clojuregist.github.com/reborg/dc8b0c96c397a56668905e2767fd697f
100 sats \ 0 comments \ @deSign_r 14 Sep Design
Wexelblat (1980): The Consequences of One's First Programming Languagefermatslibrary.com/s/the-consequences-of-ones-first-programming-language
80 sats \ 0 comments \ @sefiro 28 May 2024 devs
Learning to code: My MVP as inspired by PlebDev
7533 sats \ 28 comments \ @BlokchainB 18 Jan devs
The Functional programming approach to building apps
326 sats \ 12 comments \ @kepford 9 Jul 2024 devs
Functional programming languages should be so much better at mutationcohost.org/prophet/post/7083950-functional-programming
21 sats \ 0 comments \ @Rsync25 30 Jul 2024 tech
Fp-go: Functional Programming Library for Golanggithub.com/IBM/fp-go
24 sats \ 1 comment \ @hn 18 Aug 2023 tech
Who Can Understand the Proof? A Window on Formalized Mathematicswritings.stephenwolfram.com/2025/01/who-can-understand-the-proof-a-window-on-formalized-mathematics/
13 sats \ 0 comments \ @hn 10 Jan tech
Russell O'Connor on formal verification and libsecp256k1brink.dev/blog/2025/08/07/eng-call-russell-oconnor-formal-verification/
2191 sats \ 1 comment \ @schmidty 7 Aug bitcoin
Formal Methods: Just Good Engineering Practice? (2024)brooker.co.za/blog/2024/04/17/formal
13 sats \ 0 comments \ @hn 10 Jan tech
5 things that help you build better software.
41 sats \ 0 comments \ @RaulJunco 18 May 2024 devs
Introduction to the Theory of Programming Languages: full bookbertrandmeyer.com/2022/09/28/introduction-theory-programming-languages-full-book-now-freely-available/
42 sats \ 0 comments \ @satup 30 Sep 2022 bitcoin
Everything Is Just Functions: Mind-Blowing Insights from SICP and David Beazleyezzeriesa.notion.site/1-week-with-David-Beazley-and-SICP-4c440389cf1e43f48fe67c969967f655#58ee6b0435b24e26bd624b33ffed94df
15 sats \ 0 comments \ @hn 17 Nov 2024 tech
Forty Years of Programmingfabiensanglard.net/40/index.html
10 sats \ 1 comment \ @hn 8 Oct 2023 tech
Dev Compass – Programming Philosophy Quiztreeform.github.io/devcompas/
54 sats \ 0 comments \ @hn 17 Aug tech
My Framework For Learning How to Codewww.youtube.com/watch?v=zCBTwAGWhrM
3699 sats \ 8 comments \ @bitcoinplebdev 16 Jan devs
The Design of a Programming Language: PLpgSQL by Jan Wieckwww.youtube.com/watch?v=BV0zCw-Opo8
13 sats \ 0 comments \ @a68dd96af9 26 Jan Design
Some notes on Rust, mutable aliasing and formal verificationgraydon2.dreamwidth.org/312681.html
31 sats \ 0 comments \ @hn 16 May 2024 tech
Bthreads: A Simple and Easy Paradigm for Clojurethomascothran.tech/2024/10/a-new-paradigm/
11 sats \ 0 comments \ @Rsync25 11 Nov 2024 tech
In defense of developer depression by Rockstar devx.com/r0ckstardev/status/1868295035835281480
539 sats \ 4 comments \ @Rsync25 15 Dec 2024 bitcoin