Stachu Korick - Stachu.NET

Stachu.NET

Sign in Subscribe

Stachu Korick

Interop between WASM'd F# and JavaScript in .NET 6 and .NET 7

At Dark, we compile our F# backend to WebAssembly for use within our editor. (specifically, we use it to support "analysis" - when your Dark code runs within the editor rather than against Dark's backend/infra). The official documentation around IO between WASM'd .NET code and JS is very geared

Darklang for F# Developers

I've been working on Dark/Darklang for about a year. It's a holistic tool for building backends. Dark's backend is currently written (mostly) in F#, and its code is source-available. This video provides an overview of what Dark is and how to use it, followed by a lengthy tour of

reMarkable.fs

* This post is my submission to F# Advent 2021 [https://sergeytihon.com/2021/10/18/f-advent-calendar-2021/]. * It's part 3 in a series of posts regarding hacking the reMarkable eInk tablet. Summary: * The reMarkable 2 is an 18.8*24.6cm (7.4*9.6in) eInk Linux tablet that I use

The reMarkable Hacking Ecosystem

The reMarkable Hacking Ecosystem

This is part 2/3 in a series "Hacking the reMarkable eInk Tablet." Summary: * The reMarkable 2 is an 18.8*24.6cm (7.4*9.6in) eInk Linux tablet that I use as a daily driver for taking notes, reading books, drawing diagrams, doodling, etc. * I'd like to extend

Intro to reMarkable; Motivation; Getting Started

Intro to reMarkable; Motivation; Getting Started

This is part 1/3 in a series "Hacking the reMarkable eInk Tablet." Summary: * The reMarkable 2 is an 18.8*24.6cm (7.4*9.6in) eInk Linux tablet that I use as a daily driver for taking notes, reading books, drawing diagrams, doodling, etc. * I'd like to extend

WTF is WTF#?

What? | How? | Why? | Next Steps? WTF# [https://wtfsharp.net] is a podcast about the F# programming language [http://fsharp.org]. It's a side project of mine that's connected my enjoyment of the language itself to something larger, forcing me to dive into topics from audio editing to coordinating multi-time-zone meetings

"Solving Rubik's Cubes with F#" at FableConf

Slides: https://slides.com/stachudotnet/solving-rubik-fable-conf Lab #1: Represent the state of a Rubik's Cube. Work with a partner to explore how to represent the state of a Rubik's Cube, including the representation of manipulating various twists. (Just go to http://fable.io/repl2) Lab #2: Write a scrambler. Don't

Talk notes: "Graphs: Love, Theory, and Data"

Talk notes: "Graphs: Love, Theory, and Data"

I recently gave a talk on graphs at Philly.Net [http://phillydotnet.org]'s 2018 Code Camp [http://phillydotnet.org/camps/2018-1/]. It was a full room, and I had a great time giving this talk for the first time. If you came to the talk, thanks! This was a

F# + Fable Talk Notes

F# + Fable Talk Notes

I've recently given a lot of "F# + Fable" talks[1]. I've rewritten my Fable talk a number of times so far, and have had the opportunity to give the newest rendition at the Philly.NET User Group on Feb 21st, 2018. Below, I'd like to provide links to relevant materials.

Psuedocode-Driven Development with F#

... because there's nothing better than *DD acronyms, right? Tl;dr - F# lets you write pseudocode. Once that pseudocode compiles, your program is probably right (or very close to it). (This is just another sales pitch for the |> operator) I gave a F# hands-on lab session to a local user

Solving Rubik's Cubes with F#

This is a post in the series of F# Advent [https://sergeytihon.wordpress.com/2014/11/24/f-advent-calendar-in-english-2014/] posts! I couldn't contain all of my excitement into just one post... so I made a whole website, and I want to perform a community-wide experiment with the F# community (and potentially