@raphinou.bsky.social
Without knowing, seems I've doing some spec driven devel for @asfaload.bsky.social lately. I maintain the spec github.com/asfaload/spec in parallel of the code at github.com/asfaload/asf... . This helped #ai use both in code generation and review. Just discovered via martinfowler.com/articles/exp...
GitHub - asfaload/spec: Specification of the asfaload signing scheme
Specification of the asfaload signing scheme. Contribute to asfaload/spec development by creating an account on GitHub.
github.com
October 17, 2025 at 10:07 AM
Without knowing, seems I've doing some spec driven devel for @asfaload.bsky.social lately. I maintain the spec github.com/asfaload/spec in parallel of the code at github.com/asfaload/asf... . This helped #ai use both in code generation and review. Just discovered via martinfowler.com/articles/exp...
#github now publishes the sha256 of every project's new github releases assets. To ease the validation process I made a small downloader tool in #rust validating the sha256 after download: github.com/asfaload/asf...
GitHub - asfaload/asfald: Download files and check their integrity
Download files and check their integrity. Contribute to asfaload/asfald development by creating an account on GitHub.
github.com
October 1, 2025 at 12:22 PM
#github now publishes the sha256 of every project's new github releases assets. To ease the validation process I made a small downloader tool in #rust validating the sha256 after download: github.com/asfaload/asf...
Just merged a refactoring ensuring the code works on a hash value, and not any bytes value, by wrapping said value in a #rust enum (similar #fsharp DU). Fearless refactorings are so enjoyable, don't want to imagine doing it without assistance of the typesystem! github.com/asfaload/asf...
32 wrap all hash values in an enum by rbauduin · Pull Request #33 · asfaload/asfasign
github.com
September 25, 2025 at 3:34 PM
Just merged a refactoring ensuring the code works on a hash value, and not any bytes value, by wrapping said value in a #rust enum (similar #fsharp DU). Fearless refactorings are so enjoyable, don't want to imagine doing it without assistance of the typesystem! github.com/asfaload/asf...
Reposted
soweli-p/FsiX: A better REPL for F# with project/solution support and hot reloading. #fsharp github.com/soweli-p/FsiX
GitHub - soweli-p/FsiX: A better REPL for F# with project/solution support and hot reloading.
A better REPL for F# with project/solution support and hot reloading. - GitHub - soweli-p/FsiX: A better REPL for F# with project/solution support and hot reloading.
github.com
August 24, 2025 at 5:38 AM
soweli-p/FsiX: A better REPL for F# with project/solution support and hot reloading. #fsharp github.com/soweli-p/FsiX
I like to visit freshstuff.net to #discover new #software projects. Disclaimer: I primarily built it for me and for that purpose 😁 But would be great if others use it regularly too.
Freshstuff - 2025-06-22
freshstuff.net
June 22, 2025 at 7:13 PM
I like to visit freshstuff.net to #discover new #software projects. Disclaimer: I primarily built it for me and for that purpose 😁 But would be great if others use it regularly too.
#rust encourages immutability, but to a new rustacean coming from #fsharp mutability is very present. Today's example: PathBuf. I had the expectation that push would return a new updated value, but it mutates in place, so my code "let p2=p.push(ext)" was incorrect. Took me some time to realise
PathBuf in std::path - Rust
An owned, mutable path (akin to `String`).
doc.rust-lang.org
June 17, 2025 at 3:16 PM
I will share asfaload.com updates and progress at @asfaload.bsky.social with tag #buildinpublic . Take a look if it's the kind of stuff you're interested in! Tech used is #fsharp and #rust
June 11, 2025 at 9:44 AM
I will share asfaload.com updates and progress at @asfaload.bsky.social with tag #buildinpublic . Take a look if it's the kind of stuff you're interested in! Tech used is #fsharp and #rust
Starting with #rust coming from #fsharp, I wanted to try and keep my functional habits of immutability, being ready to take a performance hit if reasonable. It seems that in some scenarios, there wouldn't even be a perf hit: ecency.com/rust-lang/@j...
That's encouraging!
That's encouraging!
Zero-cost Functional Records in Rust
Rust enables zero-cost functional style by @jonwolski
ecency.com
June 8, 2025 at 5:59 PM
Starting with #rust coming from #fsharp, I wanted to try and keep my functional habits of immutability, being ready to take a performance hit if reasonable. It seems that in some scenarios, there wouldn't even be a perf hit: ecency.com/rust-lang/@j...
That's encouraging!
That's encouraging!
Reposted
It’s also a great reminder to all #fsharp devs that wanted “official” LSP/VSCode-extension from MSFT…
Ionide and FsAutoComplete may not be perfect, but at least I won’t fuck around with licenses.
Ionide and FsAutoComplete may not be perfect, but at least I won’t fuck around with licenses.
April 9, 2025 at 11:24 PM
It’s also a great reminder to all #fsharp devs that wanted “official” LSP/VSCode-extension from MSFT…
Ionide and FsAutoComplete may not be perfect, but at least I won’t fuck around with licenses.
Ionide and FsAutoComplete may not be perfect, but at least I won’t fuck around with licenses.
Reposted
There's a #fsharp post on #hn currently: news.ycombinator.com/item?id=4354...
I shared my own adoption of fsharp in this comment: news.ycombinator.com/item?id=4354...
I shared my own adoption of fsharp in this comment: news.ycombinator.com/item?id=4354...
Why F#? | Hacker News
news.ycombinator.com
April 1, 2025 at 3:32 PM
There's a #fsharp post on #hn currently: news.ycombinator.com/item?id=4354...
I shared my own adoption of fsharp in this comment: news.ycombinator.com/item?id=4354...
I shared my own adoption of fsharp in this comment: news.ycombinator.com/item?id=4354...
#typescript DU types require an explicit discriminating field
type T1 = {type:"one"};
type T2 = {type:"two"};
type U = |T1 | T2;
So you have to write field 'type' explicitly. But then you can still compile `var v : U = {} as T1;`. There are reasons, but it still feels weird coming from #fsharp
type T1 = {type:"one"};
type T2 = {type:"two"};
type U = |T1 | T2;
So you have to write field 'type' explicitly. But then you can still compile `var v : U = {} as T1;`. There are reasons, but it still feels weird coming from #fsharp
March 6, 2025 at 8:14 AM
#typescript DU types require an explicit discriminating field
type T1 = {type:"one"};
type T2 = {type:"two"};
type U = |T1 | T2;
So you have to write field 'type' explicitly. But then you can still compile `var v : U = {} as T1;`. There are reasons, but it still feels weird coming from #fsharp
type T1 = {type:"one"};
type T2 = {type:"two"};
type U = |T1 | T2;
So you have to write field 'type' explicitly. But then you can still compile `var v : U = {} as T1;`. There are reasons, but it still feels weird coming from #fsharp
A couple of weeks after someone suggested #fsharp is dying, and we get the most blogpost- and release-packed 'fsharp weekly' from @sergeytihon.com in a long time: sergeytihon.com/2025/03/01/f...
But still no f# foundation activity in sight. The language is far from dead,but the fssf might well be
But still no f# foundation activity in sight. The language is far from dead,but the fssf might well be
F# Weekly #9 2025 – .NET 10 Preview 1
Welcome to F# Weekly, A roundup of F# content from this past week: News School of .NET .NET 10 Preview 1 is now available! – .NET Blog .NET Aspire 9.1 is here with six great new dashboard fea…
sergeytihon.com
March 2, 2025 at 8:22 AM
A couple of weeks after someone suggested #fsharp is dying, and we get the most blogpost- and release-packed 'fsharp weekly' from @sergeytihon.com in a long time: sergeytihon.com/2025/03/01/f...
But still no f# foundation activity in sight. The language is far from dead,but the fssf might well be
But still no f# foundation activity in sight. The language is far from dead,but the fssf might well be
Am I the only #fsharp dev polling @sergeytihon.com 's website several times during the weekend before the new fsharp weekly edition actually gets published?
February 23, 2025 at 2:08 PM
Am I the only #fsharp dev polling @sergeytihon.com 's website several times during the weekend before the new fsharp weekly edition actually gets published?
Reposted
This week in #AmplifyingFSharp: Not just good-looking #fsharp code and hosts but also good-looking #pixelart on the #pxlclock.
Join us on Friday and let @schlenkr.bsky.social show you how to do it.
amplifyingfsharp.io/sessions/202...
Join us on Friday and let @schlenkr.bsky.social show you how to do it.
amplifyingfsharp.io/sessions/202...
Hackable PXL-Art for the Masses | Amplifying F#
amplifyingfsharp.io
February 17, 2025 at 11:16 AM
This week in #AmplifyingFSharp: Not just good-looking #fsharp code and hosts but also good-looking #pixelart on the #pxlclock.
Join us on Friday and let @schlenkr.bsky.social show you how to do it.
amplifyingfsharp.io/sessions/202...
Join us on Friday and let @schlenkr.bsky.social show you how to do it.
amplifyingfsharp.io/sessions/202...
Reposted
Today's project to discover is museeks.io , a music player. Download it safely from github.com/martpie/muse... with github.com/asfaload/asf...
#friday #project #discovery
#friday #project #discovery
Museeks - A simple, clean and cross-platform music player
Museeks is a simple, clean and cross-platform music player, focusing on simple features, well crafted.
museeks.io
January 3, 2025 at 11:05 AM
Today's project to discover is museeks.io , a music player. Download it safely from github.com/martpie/muse... with github.com/asfaload/asf...
#friday #project #discovery
#friday #project #discovery
Reposted
Sent talk proposals to www.fosdem.org.
Current status: 1 rejected, 1 accepted, 1 pending. #happy
Decided to share this following mathstodon.xyz/@tao 's post : mathstodon.xyz/@tao/1137211...
Rejected proposals are no catastrophe and are rather normal when you are enthousiast about your project. #cfp
Current status: 1 rejected, 1 accepted, 1 pending. #happy
Decided to share this following mathstodon.xyz/@tao 's post : mathstodon.xyz/@tao/1137211...
Rejected proposals are no catastrophe and are rather normal when you are enthousiast about your project. #cfp
mathstodon.xyz
January 2, 2025 at 5:33 PM
Sent talk proposals to www.fosdem.org.
Current status: 1 rejected, 1 accepted, 1 pending. #happy
Decided to share this following mathstodon.xyz/@tao 's post : mathstodon.xyz/@tao/1137211...
Rejected proposals are no catastrophe and are rather normal when you are enthousiast about your project. #cfp
Current status: 1 rejected, 1 accepted, 1 pending. #happy
Decided to share this following mathstodon.xyz/@tao 's post : mathstodon.xyz/@tao/1137211...
Rejected proposals are no catastrophe and are rather normal when you are enthousiast about your project. #cfp
Reposted
“Building mobile apps with F# and WebSharper” by Souvanxay Luangsouvannavong for #fsharp #FsAdvent intellifactory.com/user/got17/2...
Building mobile apps with F# and WebSharper
intellifactory.com
December 21, 2024 at 7:27 AM
“Building mobile apps with F# and WebSharper” by Souvanxay Luangsouvannavong for #fsharp #FsAdvent intellifactory.com/user/got17/2...
Reposted
My #fsadvent entry: Using fsx scripts as a viable starting point for a #fsharp project: www.asfaload.com/blog/fsharp-...
/cc @sergeytihon.com
/cc @sergeytihon.com
FSharp fsx scripts as a project's viable starting point — Asfaload
www.asfaload.com
December 3, 2024 at 8:46 AM
My #fsadvent entry: Using fsx scripts as a viable starting point for a #fsharp project: www.asfaload.com/blog/fsharp-...
/cc @sergeytihon.com
/cc @sergeytihon.com
Reposted
F# Weekly #48, 2024 - Tomorrow is the first day of #FsAdvent #fsharp sergeytihon.com/2024/11/30/f...
F# Weekly #48, 2024 – Tomorrow is the first day of #FsAdvent
Welcome to F# Weekly, A roundup of F# content from this past week: News Dramatically faster package restores with .NET 9’s new NuGet resolver – .NET Blog OpenAPI document generation in …
sergeytihon.com
November 30, 2024 at 1:01 PM
F# Weekly #48, 2024 - Tomorrow is the first day of #FsAdvent #fsharp sergeytihon.com/2024/11/30/f...
Reposted
Our mirror of checksums files, automatically used by our download tool asfald is finally officially announced! A significant step in our journey to secure downloads from the internet! www.asfaload.com/blog/asfaloa...
#security #SoftwareSupplyChain
#security #SoftwareSupplyChain
Asfaload mirror of public checksums available — Asfaload
www.asfaload.com
November 27, 2024 at 1:03 PM
Our mirror of checksums files, automatically used by our download tool asfald is finally officially announced! A significant step in our journey to secure downloads from the internet! www.asfaload.com/blog/asfaloa...
#security #SoftwareSupplyChain
#security #SoftwareSupplyChain