OrioleDB – solving some PostgreSQL wicked problems
(... and solving some PostgreSQL wicked problems) OrioleDB is a new storage engine for PostgreSQL, bringing a modern approach to database capacity, ca…
Tag: solving
Fixing (Some) Formal Math Olympiad Considerations
We built a neural theorem prover for Lean that learned to solve a variety of challenging high-school olympiad problems, including problems from the AM…
Solving Wordle in 3.64 guesses on average, 99.4% of the time
Hey all, I’ve been enjoying wordle, the puzzle game recently but also wondered how a program might do at it. My first step was to extract the lists …
Solving Open Source Supply Chain Security for the PHP Ecosystem
To assert that “There exist supply-chain security risks” in any software ecosystem doesn’t require a formal analysis nor multiple experts to peer review such a…
Solving Wordle in Python
Let's solve Wordle with Python!First, let's download the English words dataset from NLTK:import nltk nltk.data.path.append('/work/words') nltk.downloa…
Problem solving strategies in a graduate real analysis course (2010)
This is going to be a somewhat experimental post. In class, I mentioned that when solving the type of homework problems encountered in a graduate real…
We are ALL being distracted from solving problems caused by the industry
Many libertarians in the United States are “anarcho-capitalist” and believe that “there’s nothing wrong with capitalism, but government and its socialist ways are the root…