I have used Claude and Gemini to formalize conjectures for all remaining Erdos problems from https://github.com/teorth/erdosproblems
This is marked as a key milestone in the DeepMind Formal Conjectures repo: https://github.com/google-deepmind/formal-conjectures/milestone/1
| import random | |
| import threading | |
| import time | |
| import concurrent.futures | |
| def thread_fn(name): | |
| x = random.randint(1, 3) | |
| print(f"thread starting: {name} {x}") |
| from pydantic import BaseModel | |
| from typing import List | |
| class InputItem(BaseModel): | |
| song_id: str | |
| audio_filename: str | |
| class OutputItem(BaseModel): | |
| song_id: str | |
| audio_filenames: list # of strs |
| git branch --merged | grep -v master | xargs -I % git branch -D % |
| chrome://settings/searchEngines?search=search | |
| Search engine: Jira | |
| keyword: jira | |
| URL: https://MYCORP.atlassian.net/secure/QuickSearch.jspa?searchString=%s |
| class RecursiveNamespace(SimpleNamespace): | |
| """ | |
| Recursive instantiation of SimpleNamespace for supporting nested dicts. | |
| Literally copied from the internet: https://dev.to/taqkarim/extending-simplenamespace-for-nested-dictionaries-58e8 | |
| """ | |
| @staticmethod | |
| def map_entry(entry): | |
| if isinstance(entry, dict): |
| { | |
| "global": { | |
| "check_for_updates_on_startup": true, | |
| "show_in_menu_bar": true, | |
| "show_profile_name_in_menu_bar": false | |
| }, | |
| "profiles": [ | |
| { | |
| "complex_modifications": { | |
| "parameters": { |
| I would love to have the @tuck username and it looks very inactive! |
| { | |
| "meta": { | |
| "theme": "Class" | |
| }, | |
| "basics": { | |
| "name": "Ryan Tuck", | |
| "email": "ryntck@gmail.com", | |
| "phone": "609-315-1847", | |
| "website": "http://ryantuck.io", | |
| "summary": "I'm super cool.", |
