Petr's Avatar

Petr

@psfinaki.bsky.social

A software dev in Prague, a maintainer of dotnet/fsharp. Into music, traveling, and functional programming.

24 Followers  |  1 Following  |  9 Posts  |  Joined: 29.09.2023  |  1.9332

Latest posts by psfinaki.bsky.social on Bluesky


Post image

#fsharp has just reached 4K stars on github! πŸ₯³

28.03.2025 17:42 β€” πŸ‘ 28    πŸ” 6    πŸ’¬ 0    πŸ“Œ 0
Data 'pickling' in the F# compiler | Amplifying F#

πŸ“’Hey #fsharp! Join us on Friday for another session.
This time we'll be joined by @psfinaki.bsky.social we will discuss data serialization (aka β€˜pickling’) in the F# compiler!

More details amplifyingfsharp.io/sessions/202...

25.03.2025 19:15 β€” πŸ‘ 12    πŸ” 7    πŸ’¬ 0    πŸ“Œ 1
Hackable PXL-Art for the Masses | Amplifying F#

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...

17.02.2025 11:16 β€” πŸ‘ 12    πŸ” 6    πŸ’¬ 0    πŸ“Œ 0
Preview
Archeological Semiotics: The Birth of the Pipeline Symbol, 1994

This is hands down my favourite operator #fsharp #elixir

Interesting to know some history

learn.microsoft.com/en-au/archiv...

14.02.2025 01:07 β€” πŸ‘ 8    πŸ” 2    πŸ’¬ 2    πŸ“Œ 0

Also, haven't been to Frankfurt (apart from the airport), so would be happy to see the city :)

24.01.2025 00:32 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Pure workshop conf? Why not? :) Although, the 2023 format was fine as well IMO. Anyway, would be great to have the conf again!

23.01.2025 11:19 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

We welcome @compositionalit.bsky.social to Bluesky!

Compositional IT post excellent high quality material about F# and other development topics. Please give them a follow!

#fsharp #fablecompiler

17.01.2025 15:36 β€” πŸ‘ 20    πŸ” 7    πŸ’¬ 1    πŸ“Œ 0
The untouched goldmine of F# | (a)RManos Blog /home

It can happen to the best of us.

ο½’ I swear that 20 years ago I promised myself that I would never touch .NET and here I am, promoting F# as a Golang developer. How did that even happen? ο½£

https://rm4n0s.github.io/posts/7-the-untouched-goldmine-of-fsharp/

#fsharp #dotnet #functionalprogramming

18.01.2025 18:00 β€” πŸ‘ 12    πŸ” 2    πŸ’¬ 0    πŸ“Œ 0
Preview
F# Weekly #3, 2025 – Going 15 Percent Faster Welcome to F# Weekly, A roundup of F# content from this past week: News Linux arm64 hosted runners now available for free in public repositories (Public Preview) – GitHub Changelog Meet the .…

F# Weekly #3, 2025 – Going 15 Percent Faster #fsharp sergeytihon.com/2025/01/18/f...

18.01.2025 22:20 β€” πŸ‘ 9    πŸ” 2    πŸ’¬ 0    πŸ“Œ 0

Really like this comparison :D

16.01.2025 11:46 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Post image

#fsharp today? a powerful feature in this #dotnet #ocaml awesome language are active patterns! learn.microsoft.com/en-us/dotnet...

15.01.2025 11:52 β€” πŸ‘ 16    πŸ” 3    πŸ’¬ 1    πŸ“Œ 0
Preview
F# Weekly #2, 2025 – Pandora Jewelry uses F# Welcome to F# Weekly, A roundup of F# content from this past week: News .NET Aspire Quick Tip – Managing Container & Data Lifetime – .NET Blog Benchmarking with Visual Studio Profil…

F# Weekly #2, 2025 – Pandora Jewelry uses F# #fsharp sergeytihon.com/2025/01/12/f...

12.01.2025 13:04 β€” πŸ‘ 9    πŸ” 5    πŸ’¬ 1    πŸ“Œ 1
Preview
F# features I love From 2018 to 2023, I worked full-time with F#, contributing to companies with revenues up to $3 billion and working on critical codebases reaching 100k lines of code. Here’s my feedback on why I enjoy...

#FSharp features I love
akhansari.hashnode.dev/fsharp-featu...

08.01.2025 08:45 β€” πŸ‘ 26    πŸ” 13    πŸ’¬ 1    πŸ“Œ 2
Preview
GitHub - fsprojects/FSharp.Collections.Builders: Computation expressions for conveniently and efficiently constructing common collections. Computation expressions for conveniently and efficiently constructing common collections. - fsprojects/FSharp.Collections.Builders

Welcome FSharp.Collections.Builders to the fsprojects collective!

An incredible little library!

"Computation expressions for conveniently and efficiently constructing common collections."

