pull down to refresh

Safer recursion in F#devblogs.microsoft.com/dotnet/safer-recursion-in-fsharp/
10 sats \ 0 comments \ @fn2pNET 3 Jan 2024 dotnet
related
How Does Recursion Work? Explained with Code Exampleswww.freecodecamp.org/news/what-is-recursion/
30 sats \ 0 comments \ @Rsync25 3 Nov 2024 tech
Rust Generic Function Size Trickedgl.dev/blog/rust-fn-size-trick/
10 sats \ 0 comments \ @Rsync25 2 Jul 2024 rust
Python f-strings Are More Powerful Than You Might Thinkmartinheinz.dev/blog/70
100 sats \ 2 comments \ @m0wer 15 Jul tech
Fp-go: Functional Programming Library for Golanggithub.com/IBM/fp-go
24 sats \ 1 comment \ @hn 18 Aug 2023 tech
An Optimization That's Impossible in Rust!www.tunglevo.com/note/an-optimization-thats-impossible-in-rust/
10 sats \ 0 comments \ @Rsync25 4 Sep 2024 tech
Why Tail-Recursive Functions are Loopskmicinski.com/functional-programming/2025/08/01/loops/
21 sats \ 0 comments \ @carter 12 Aug devs
Some notes on Rust, mutable aliasing and formal verificationgraydon2.dreamwidth.org/312681.html
31 sats \ 0 comments \ @hn 16 May 2024 tech
Fixing for loops in Go 1.22go.dev/blog/loopvar-preview
21 sats \ 3 comments \ @hn 19 Sep 2023 tech
Tokio: A runtime for writing reliable asynchronous applications with Rustgithub.com/tokio-rs/tokio
10 sats \ 0 comments \ @Rsync25 2 Jul 2024 rust
@ghfhfghf's bio
85 sats \ 4 comments \ @ghfhfghf 2 Jun 2024 freebie
Lessons learned from a successful Rust rewritegaultier.github.io/blog/lessons_learned_from_a_successful_rust_rewrite.html
139 sats \ 0 comments \ @Rsync25 30 Oct 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
RS Merkle: The most advanced Merkle tree library for Rustgithub.com/antouhou/rs-merkle
67 sats \ 0 comments \ @Rsync25 28 Aug 2023 bitcoin
Rust Tutorial – Learn Advanced Iterators & Pattern Matching by Buildingwww.freecodecamp.org/news/rust-tutorial-build-a-json-parser/
10 sats \ 0 comments \ @Rsync25 1 Sep 2024 tech
Fstrings.wtffstrings.wtf/
130 sats \ 0 comments \ @hn 19 Jul tech
Remove pathfinding "second chance" logicgithub.com/lightningnetwork/lnd/issues/6883
130 sats \ 3 comments \ @DarthCoin 4 Sep 2022 bitcoin
The search for easier safe systems programmingwww.sophiajt.com/search-for-easier-safe-systems-programming/
137 sats \ 0 comments \ @hn 8 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
Understanding JavaScript Currying with a Real-World Applicationdev.to/thedevricha/understanding-javascript-currying-with-a-real-world-application-51n9
13 sats \ 1 comment \ @ch0k1 22 Jan devs
[Puzzle] Safe Code
165 sats \ 5 comments \ @0xbitcoiner 30 Oct 2024 science
What Rust Got Wrong on Formal Verificationgavinhoward.com/2024/05/what-rust-got-wrong-on-formal-verification/
133 sats \ 0 comments \ @brandonsbytes 23 May 2024 devs