Originally taken from
FileFormat.wiki
from the puz project.
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.
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
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.
| # Lexical and Syntactic EBNF Grammar for POSIX Shell (Non-Attributed) | |
| # Authored by Chubak Bidpaa ([email protected]) | |
| # 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 | |
Note: I recommend reading this gist in order because
Examples 1-6build on each other.
- Example 1: Getting Console Input With
Console.ReadLine
How to get console input.- Example 2: Parsing The Console Input From
StringToInt32
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
Then mathematical neatness became a goal and led to pruning some features from the core of the language.
— John McCarthy, History of Lisp
If you prefer programming languages with a tidy and tiny core, you're in for a treat. This article drills down to the singleton primitive at the heart of Raku's metamodel ("model of a model") of a model of computation ("how units of computations, memories, and communications are organized")1.
It began with u/faiface's reddit post/thread "I'm impressed with Raku"2. One of their sentences in particular stood out for me:
| Get-Command # Retrieves a list of all the commands available to PowerShell | |
| # (native binaries in $env:PATH + cmdlets / functions from PowerShell modules) | |
| Get-Command -Module Microsoft* # Retrieves a list of all the PowerShell commands exported from modules named Microsoft* | |
| Get-Command -Name *item # Retrieves a list of all commands (native binaries + PowerShell commands) ending in "item" | |
| Get-Help # Get all help topics | |
| Get-Help -Name about_Variables # Get help for a specific about_* topic (aka. man page) | |
| Get-Help -Name Get-Command # Get help for a specific PowerShell function | |
| Get-Help -Name Get-Command -Parameter Module # Get help for a specific parameter on a specific command |
