Skip to content

Instantly share code, notes, and snippets.

View user202729's full-sized avatar

user202729

57 followers · 0 following
View GitHub Profile
@user202729
user202729 / oklch-to-srgb-converter.html
Created March 8, 2025 16:59
Tailwind color palette in RGB…
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<script src="https://colorjs.io/dist/color.global.js"></script>
<style>
body {
margin: 0;
padding: 0;
height: 100vh;
@user202729
user202729 / stackoverflow-remove-comment-popup.js
Last active March 8, 2025 02:21
Remove comment popup on StackExchange sites ( see https://meta.stackoverflow.com/q/433155/5267751 )
// ==UserScript==
// @name Auto-Click Popover Comment Button (Suppress Original Click)
// @namespace http://tampermonkey.net/
// @version 1.1
// @description When a comment-add button is clicked, prevent its default behavior and instead click the corresponding popover comment button.
// @author user202729
// @match https://*.stackoverflow.com/*
// @match https://*.stackexchange.com/*
// @match https://*.superuser.com/*
// @match https://stackapps.com/*
@user202729
user202729 / z3_pysat_bridge.py
Created February 7, 2025 09:51
Solve z3 problems with pysat
#!/usr/bin/env python3
"""
This script shows the solution of a bit–vector constraint problem using
two different methods.
• solve_with_z3(constraints, variables) uses Z3 directly.
• solve_with_pysat(constraints, variables) first applies bit-blasting and Tseitin CNF
transformation in Z3, then uses PySAT to solve the CNF and reconstructs the model.
A demonstration is provided in main().
@user202729
user202729 / A-README.md
Last active February 6, 2025 05:12
automatically add r to docstrings containing \ (supplementary for https://stackoverflow.com/a/79416828/5267751 )

This shows how to automatically add r to docstrings containing \.

Just run python code-slightly-modified.py [path to your Python file]. It will modify the code in-place.

Note: keep a backup copy of your code before running the script!

How the code was written

@user202729
user202729 / .gitignore
Last active December 7, 2024 10:39
Make process allow gdb to attach to it
A
B
@user202729
user202729 / README.md
Last active January 23, 2025 06:19
on sig_on() and sig_on_no_except()

Summary

When sig_on() … sig_off() is used, to clean up resources when something is interrupted, don't use sig_on_no_except(). Instead use nested try … finally:

cpdef void matrix_multiply_interruptable_3(np.ndarray[np.int_t, ndim=2] c, np.ndarray[np.int_t, ndim=2] a, np.ndarray[np.int_t, ndim=2] b):
    debug_print("allocate")
    try:
 sig_on()
@user202729
user202729 / A Kuratowski theorem for the projective plane_new.pdf
Last active October 7, 2024 15:17
"A Kuratowski theorem for the projective plane" — Dan Archdeacon thesis — bookmarked
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@user202729
user202729 / .gitignore
Last active August 2, 2024 02:37
rama's nonbug?
/a.o
/b.o
/c.o
/program
@user202729
user202729 / README.md
Last active June 2, 2024 13:15

How do I build libmupdf.so?

git clone https://github.com/ArtifexSoftware/mupdf
cd mupdf
make shared build=debug
# or:
make shared-debug
@user202729
user202729 / a.tex
Created March 5, 2024 22:51
Fix for https://tex.stackexchange.com/a/89840/250119
\documentclass[11pt]{article}
\usepackage[T1]{fontenc}
\usepackage{array}
\usepackage{makecell}
\newcolumntype{x}[1]{>{\centering\arraybackslash}p{#1}}
\usepackage{tikz}
\begin{document}
\newcommand\diag[4]{%
\multicolumn{1}{@{}p{#2}@{}|}{%