jgrosso

Salvation by Faith

But now apart from the Law the righteousness of God has been manifested, being witnessed by the Law and the Prophets, even the righteousness of God through faith in Jesus Christ for all those who believe; for there is no distinction; for all have sinned and fall short of the glory of God, being justified as a gift by His grace through the redemption which is in Christ Jesus; whom God displayed publicly as a propitiation in His blood through faith, for a demonstration of His righteousness, because in the forbearance of God He passed over the sins previously committed; for the demonstration of His righteousness at the present time, so that He would be just and the justifier of the one who has faith in Jesus.

Where then is boasting? It is excluded. By what kind of law? Of works? No, but by a law of faith. For we maintain that a man is justified by faith apart from works of the Law.

— Romans 3:21–27

---

jgrosso

In the beginning was the Word, and the Word was with God, and the Word was God. He was in the beginning with God. All things came into being through Him, and apart from Him not even one thing came into being that has come into being. In Him was life, and the life was the Light of mankind.... And the Word became flesh, and dwelt among us; and we saw His glory, glory as of the only Son from the Father, full of grace and truth.

— John 1:1–4,14

---

Jesus said to them, “Truly, truly, I say to you, before Abraham was, I am.” So they picked up stones to throw at him, but Jesus hid himself and went out of the temple.

— John 8:58–59

jgrosso

{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE UndecidableInstances #-}

module OverlappingBug where

class FooClass m where
  foo :: m ()

-- This is never actually used.
class IrrelevantClass m where

jgrosso

//#region IMPORTS
const readline = require('readline');
const net = require('net');
//#endregion IMPORTS

//#region SERIALIZATION
const frameLengthOffset = 4; // u32s are 4 bytes long.

const serializeMessage = (message) => {
  const payload = JSON.stringify(message);

jgrosso

Polymorphism

∀: Use Hask instead of polymorphic type variables, like so:

test :: forall a. a -> a

becomes

jgrosso

/*
 * EDIT 6/19/2025: Happened to stumble across this cringeworthy old Gist of mine.
 *                 Do me a favor and cut me some slack—I was 15 years old....
 */

using System.Collections.Generic;
using System;

namespace Joshua
{

jgrosso

while^ResultReveal(action, end, continue) =
	if(not(equals(result, end)),
		while(action, end, continue
			{continue(@[result])};
			action(result)),
		NULL())

jgrosso

compare(num1, num2) = if(equals(for(&[if(equals(get(0, result), num1)), &[if(equals(get(0, result), num2), &[RETURN[0]], &[RETURN[-1]])], 0, num2, 1)), 1, NULL())

jgrosso

for^ResultReveal(action, min, max, inc) = while(&[action(get(0, @[result]))], max, &[set(get(0, @[result]), add(get(0, @[result]), inc))] {set(get(0, @[result]), min)})

jgrosso

while^ResultReveal(action, end, continue) = if(not(equals(result, end)), while(action, end, continue {continue(@[result])}; action(result)), NULL())