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 garbage.fm/episodes/43 It’s back!

scitesy boosted
Watch Algerian First Arrivals: Spain's 2019 Migration Crisis Will Dwarf Italy's Disaster https://quitter.im/url/1394390
scitesy boosted

RT @directhex@twitter.com
Visual Studio for Linux just got bumped to third most requested customer feature, and it's within spitting distance of second. visualstudio.uservoice.com/for

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.

@jasonimison it did fail. Name resolution fails while pulling in the nugets. I ran mozroots, cert-sync with no success. I am wondering if it is ipv6 problem with nuget.org

@hugoestr fsharp was my gateway to Ocaml. Although I know fsharp better than I do OCaml I appreciate OCaml greatly and want to learn more

@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 youtu.be/1iQl7ZtymZY

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

puri.sm/posts/librem5-progress

In my opinion, two of the most exciting projects are Fable (fable.io/blog/Introducing-2-0-) for web browser scripting and Zen Protocol (zenprotocol.com/) 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(elmish.github.io/elmish/) model, view, update architecture. Another interesting aspect of Zen Protocol is that it uses F* (fstar-lang.org/) 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. pyohio.org/2018/ 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.

Show more
Functional Café

functional.cafe is an instance for people interested in functional programming and languages.