Skip to content

Instantly share code, notes, and snippets.

View panda2134's full-sized avatar
🚀
Power up!

panda2134

🚀
Power up!
107 followers · 74 following
View GitHub Profile
@panda2134
panda2134 / 00-spacer-stuck.smt2
Last active October 31, 2022 16:40
A case where Spacer stucks
(set-logic HORN)
(set-option :fp.engine spacer)
(set-option :fp.xform.inline_eager false) ; remove this and all will be fine
(declare-rel Ea (Int Int))
(declare-rel Eb (Int Int))
(declare-rel Ec (Int Int))
(declare-rel Na (Int Int))
(declare-rel Nb (Int Int))
(declare-rel Counterex (Int Int))
@panda2134
panda2134 / spacer-order-of-args.smt2
Last active October 31, 2022 13:13
(set-logic HORN)
(set-option :fp.engine spacer)
; relation declarations
(declare-rel Counterex (Int Int Int Int Int))
(declare-rel E.Sem$0 (Int Int Int Int))
(declare-rel E.Sem$1 (Int Int Int Int))
(declare-rel B.Sem$2 (Int Int Int Bool))
(declare-rel E.Sem$3 (Int Int Int Int))
(declare-rel E.Sem$4 (Int Int Int Int))
@panda2134
panda2134 / fucktx.js
Last active February 14, 2022 09:29
Surge/Shadowrocket script for unblocking QQ URL Safety Check
if (!$request.url.match(/^https\:\/\/c\.pc\.qq\.com\/middlem\.html/)) {
console.log("no match!")
$done({})
} else {
var token = '%[a-f0-9]{2}';
var singleMatcher = new RegExp(token, 'gi');
var multiMatcher = new RegExp('(' + token + ')+', 'gi');
function decodeComponents(components, split) {
try {
@panda2134
panda2134 / index.html
Last active December 10, 2021 13:34
ZEXpLPa
<!DOCTYPE html>
<html>
<head>
<title>demo</title>
<script src="https://cdnjs.cloudflare.com/ajax/libs/KaTeX/0.15.1/katex.min.js"></script>
<link href="https://cdn.jsdelivr.net/npm/katex@0.15.1/dist/katex.min.css" rel="stylesheet" />
</head>
<body>
<div id="formula"></div>
<div class="cmd-container">
@panda2134
panda2134 / machine.js
Last active July 27, 2020 13:40
Generated by XState Viz: https://xstate.js.org/viz
const dfa = Machine({
id: 'prob',
initial: 'intro',
states: {
intro: {
on: {
SUBMIT: [
{ target: 'end', cond: (ctx, e) => e.choice === 'BD' },
{ target: 'explanation' }
@panda2134
panda2134 / machine.js
Last active July 27, 2020 07:58
Generated by XState Viz: https://xstate.js.org/viz
const prob1 = {
initial: 'intro',
states: {
intro: { on: { NEXT: 'page1' }},
page1: { on: { OK: 'page2', WRONG: 'page3' } },
page2: { on: { OK: 'page4', WRONG: 'page6' } },
page3: { on: { NEXT: 'page2'}},
page4: { on: { OK: 'page5', WRONG: 'page7'}},
page5: { on: { NEXT: 'done' }},
page6: { on: { NEXT: 'page4'}},
@panda2134
panda2134 / machine.js
Last active July 27, 2020 07:23
Generated by XState Viz: https://xstate.js.org/viz
const prob1 = {
initial: 'intro',
states: {
intro: { value: {title:"123"}, on: { NEXT: 'page1' }},
page1: { on: { OK: 'page2', WRONG: 'page3' } },
page2: { on: { OK: 'page4', WRONG: 'page6' } },
page3: { on: { NEXT: 'page2'}},
page4: { on: { OK: 'page5', WRONG: 'page7'}},
page5: {},
page6: { on: { NEXT: 'page4'}},
@panda2134
panda2134 / 2.hexdump.txt
Created February 24, 2020 10:00
00000000 0d 0a 0d 0a 0d 0a 0d 0a 0d 0a 0d 0a 0d 0a 0d 0a
00000010 0d 0a 0d 0a 0d 0a 0d 0a 0d 0a 0d 0a 0d 0a 0d 0a
00000020 0d 0a 3c 68 74 6d 6c 3e 0d 0a 3c 21 2d 2d 3c 21 <html> <!--<!
00000030 44 4f 43 54 59 50 45 20 48 54 4d 4c 3e 2d 2d 3e DOCTYPE HTML>-->
00000040 0d 0a 3c 68 65 61 64 3e 0d 0a 0d 0a 3c 6d 65 74 <head> <met
00000050 61 20 68 74 74 70 2d 65 71 75 69 76 3d 22 58 2d a http-equiv="X-
00000060 55 41 2d 43 6f 6d 70 61 74 69 62 6c 65 22 20 63 UA-Compatible" c
00000070 6f 6e 74 65 6e 74 3d 22 49 45 3d 35 22 20 2f 3e ontent="IE=5" />
00000080 0d 0a 0d 0a 0d 0a 3c 74 69 74 6c 65 3e 3c 2f 74 <title></t
00000090 69 74 6c 65 3e 0d 0a 3c 6d 65 74 61 20 68 74 74 itle> <meta htt
@panda2134
panda2134 / keybase.md
Created July 4, 2018 05:37

Keybase proof

I hereby claim:

  • I am panda2134 on github.
  • I am panda_2134 (https://keybase.io/panda_2134) on keybase.
  • I have a public key ASCrQVom992fxUBjpsbpK0EoMtzITtRMsSVLS_wrnSkOnQo

To claim this, I am signing this object:

@panda2134
panda2134 / coin.cpp
Last active June 26, 2016 08:59
#include<iostream>
#include<cstring>
using namespace std;
int d1[1000],d2[1000],V[1000],S,n;
bool vis1[1000],vis2[1000];
void init();
int dp1(int m);