Nikil Ravi

N

Nikil Ravi

@nikil

All cardsCollections

"I was waiting for something extraordinary to happen, but as the years wasted on, nothing ever did unless I caused it.”

—Charles Bukowski

Citizen scientists—practices, observations, and experience - Humanities and Social Sciences Communications

Michael O’Grady nature.com

Just a moment...

Thumbnail of Just a moment...

We Need a New Science of Progress

Tyler Cowen theatlantic.com

Thumbnail of We Need a New Science of Progress

OpenReview: Venues

Thumbnail of OpenReview: Venues

Just a moment...

Thumbnail of Just a moment...

Shakespeare's Fair Youth Sonnets

Thumbnail of Shakespeare's Fair Youth Sonnets

GitHub - wvhulle/riddle-proofs: Riddles solved in Lean4 for educational purposes

wvhulle github.com

Thumbnail of GitHub - wvhulle/riddle-proofs: Riddles solved in Lean4 for educational purposes

An Extensible User Interface for Lean 4

drops.dagstuhl.de

Cover of An Extensible User Interface for Lean 4