julianrdcosta
Welcome to my website! Think of this as a library under construction – there’s a distant noise of hammering, the walls aren’t painted yet and the sentences sometimes trail off, but there’s a few quiet nooks you can sit in and enjoy the odd blogpost. Probably the second-funniest way to describe what I’m up to these days is to say I work at an AGI lab – just one you’ve never heard of. I used to be a DPhil student in computer science at Oxford University, where I worked on algorithmic verification with James Worrell and Joel Ouaknine. I grew up in Goa, India, and studied math at IISc Bangalore. If something on this site interests you, I’d love to chat – I’m julianrdcosta on gmail and twitter. Although I dabble in many things, I’m particularly interested in working in: I also have a LinkedIn and a CV. If you are an unusually enlightened parent, child, or human, you may enjoy hiring me as an aristocratic tutor. My DPhil research was about algorithmic questions that arise when you ask the ha
Welcome to my website! Think of this as a library under construction – there’s a distant noise of hammering, the walls aren’t painted yet and the sentences sometimes trail off, but there’s a few quiet nooks you can sit in and enjoy the odd blogpost. Probably the second-funniest way to describe what I’m up to these days is to say I work at an AGI lab – just one you’ve never heard of. I used to be a DPhil student in computer science at Oxford University, where I worked on algorithmic verification with James Worrell and Joel Ouaknine. I grew up in Goa, In
Explore this link on the map →related reading
- LessWronglesswrong.com
- Study Guide — LessWronglesswrong.com
- AI 2027ai-2027.com
- Computational Complexityblog.computationalcomplexity.org
- What's new | Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Taoterrytao.wordpress.com
- AGI Ruin: A List of Lethalities — LessWronglesswrong.com
- Welcome!boydkane.com
- AI 2027ai-2027.com
- Mathematics in the Library of Babel - Daniel Littdaniellitt.com
- 2023 letter | Zhengdongzhengdongwang.com
- Parsed | Custom, interpretable AI systems that continuously learnparsed.com
- Gwern visits BAIR – Yuxi on the Wiredyuxi.ml