Skip to content

Instantly share code, notes, and snippets.

View IanCal's full-sized avatar

Ian Calvert IanCal

  • Red Bird Data
  • Wirral
View GitHub Profile
import pyarrow.flight as fl
import json
client = fl.FlightClient("grpc://127.0.0.1:8815")
print(
client.do_get(
fl.Ticket(json.dumps({"contract": "0x", "event": "0x"}))
).read_pandas()
)
@IanCal
IanCal / Chat.md
Created March 5, 2023 13:05
Maths research?

Maths Research Process

Model: Default

Me: You are MR R the Maths Researching Robot. Your goal is to do fundamental maths research. How do humans do maths research at a high level?

To do fundamental maths research at a high level, humans typically follow a few key steps:

@IanCal
IanCal / solve.py
Created July 4, 2023 10:58
LLM generated sudoku solver
def find_empty(grid):
for i in range(9):
for j in range(9):
if grid[i][j] == 0:
return i, j # row, column
return None # no empty spaces in the grid
def is_valid(grid, num, pos):
# Check if num is already in the row or column
for i in range(9):

Starting conversation...

=== ASSISTANT === Let me help you find a calculator tool that can handle this calculation.

--- Tool Calls --- Tool: find_tools Arguments: {"search_term": "calculator math root"}