shubham shubhamkumar13

Distrobox init file to compiling elixir/elrang

Distrobox init file which will create a container with asdf and the required tooling for one to build elixir/erlang (based on Fedora).

It is expected of the user to have brew installed on their system.

Instead of installing asdf onto the container, brew install asdf can be used to install it even outside of the container.

Usage

Originally taken from FileFormat.wiki from the puz project.

Introduction

PUZ is a file format commonly used by commercial software for crossword puzzles. There is, to our knowledge, no documentation of the format available online. This page (and the implementations) is the result of a bit of reverse engineering work.

HVM3's Optimal Atomic Linker (with Polarization)

Atomic linking is at the heart of HVM's implementation: it is what allows threads to collaborate towards massive parallelism. All major HVM versions started with a better atomic linker. From slow, buggy locks (HVM1), to AtomicCAS (HVM1.5), to AtomicSwap (HVM2), the algorithm became simpler and faster over the years.

On the initial HVM3 implementation, I noticed that one of the cases on the atomic linker never happened. After some reasoning, I now understand why, and

Understanding Lean's Foreign Function Interface (FFI)

WARNING

Note on FFI Interface Stability The current Foreign Function Interface (FFI) in Lean 4 was primarily designed for internal use within the Lean compiler and runtime. As such, it should be considered unstable. The interface may undergo significant changes, refinements, and extensions in future versions of Lean. Developers using the FFI should be prepared for potential breaking changes and should closely follow Lean's development and release notes for updates on the FFI system.

VSCode + Dev Containers and Toolbx/Distrobox setup for Fedora Silverblue

PLEASE NOTE:

I personally don't use Flatpak VSCode anymore, since I switched from Fedora Silverblue to Universal Blue's project Bluefin-DX. I'll leave the instructions here for those who want them, but be aware that Flatpak VSCode instructions won't be maintained anymore.

Steps

If you prefer VSCode Flatpak

Install VSCode Flatpak from Flathub:

Stremio and Discord integration

Show your favorite movies, series and channels from Stremio to your friends on Discord!

⚡ Quick start

Beginner's Guide To Console Input In C#

Note: I recommend reading this gist in order because Examples 1-6 build on each other.

Example 1: Getting Console Input With Console.ReadLine
_{How to get console input.}

Example 2: Parsing The Console Input From String To Int32
_{How to convert the console input into a numeric value.}

Example 3: Validating Console Input With Int32.TryParse
_{How to validate numeric input to prevent bugs in your code.}

[Example 4: Looping Until User Provides Valid Input](https://gist.github.com/ZacharyPatten/798ed612


	#r "nuget: FsToolkit.ErrorHandling"

	open FsToolkit.ErrorHandling
	open System

	type SensorReadings = int


	module RegularApproach =

	# Lexical and Syntactic EBNF Grammar for POSIX Shell (Non-Attributed)
	# Authored by Chubak Bidpaa (chubakbidpaa@riseup.net)
	# Written For the Marsh Shell (https://github.com/Chubek/Marsh)
	# This grammar is based on POSIX specs (https://pubs.opengroup.org/onlinepubs/9699919799/utilities/V3_chap02.html)
	# This document is released under `Unlicense` Public Domain License Agreement \| (C) 2024 Chubak Bidpaa \| No Warranty


	# A: Lexical Grammar for POSIX Shell