github.com/fsprojects/F...

#fsharp #fablecompiler

05.01.2025 18:31 β€” πŸ‘ 14    πŸ” 8    πŸ’¬ 0    πŸ“Œ 0
Post image

F# Weekly #1, 2025 - Happy New Year #fsharp sergeytihon.com/2025/01/05/f...

05.01.2025 20:34 β€” πŸ‘ 10    πŸ” 3    πŸ’¬ 0    πŸ“Œ 0
Preview
F# Weekly #50, 2024 – F# Cognitive Load and Productivity Welcome to F# Weekly, A roundup of F# content from this past week: News Announcing .NET Community Toolkit 8.4 – .NET Blog Using Local AI models with .NET Aspire – .NET Blog Invoking Asy…

F# Weekly #50, 2024 - F# Cognitive Load and Productivity #fsharp sergeytihon.com/2024/12/14/f...

14.12.2024 21:21 β€” πŸ‘ 15    πŸ” 7    πŸ’¬ 0    πŸ“Œ 0

try #fsharp πŸ¦”! it's awesome πŸ™Œ πŸ¦ŒπŸŽ…πŸΌπŸŽ„

16.12.2024 10:21 β€” πŸ‘ 5    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0

2600+ downloads of v3 0.7.0 and there has been very little going on in the issues/discussions to make me think we aren't ready for 1.0.0.

If you haven't tried it yet, now's the time!

#DotNet #CSharp #FSharp #UnitTest #TDD

10.12.2024 05:21 β€” πŸ‘ 8    πŸ” 2    πŸ’¬ 1    πŸ“Œ 0

So happy to see so much #adventofcode in #fsharp this year. Learning from this here a lot!

06.12.2024 11:27 β€” πŸ‘ 9    πŸ” 2    πŸ’¬ 0    πŸ“Œ 0

Has anyone done any work on porting F# to the dotnet nanoFramework?
#fsharp

03.12.2024 05:18 β€” πŸ‘ 3    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0

I've been amused by GYBE for many years and that's one of the best albums of the genre :)

02.12.2024 11:33 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Home Documentation site for the xUnit.net unit testing framework

Welcome to the new home for xUnit.net on BlueSky! We thank you for joining us. πŸ˜€

Home page: xunit.net

Source code: github.com/xunit

#introduction #DotNet #CSharp #FSharp #UnitTest #TDD

02.12.2024 03:32 β€” πŸ‘ 36    πŸ” 9    πŸ’¬ 2    πŸ“Œ 0
Pipe Forward: A Kick-Start into Functional Programming
YouTube video by The Pure State Pipe Forward: A Kick-Start into Functional Programming

New to Functional Programming or interested in learning? Let's take it easy, by dissecting just one line of #fsharp code to explain

- Type Inference
- Infix Functions
- Currying and Partial Function Application
- the Power of Composition

Watch here: www.youtube.com/watch?v=VJ0g...

29.11.2024 08:19 β€” πŸ‘ 25    πŸ” 9    πŸ’¬ 1    πŸ“Œ 2
Software Developer Position at Motivity Software Developer career opportunity at Motivity, a state-of-the-art electronic data collection platform built specifically for ABA therapy and funded by the NIH grants.

Hey #fsharp! Motivity is hiring!

www.motivity.net/careers/soft...

27.11.2024 20:02 β€” πŸ‘ 12    πŸ” 10    πŸ’¬ 0    πŸ“Œ 0

Thanks for this, I'll look it up! F# community is quite passionate IMO. It just could be bigger and more vocal... :) But that's what AF# is trying to solve.

27.11.2024 12:27 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Home | Amplifying F#

Not that much is happening in FSSF or Slack for that matter.

The proposed way to go is Amplifying F#, no registration required :)
amplifyingfsharp.io

27.11.2024 11:40 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

New versions of Ionide and FsAutoComplete are now available with support for #fsharp 9 and #dotnet 9 and the new features therein - including nullability! Go forth and download, friends :)

24.11.2024 17:26 β€” πŸ‘ 55    πŸ” 20    πŸ’¬ 0    πŸ“Œ 1

F# x Web IRL is good and never enough. I am thinking that we could probably host such a post on the .NET blog. Ping me if you're interested :)

21.11.2024 11:06 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Oh, this is going to be really good! #fsharp

20.11.2024 19:34 β€” πŸ‘ 5    πŸ” 1    πŸ’¬ 1    πŸ“Œ 0
Post image

React with F# (.NET ocaml) on nodejs/npm? no problem! #fsharp #nodejs #react #bun #deno #vite also check out the awesome HMR vite fable plugin, .fs files compile to js/ts via Fable!

21.11.2024 10:31 β€” πŸ‘ 12    πŸ” 2    πŸ’¬ 2    πŸ“Œ 0

@psfinaki is following 1 prominent accounts