RSSAmplifier

Blog

Stachu.NET

my space on the 'net

stachu.netRSS feed ↗12 posts

Latest posts

I'm really excited about Darklang

I've been working on Darklang for a bit over 2 years, and I'm really excited about it. I'm posting this along with a status update that I wrote for the Darklang blog. It's probably best to read that first, for context. This

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

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

reMarkable.fs

This post is my submission to F# Advent 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 as a daily driver for

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'

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'

WTF is WTF#?

What? | How? | Why? | Next Steps? WTF# is a podcast about the F# programming language . 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/

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

I recently gave a talk on graphs at Philly.Net 's 2018 Code Camp . 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 talk on the Graph data structure, subtopics

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'

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

Solving Rubik's Cubes with F#

This is a post in the series of F# Advent 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 the speedcubing community). Here'