pull down to refresh

Extended Framework: Puncture Operator as Monadbeyondturbulence.blogspot.com/p/extended-framework-puncture-operator-as.html?m=1
0 sats \ 1 comment \ @beyond_turbulence 7 Dec lightning
related
Bthreads: A Simple and Easy Paradigm for Clojurethomascothran.tech/2024/10/a-new-paradigm/
11 sats \ 0 comments \ @Rsync25 11 Nov 2024 tech
MCP tools with dependent typesvlaaad.github.io/mcp-tools-with-dependent-types
121 sats \ 0 comments \ @carter 19 Aug AI
I'm Not Mutable, I'm Partially Instantiated (Prolog)blog.dnmfarrell.com/post/incomplete-data-structures/
21 sats \ 0 comments \ @hn 7 Nov 2024 tech
Merkleized Abstract Syntax Treesbtctranscripts.com/bitcoin-core-dev-tech/2017-09-07-merkleized-abstract-syntax-trees/
20 sats \ 0 comments \ @pietro1861 9 Aug 2023 bitcoin
Fp-go: Functional Programming Library for Golanggithub.com/IBM/fp-go
24 sats \ 1 comment \ @hn 18 Aug 2023 tech
Some notes on Rust, mutable aliasing and formal verificationgraydon2.dreamwidth.org/312681.html
31 sats \ 0 comments \ @hn 16 May 2024 tech
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
NixCon2023 Nuenv: an experimental derivation builder for Nixwww.youtube.com/watch?v=QwElUltNsq0
37 sats \ 1 comment \ @nerd2ninja 21 Apr 2024 NixOS
Ada's Dependent Types, and Its Types as a Wholenytpu.com/gemlog/2024-12-27
41 sats \ 0 comments \ @hn 28 Dec 2024 tech
Making Sense of Lambda Calculus 0: Abstration, Reduction, Substitution?aartaka.me/lambda-0
21 sats \ 0 comments \ @hn 10 Nov 2024 tech
Candle: Minimalist ML framework for Rustgithub.com/huggingface/candle
10 sats \ 0 comments \ @Rsync25 29 Jun 2024 rust
Blocking code is a leaky abstractionnotgull.net/blocking-leaky/
133 sats \ 0 comments \ @Rsync25 20 Oct 2024 tech
The weird of function-local types in Rust | Bonelastio.github.io/bon/blog/the-weird-of-function-local-types-in-rust
10 sats \ 0 comments \ @Rsync25 21 Aug 2024 tech
more-speech: A Nostr browser in Clojuregithub.com/unclebob/more-speech
408 sats \ 0 comments \ @cryptocoin 18 Oct 2022 nostr
Another Nostr Relay in a Functional Languageiris.to/note1ud2pq08ysfmhujprj526ecj0aeld9ppxruh6r69kfsu3usns0c6s95a2f6
529 sats \ 0 comments \ @vladys 21 May 2023 nostr
On Claude 3.0thezvi.substack.com/p/on-claude-30
42 sats \ 0 comments \ @co574 7 Mar 2024 BooksAndArticles
Lance: Modern columnar data format for ML and LLMs implemented in Rustgithub.com/lancedb/lance
10 sats \ 0 comments \ @Rsync25 9 Jun 2024 rust
Show HN: Rill – Composable concurrency toolkit for Gogithub.com/destel/rill
11 sats \ 0 comments \ @hn 25 Nov 2024 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
Claude Code now supports hooksdocs.anthropic.com/en/docs/claude-code/hooks
131 sats \ 1 comment \ @carter 1 Jul AI
Hyper: An HTTP library for Rustgithub.com/hyperium/hyper
10 sats \ 0 comments \ @Rsync25 22 Jun 2024 rust