neongreen

// App.jsx
import { useEffect, useMemo, useRef, useState } from "react";
import "./styles.css";

export default function App() {
  const [running, setRunning] = useState(false);
  const [slider, setSlider] = useState(30); // 0..100 exponential
  const [backdrop, setBackdrop] = useState(true);
  const [shadows, setShadows] = useState(true);
  const [bigLayers, setBigLayers] = useState(true);

neongreen

package main

import (
    "fmt"
    "math/bits"
    "sort"
)

// ceilLog2 returns the smallest d such that 2**d >= m.
func ceilLog2(m int) int {

neongreen

-- reading the code is hard so i tried to imagine what a formalization would look like i was implementing it

-- Notation: big letters = patch sequences, small letters = patches
--
-- In reality operations are freey.
-- We don't evaluate as we go, but instead construct a tree and then have an evaluator for that tree.
-- This way we can decide in which order we will evaluate the patch sequence operations.

(+) : List Patch -> List Patch -> List Patch  -- ignore for now
(-) : List Patch -> List Patch -> List Patch  -- also

neongreen

pnpm --silent start --owner rust-lang --include-prs

Loaded cache from disk. Use --force-refresh to ignore cache.
Using cached repositories for rust-lang (225 repos)
Found 225 repositories to process
Using cached repositories for rust-lang (225 repos)
Found 225 repositories to process
Using cached branches for 225 repositories, fetching for 0 repositories.

neongreen

stages:
  - notify

notify_codeowners:
  stage: notify
  script:
    - |
      cat > notify_codeowners.py <<'EOF'
      import os, sys, json, fnmatch, urllib.request, urllib.parse

neongreen

namespace X  -- to avoid clashes with the stdlib List

-- Define our own List type
inductive List (α : Type u)
| nil : List α
| cons : α → List α → List α

infixr:70 " :: " => List.cons

open List

neongreen

https://github.com/estebanpdl/telegram-tracker

neongreen

/* eslint-disable @typescript-eslint/ban-types */
/* eslint-disable @typescript-eslint/no-floating-promises */

// Copied from https://github.com/vercel/next.js/blob/canary/packages/next/client/link.tsx on Jan 10, 2022, using commit
// '6581ba9daeebb722056f457f5b50e4236b9edcd3'. The modified bits are marked with "// WOC".

// Like next/link, but preloads the page's data as well. Requires the page to implement a 'preload' method.

import React from 'react'
import { UrlObject } from 'url'

neongreen

-- Example of a form using tiptap

renderForm :: CardUpdate -> Html
renderForm cardUpdate = formFor cardUpdate [hsx|
    {(textareaField #content) {
        disableLabel = True,
        fieldClass = "use-tiptap"
      }
    }
    {submitButton {label = "Save"}}

neongreen

let List/map =
      https://prelude.dhall-lang.org/List/map sha256:dd845ffb4568d40327f2a817eb42d1c6138b929ca758d50bc33112ef3c885680

let Text/concat =
      https://prelude.dhall-lang.org/Text/concat sha256:731265b0288e8a905ecff95c97333ee2db614c39d69f1514cb8eed9259745fc0

let Optional/fold =
      https://prelude.dhall-lang.org/Optional/fold
      sha256:c5b9d72f6f62bdaa0e196ac1c742cc175cd67a717b880fb8aec1333a5a4132cf