Projects & Research
Projects
SeatFinder
Course enrollment tracking for university students
Notep4d
Instant URL to live collaborative notepad — real-time editing with anyone
Iceberg.sh
The copy-paste bridge between machines — pipe any bytes to a topic, grab them anywhere
Refutable.AI · Coming soon
Research and Papers
Compressibility of TFNP Reductions
Research on total search problems and proof complexity · Summer 2025
Regular Extensions of Half-Integral Choice Models
Combinatorial choice theory and hypergraph acyclicity · Fall 2024 - Winter 2025
Diametric Colorings in Ultrametric Spaces
Research on Ramsey Theory and Analysis · Summer 2024