Tomáš Grošup Profile
Tomáš Grošup

@tomasgrosup

Followers
440
Following
732
Media
31
Statuses
1K

F# team @ MSFT | Prague Matfyz alumni (Similarity analytics) |

Česká Lípa
Joined August 2009
Don't wanna be here? Send us removal request.
@tomasgrosup
Tomáš Grošup
2 months
Hey @dotnet, you missed an #fsharp tag in there :)). There are some really cool community contributions and compiler performance improvements lining up for .NET 10 / F# 10, go check them out!.
@dotnet
.NET
3 months
🚀 .NET 10 Preview 5 is out!. Check out these updates & more:.🔒 Post-Quantum Cryptography.📃 OpenAPI 3.1 updates.➕ User-defined compound assignment operators.📊 Blazor metrics & tracing.🌐 XAML global namespaces for MAUI. #dotnet10 #csharp.
0
7
23
@tomasgrosup
Tomáš Grošup
5 months
Find: invested .Replace: invested and decided to sell at this very moment,not a day after,not a day before. (Because until you sell, you got 0). Volatility looks bad in comparisons like these. If you have a little bit of control over when to withdraw, you can just wait trough it.
@GergelyOrosz
Gergely Orosz
5 months
Here is how much you would have if exactly one year ago you would have invested $1,000 in one of these:. - $1.040 if in a 1-year treasury bill (a treasury bond).- $1,010 if in Bitcoin.- $963 if in the S&P 500.- $616 if in Solana.- $424 if in ETH. Of course market is down right.
0
0
2
@grok
Grok
5 days
What do you want to know?.
349
210
1K
@tomasgrosup
Tomáš Grošup
5 months
RT @GergelyOrosz: Here is how much you would have if exactly one year ago you would have invested $1,000 in one of these:. - $1.040 if in a….
0
17
0
@tomasgrosup
Tomáš Grošup
5 months
At 4.000, dotnet/fsharp is having only 5x less GH stars 🌟compared to dotnet/roslyn (thats for C# and vbnet combined) 🥳. Let’s keep adding more 👍🙂.
@Lanayx
Vladimir Shchur
5 months
#fsharp has just reached 4K stars on github! 🥳
Tweet media one
0
1
11
@tomasgrosup
Tomáš Grošup
5 months
RT @almirmesic: I just gave my first long-form talk, "Electrifying Norway with F# and DDD". Quite rewarding experience. See comments for f….
0
3
0
@tomasgrosup
Tomáš Grošup
5 months
RT @mkristensen: 🎉 Happy 28th birthday, Visual Studio! I've been a happy user since the beginning (almost), and I'm looking forward to spen….
0
75
0
@tomasgrosup
Tomáš Grošup
5 months
INSERT INTO event_store (event) VALUES(“{type:’transfer-attempt’, from:’A’, to:’B’, amount:100}”). You anyway need auditing and history📆. You still need to log unsuccessful attempt🏦. Event sourcing is a functional paradigm for data management. Make it part of your toolbox ⛑️.
@jamesacowling
James Cowling
5 months
Here's one way of performing a bank transfer in either Postgres or MySQL (it's slightly easier if just MySQL). It gets messy very fast if you need any complex logic, which is why business logic almost always ends up on the application server in a traditional stack, not the DB.
Tweet media one
2
0
3
@tomasgrosup
Tomáš Grošup
6 months
I always pronounced OOP by spelling it, O-O-P. But hearing Heljsberg call it /uːp/, like “oops” without the s - I do like that version a lot more :-)).
1
1
3
@tomasgrosup
Tomáš Grošup
6 months
The guy writing compile-time Doom in TS must be full of joy today, imagine dropping compile times from 12 days to 1.2 days 😂.
0
0
3
@tomasgrosup
Tomáš Grošup
6 months
This in the context of validations + language services for LLM output = imo well justified.
@slimjimmy_dev
Slim Jimmy
6 months
@thdxr aw fuck yeah this is no joke
Tweet media one
0
0
1
@tomasgrosup
Tomáš Grošup
6 months
Seeing a compiler not bootstrap itself is a missed dogfooding opportunity. But with js runtime, the struggle of seeing how much perf was left on the table must have been real.
@ahejlsberg
Anders Hejlsberg
6 months
Thrilled to announce.
0
1
4
@tomasgrosup
Tomáš Grošup
6 months
RT @absurdtrader: Myslim si, ze povinnosti kazdyho cloveka, co mel uspech v tech svete je alespon cast vydelanych penez zpatky recyklovat d….
0
46
0
@tomasgrosup
Tomáš Grošup
6 months
RT @nohwnd: Next week wednesday we are having another iteration of .NET meetup, at Microsoft in Prague. Come meet us there if you are inter….
0
3
0
@tomasgrosup
Tomáš Grošup
6 months
RT @praeclarum: I wanted to play around with designing a new programming language and was reminded how much I value F# for this. F# - Its….
0
5
0
@tomasgrosup
Tomáš Grošup
7 months
RT @nexta_tv: In Czechia beavers built a dam in 2 days, which local authorities had been planning for 7 years. The animals saved the admini….
0
2K
0
@tomasgrosup
Tomáš Grošup
8 months
You can also save this snippet for later and reuse it in a 1000 years with [1. 9] upgraded to [1. 10].
0
0
1
@tomasgrosup
Tomáš Grošup
8 months
A greeting from F# into the new year 🎉🥳🍾.
Tweet media one
1
0
9
@tomasgrosup
Tomáš Grošup
8 months
My least favorite forms of #fsharp code :. 3. SingleObject |> _.Member ( just use a plain dot in that case, god dammit!). 2. End of line "else", big block below not indented. 1. End of line "&&" in a bool-returning function, big block below not indented.
1
0
4
@tomasgrosup
Tomáš Grošup
8 months
A very nice fusion of large language models and built-in F# evaluator for computational requests.
@fwaris7
Faisal Waris
8 months
Experimental 'chat with code evaluator' feature added to FsOpenAI to generate and evaluate F# code interactively. (need own OpenAI key). Evaluation sandbox utilizes typed AST to only allow types from set namespaces.
Tweet media one
0
0
9