Contribute to andrewyng/context-hub development by creating an account on GitHub.

Just kidding.

See also https://news.ycombinator.com/item?id=47311815

A robust, full-featured, and user/programmer-friendly Python IRC bot, with many existing plugins. - progval/Limnoria

I’m looking into how to build their app image from scratch; at least that way I’m sudoing something that’s free software and not a random binary.

I later found that this issue is known but marked as a WontFix on their issue tracker.

Shawn Hatosy, who plays Dr. Jack on The Pitt Abbott, breaks down the biggest moments of season two so far.

By presenting in detail a sampling of examples, we propose a defense of the thesis: Performance bottlenecks in proof automation almost always result from inefficiencies in parts of the system which are conceptually distant from the theorem being proven. Said another way, debugging, understanding, and fixing performance bottlenecks in automated proofs almost always requires extensive knowledge of the proof engine, and almost never requires any domain-specific knowledge of the theorem being proven. Further, there is no clear direction of improvement: We know of no systematic proposal, nor even folklore among experts, of what primitives and performance characteristics are sufficient for a performant proof engine.

via: https://jasongross.github.io/

AI agents running research on single-GPU nanochat training automatically - karpathy/autoresearch