Pinned Repositories
amazon-kinesis-video-streams-producer-sdk-java
Allows developers to install and customize their connected camera and other devices to securely stream video, audio, and time-encoded data to Kinesis Video Streams
blaze-html
A blazingly fast HTML combinator library for Haskell.
daoist_similarities
import-photos
Small Python script used for importing photos from a digital camera that copies photos and organizes them by date to a target location.
intro-to-technical-ai-safety-slides
mastermind-with-sql
peterson-tlaplus
A TLA+ Specification of Peterson's Algorithm
simple-java-nix-example
A simple example of how to compile and package a Java application using Nix
types_presentation_slides
A presentation on types given at the 2018 NE Scala Conference
w4224-notes
Notes on the Bayesian Statistics w4224 class from Columbia
changlinli's Repositories
changlinli/intro-to-technical-ai-safety-slides
changlinli/reinforcement-learning-alignment
changlinli/neural-nets-from-scratch
Exercises for implementing MLPs from scratch directed at people who have never used PyTorch before.
changlinli/shuangrimu
changlinli/ARENA_3.0
changlinli/changlinli
Self repo
changlinli/chatgpt-nextjs
changlinli/contrast-consistent-search
changlinli/cuda-colab-experiments
changlinli/elm-compiler
Compiler for Elm, a functional language for reliable webapps.
changlinli/elm-compiler-benchmark
changlinli/elm-dev
changlinli/elm-serialize
Write codecs for encoding and decoding Elm data.
changlinli/elm-state-interface
define an app in a simple, safe and declarative way
changlinli/game_of_life_recurse_pairing
recurse center pairing activity
changlinli/homepage
My homepage
changlinli/induction_heads
Trying to force induction heads to appear
changlinli/monte-carlo-tree-search
Monte carlo tree search in python
changlinli/nixpkgs
Nix Packages collection
changlinli/playing-around-with-sae-lens
changlinli/rc-nontechnical-talk-strength-sports
changlinli/rome
Locating and editing factual associations in GPT (NeurIPS 2022)
changlinli/tffb2023
changlinli/tokaz-examples
Examples of what a hypothetical dependently typed language might look like
changlinli/tokaz-transpiler
changlinli/tracr
Fork of Deepmind's tracr RASP compiler
changlinli/transformers-architecture-stuff
changlinli/vanilla-policy-gradient-maze
changlinli/verified-auto-differentiation
Using Coq to prove (single-variable) auto differentiation correct!
changlinli/zokka-package-website
Fork of package.elm-lang.org