It is sad to see so many dead user group accounts littered across the bird site. My local group lasted 2-3 months before folding. I guess F# will be an internet phenomenon.

I was glad to be able to listen to the OpenBSD themed technology podcast Garbage again It’s back!

scitesy boosted
Watch Algerian First Arrivals: Spain's 2019 Migration Crisis Will Dwarf Italy's Disaster
scitesy boosted

Visual Studio for Linux just got bumped to third most requested customer feature, and it's within spitting distance of second.

scitesy boosted

Ancient Egyptians. Masters of:
- Mathematics
- Mummification
- Stonework
- WiFi

Exercism students by language: Python: 19117, C#: 4273, : 1038, : 469 Mentors by lang: Python: 54, C#: 9, : 7, : 2 Maintainers by lang: Python: 3, C#: 3, : 2, : 0

I am finding alpine Linux to be a great environment for and . Owl and all of its dependencies even seem to be available.

@thfr Thank you for porting Mono to All of your work is appreciated by many including me.

It is good to see the and hashtags trending on mastodon:) Go ML! Go!

It is nice to see Mono back in the the ports tree. I am wondering if still builds from source. Now if dotnet core shows up in the tree I would be ecstatic.

I’ve watched the first part of this talk. It is an interesting take by Jane Street on Elm Architecture front ends in -> Introduction to Incr_dom: Writing Dynamic Web Apps in OCaml by Cristina Rosu

If you want to try out the Tezos client/cli from source, make sure to pull down and checkout the betanet branch before building.

scitesy boosted

We have another #Librem5 progress report for everyone.

"Designing the scope of the Librem 5’s communication apps" by @feeef, our Director of Creative

In my opinion, two of the most exciting projects are Fable ( for web browser scripting and Zen Protocol ( which is a blockchain for creating financial instruments. Fable has been heavily developed for years now and works really well when combined with the Elmish( model, view, update architecture. Another interesting aspect of Zen Protocol is that it uses F* ( to prove smart contracts.

For the first time in as far as I can remember, over the weekend, I missed Makes me a bit sad as I have good memories from that conference. For those that are interested, the session videos are linked to from the web site

I am baller at mining zen with my cpu on the zen protocol testnet. If only zen mainnet mining was so easy.

scitesy boosted

Regarding python transfer of power, I choose anarchy.

scitesy boosted
Show more
Functional Café is an instance for people interested in functional programming and languages.