Humanity's Last Exam

Audited & minimal JS implementation of elliptic curve cryptography.

Corrigibility with Utility Preservation, in TypeScript

Friends don't let friends make certain types of data visualization - What are they and why are they bad.

This repository explains and provides examples for "concept anchoring" in GPT4.

Fork for a benchmark hackathon

A reasonably safe JSON Schema validator with draft-04/06/07/2019-09/2020-12 support.

AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.

Accent Smart Picture Frame

Machine Learning for Alignment Bootcamp

An interactive guide to the game theory of cooperation

Craft PNG files that appear completely different in Apple software [NOW PATCHED]

metamath proof enumerators and other things

An FHE compiler for C++

Rust Memory Safety & Undefined Behavior Detection

Simple web code editor build with web components libraries

Project ideas for Issa Rice (see repo issues)

Advanced rhythm game for Windows, Linux and OS X. Designed for both home and arcade use.

Open source code for AlphaFold 2.

[PATCH] mm: Protect the working set under memory pressure to prevent thrashing, avoid high latency and prevent livelock in near-OOM conditions

Press the 'f' and 'd' keys randomly. It's easy. Just use your "free will."

Code for Motion Representations for Articulated Animation paper

The single instruction C compiler

LLV8 is an experimental top-tier compiler for V8 JavaScript Engine. LLV8 leverages the power of LLVM MCJIT to produce highly optimized code.

CUDA on non-NVIDIA GPUs

The x86 processor fuzzer

Webcamoid is a full featured and multiplatform webcam suite.