Lazer is a Python library that provides a convenient way to expose Python functions as schemas for OpenAI chat models.
To install Lazer, simply run:
pip install lazer
Diamond diamondburned
diamondburned
/ dfa2sat.py
Created
May 1, 2023 00:42
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/usr/bin/env python3 | |
| import itertools | |
| def dfa2sat(E: list[tuple[int, int, str]], q: int, F: list[int]): | |
| """ | |
| Convert DFA to SAT. | |
| Arguments: | |
| - E: list of edges (source, target, label) |
diamondburned
/ schema.docs.graphql
Created
May 18, 2023 09:01
GitHub GraphQL schema snapshot at 2023-05-18T02:01:18-07:00
This file has been truncated, but you can view the full file.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| directive @requiredCapabilities( | |
| requiredCapabilities: [String!] | |
| ) on ARGUMENT_DEFINITION | ENUM | ENUM_VALUE | FIELD_DEFINITION | INPUT_FIELD_DEFINITION | INPUT_OBJECT | INTERFACE | OBJECT | SCALAR | UNION | |
| """ | |
| Marks an element of a GraphQL schema as only available via a preview header | |
| """ | |
| directive @preview( | |
| """ | |
| The identifier of the API preview that toggles this field. |
diamondburned
/ README.md
Created
June 14, 2023 04:51
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| { pkgs ? import <nixpkgs> {} }: | |
| pkgs.mkShell { | |
| buildInputs = with pkgs; [ git ]; | |
| } |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Traceback (most recent call last): | |
| File "/home/diamond/Scripts/acmcsufdev/christmas-py-example/.venv/lib/python3.11/site-packages/websockets/legacy/protocol.py", line 963, in transfer_data | |
| message = await self.read_message() | |
| ^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| File "/home/diamond/Scripts/acmcsufdev/christmas-py-example/.venv/lib/python3.11/site-packages/websockets/legacy/protocol.py", line 1033, in read_message | |
| frame = await self.read_data_frame(max_size=self.max_size) | |
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| File "/home/diamond/Scripts/acmcsufdev/christmas-py-example/.venv/lib/python3.11/site-packages/websockets/legacy/protocol.py", line 1108, in read_data_frame | |
| frame = await self.read_frame(max_size) | |
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
diamondburned
/ led-points.csv
Created
December 8, 2023 00:03
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 116 | 854 | |
|---|---|---|
| 81 | 793 | |
| 42 | 777 | |
| 33 | 830 | |
| 36 | 826 | |
| 49 | 874 | |
| 85 | 892 | |
| 74 | 852 | |
| 96 | 846 | |
| 99 | 819 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| * { | |
| box-sizing: border-box; | |
| } | |
| body { | |
| margin: 0 auto; | |
| padding: 1em 1.5em; | |
| min-height: 100vh; | |
| max-width: 800px; | |
| min-width: auto; |
diamondburned
/ README.md
Last active
December 13, 2023 10:49
This patch is carried over from Nixpkgs' pkgs/development/compilers/go/go_no_vendor_checks-1.21.patch.
It is required for Nixpkgs' buildGoModule to work with Go 1.14+.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| @-moz-document domain("freedesktop.org") { | |
| .refentry { | |
| max-width: 765px; | |
| line-height: 1.5; | |
| margin: auto; | |
| position: relative; | |
| } | |
| .refentry pre { | |
| line-height: 1.25; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // ==UserScript== | |
| // @name WS hack | |
| // @namespace http://tampermonkey.net/ | |
| // @version 0.1 | |
| // @description try to take over Discord! | |
| // @author You | |
| // @match https://discord.com/* | |
| // @grant none | |
| // @run-at document-start | |
| // @require https://cdnjs.cloudflare.com/ajax/libs/pako/1.0.11/pako.min.js |