The Binary Lambda Calculus (BLC) is a minimal, pure functional programming language invented by John Tromp in 2004 [1] based on a binary encoding of the untyped lambda calculus in De Bruijn index notation.
Danny Riordan jdriordan
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| A::B is a system with 4 tokens: `A#`, `#A`, `B#` and `#B`. | |
| An A::B program is a sequence of tokens. Example: | |
| B# A# #B #A B# | |
| To *compute* a program, we must rewrite neighbor tokens, using the rules: | |
| A# #A ... becomes ... nothing | |
| A# #B ... becomes ... #B A# |
VictorTaelin
/ hvm_standalone.cu
Last active
April 27, 2024 23:53
HVM-CUDA - First Prototype - 6.7 billion RPS
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #include <stdarg.h> | |
| #include <stdbool.h> | |
| #include <stdint.h> | |
| #include <stdio.h> | |
| #include <string.h> | |
| #include <unistd.h> | |
| typedef uint8_t u8; | |
| typedef uint16_t u16; | |
| typedef uint32_t u32; |
tromp
/ Binary_Lambda_Calculus.md
Last active
February 25, 2026 18:24
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| {-# LANGUAGE TypeSynonymInstances #-} | |
| data Dual d = D Float d deriving Show | |
| type Float' = Float | |
| diff :: (Dual Float' -> Dual Float') -> Float -> Float' | |
| diff f x = y' | |
| where D y y' = f (D x 1) | |
| class VectorSpace v where | |
| zero :: v |
Kalinovcic
/ microsoft_craziness.h
Created
September 1, 2018 17:36
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // | |
| // Author: Jonathan Blow | |
| // Version: 1 | |
| // Date: 31 August, 2018 | |
| // | |
| // This code is released under the MIT license, which you can find at | |
| // | |
| // https://opensource.org/licenses/MIT | |
| // | |
| // |
if you find any discrepancies, please leave a comment or tweet at @antiformant.
the random number generator in both games is an LCG:
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ;; I have no idea why it works. This is the product of 4 hours of trial-and-error. | |
| (defun dotspacemacs/user-init () | |
| "Initialization function for user code. | |
| It is called immediately after `dotspacemacs/init'. You are free to put almost | |
| any user code here. The exception is org related code, which should be placed | |
| in `dotspacemacs/user-config'." | |
| (server-start) | |
| (require 'org-protocol) | |
| ) |
alirobe
/ reclaimWindows10.ps1
Last active
March 18, 2026 18:42
This Windows 10 Setup Script turns off a bunch of unnecessary Windows 10 telemetery, bloatware, & privacy things. Not guaranteed to catch everything. Review and tweak before running. Reboot after running. Scripts for reversing are included and commented. Fork of https://github.com/Disassembler0/Win10-Initial-Setup-Script (different defaults). N.…
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ### | |
| ### | |
| ### UPDATE: For Win 11, I recommend using this tool in place of this script: | |
| ### https://christitus.com/windows-tool/ | |
| ### https://github.com/ChrisTitusTech/winutil | |
| ### https://www.youtube.com/watch?v=6UQZ5oQg8XA | |
| ### iwr -useb https://christitus.com/win | iex | |
| ### | |
| ### OR take a look at | |
| ### https://github.com/HotCakeX/Harden-Windows-Security |
This is not intended to be comprehensive or authoritative, just free online resources I've found valuable while learning more about Erlang.
https://web.archive.org/web/20070429181654/http://www.sics.se/~joe/
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/usr/local/Gambit-C/bin/gsi | |
| ; Copyright (C) 2004 by Marc Feeley, All Rights Reserved. | |
| ; This is the "90 minute Scheme to C compiler" presented at the | |
| ; Montreal Scheme/Lisp User Group on October 20, 2004. | |
| ; Usage with Gambit-C 4.0: | |
| ; | |
| ; % ./90-min-scc.scm test.scm |
NewerOlder