This talk by Jamie Taylor is a great primer for how mono and dotnet work together to enable dotnet languages to run in the browser on wasm. I intend to use Bolero over Blazer (fsbolero.io/) for F# in the browser. dotnetcore.show/episode-25-bla

This is the latest fsharp/monogame video from @7sharp9 (Dave Thomas) -> quote: My latest YouTube video is now available: - F# Platform Game Series TEA and animated sprites youtu.be/80JVTCcZW1g

There is a new fsharp/monogame video from @7sharp9 (Dave Thomas) -> quote: Getting Started with F# And MonoGame. New series starting today: F# MonoGame Platform Game Series youtu.be/5m28WwJN91U

I finally got around to experimenting with mirage skeleton/hvt/vmm/Unix unikernals on 6.5 current. I intend to continue to explore it. This is exciting!

ClojureCLR may soon be rewritten with Listen to David Miller talk about it on the defn podcast: m.soundcloud.com/defn-77154474

scitesy boosted

RT @7sharp9_exhumed@twitter.com
So... Its seems Im available for work from Monday 8th April. Anyone need an F# engineer/compiler hacker, tooling aficionado, quotation swizzler, type provider tinkerer?

DM's open feel free to ping me.

I would appreciate a RT :-) #fsharp

scitesy boosted

Firefox admits they will eventually be sending all of your DNS to Cloudflare. Cloudflare will monetize your internet browsing, no matter how much their PR people say they are.

If you want to disable that, go to "about:config", and set "network.trr.mode" to 5.

The values are: 0 - default off, 1 - race, 2 TRR first, 3 TRR only, 4 shadow, 5 off by choice

scitesy boosted

IMO Rider is the best IDE/editor. I am still partial to Spacemacs and use it with mode

I took a 30 day trial of Jetbrains Rider for development. The intellisense responsiveness is refreshingly impressive. I am still evaluating Rider and switching between VS Code...Leaning toward Rider.

I almost got LineageOs installed in my old Android phone. I am very close.

Another good episode of the Garbage podcast is out, Robot uprising: garbage.fm/episodes/46

scitesy boosted
scitesy boosted

Resource Polymorphism

"[…] This is a proposal to extend the language with destructors, move semantics, and resource polymorphism, to improve its safety, efficiency, interoperability, and expressiveness. It builds on the ownership-and-borrowing models of systems programming languages (Cyclone, C++11, Rust) and on linear types in functional programming (Linear Lisp, Clean, Alms). […]"

arxiv.org/abs/1803.02796

So far so good on listening/watching this video about F* -> Verified Effectful Programming in F* - Catalin Hritcu: youtube.com/watch?v=SPCko8ACB0

Listening to the latest Garbage podcast, New fixes (OpenBSD) for old laptops: garbage.fm/episodes/45

Show more
Functional Café

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