Bhargav Kulkarni

@bhargavkk
15 Followers
40 Following
95 Posts
PhD Student @ University of Utah
Webpagehttps://bhargavkulk.github.io/
Have it writ upon thy meagre grave:"Felled by King Morgott! Last of all kings."
Bhargav Kulkarni2d ago
José A. AlonsoFeb 4, 2023
Gödel's theorem without tears (Essential incompleteness in synthetic computability). ~ D. Kirst, B. Peters. https://drops.dagstuhl.de/opus/volltexte/2023/17491/pdf/LIPIcs-CSL-2023-30.pdf #ITP #Coq #Logic #Math
Show threadBhargav Kulkarni3d ago
@ricci I nearly signed because the language they used for the measure was sooo confusing. Thank God (and Utah voters!) this failed.
Show threadBhargav Kulkarni5d ago
@wiersdorf emacs-bedrock is great! My config grew out of it. Thanks a lot for making it!
Bhargav KulkarniMar 10
Adrian SampsonMar 10
Because I have poor self control, I made a thing to avoid looking at those increasingly terrible ACM Digital Library pages. Introducing Analog Library: https://al.radbox.org
Analog Library Premium Edition™

Show threadBhargav KulkarniMar 10
@adrian this is fantastic! it also has the link to the pdf and not their unusable epdf reader.
Show threadBhargav KulkarniMar 10
@yvanspijk wow. which means sanskrit "hrday" also comes from the same PIE root!
Show threadBhargav KulkarniMar 6
@regehr just one fried egg? you have too much self control
Show threadBhargav KulkarniMar 6
@disconcision can it run doom tho?
Show threadBhargav KulkarniMar 6
@thalia @wiersdorf if i ever have to run any of these please put me out of my misery in the lab
Bhargav KulkarniFeb 18
Made pulao today! Tastes pretty good, I just need to up the quantity of spices and veggies for next time. Luckily my mother sent me a bugger capacity pressure cooker just recently, so it should be easy to cook a larger quantity.