Skip to content

Instantly share code, notes, and snippets.

View rht's full-sized avatar

rht

  • ◊ Mars
View GitHub Profile
@rht
rht / flake.nix
Last active March 29, 2025 08:34
Zulip server
{
description = "Hello world flake using uv2nix";
inputs = {
nixpkgs.url = "github:NixOS/nixpkgs/nixos-unstable";
pyproject-nix = {
url = "github:pyproject-nix/pyproject.nix";
inputs.nixpkgs.follows = "nixpkgs";
};
# Generated by o3-mini-high, as of Feb 2025, so may have some inaccuracies.
class Linear:
"""
A class that simulates a linear (single‑use) resource.
Each Linear object wraps a value and tracks whether it has been consumed.
Optionally, a resource may be marked as "unrestricted" (via the exponentials)
so that it can be duplicated.
import time
class KitaevHamiltonian:
def __init__(_N: int, J: DisorderParameter):
for Q in range(N):
blocks.append(KitaevHamiltonianBlock(N, Q, J))
def __del__(self):
for Q in range(N):
if blocks[Q] != 0:

independent of 1.7 release

  • Slack data import. Need to find more varied message data samples.
  • Help deliver Prod Docker -- pending review from @Tim Abbott. There is an additional offline Postgres backup system written by @Alexander Trost that could be extracted into a script on its own to complement wal-e S3 backup (the decision on this shouldn't get in the way of delivering). This may help speed up Travis test by few mins by downloading a docker image instead of having to apt-get dist-upgrade
  • federation capability / Zulip-Matrix: ping @ara4n for follow up on appservice

TODO: create a script to automate this

what is the most complex system ever written for each lang? Fact-checking, which is the sun, which is the moon, which is jupiter, and which is the galaxy? In terms of architecture: a super huge aircraft hangar may be more humongous than a baseball-hall-sized labyrinth, but the latter could be more complex. Jupiter may be a humongous ball of gas, but it doesn't contain any organic life.

#golang

  • kubernetes 255578, 479188
[fact] github.com/rht and gitlab.com/noether are orchestrated by the same entity
[
{"csail": "https://github.com/csail",
"AI": {"Anyscale Learning For All (ALFA)": {"FlexGP": "https://github.com/flexgp"},
"Center for Biological and Computational Learning": "http://cbcl.mit.edu/projects/cbcl/software-datasets/index.html",
"Clinical Decision Making Group": {"i2b2": "https://www.i2b2.org/software"},
"Computation and Biology": null,
"Computational Biology": null,
"Computational Cognitive Science Group": null,
"Computational Genomics": null,
"Computer Graphics Group": null,
Verifying that +rht is my Bitcoin username. You can send me #bitcoin here: https://onename.io/rht
import json
import re
petitions = json.load(open('aaronsw.json'))
#ntotal = 761
#nempty = 384
#wpcomment = 5
#nyan = 7 # by yan
sanitizedpetitions = []
msglength = []