|
Artem Kaznatcheev
@
kaznatcheev
Oxford, England
|
|
Use cancer to know biology. View learning & evolution + philosophy of sci through the algorithmic lens. Blogger at TheEGG. DPhil at Oxford CS. On the job market
|
|
|
7.379
Tweetovi
|
909
Pratim
|
1.761
Osobe koje vas prate
|
| Tweetovi |
| Artem Kaznatcheev proslijedio/la je tweet | ||
|
Lizzie Kumar
@ziebrah
|
8 h |
|
Funny how writing my paper feels way easier after I talked to a ton of different kinds of people about it. It's almost as if I wish to collaborate
|
||
|
|
||
| Artem Kaznatcheev proslijedio/la je tweet | ||
|
Emily Dolson
@emilyldolson
|
24 h |
|
Anyone know of resources/strategies for mentoring advanced grad students/postdocs through the process of navigating an interdisciplinary academic career? I'm trying to figure out what it would look like to design some, but if someone else already has, so much the better!
|
||
|
|
||
| Artem Kaznatcheev proslijedio/la je tweet | ||
|
James Propp
@JimPropp
|
3. velj |
|
I told my kid (who’d asked about absolute value signs) “They’re just like parentheses so there’s never any ambiguity,” but then I realized that things are more complicated; for instance |-1|-2|-3| could be 5 or -5. Has anyone encountered ambiguities like this in the wild?
|
||
|
|
||
|
Artem Kaznatcheev
@kaznatcheev
|
3. velj |
|
Nice way to highlight & disorient 'benign' parts surveillance capitalism: @simon_deliver walked around Berlin w/ wagon full of 99 smartphones running Google Maps thus creating 'traffic jams' & changing green streets to red: simonweckert.com/googlemapshack…
I feel @Abebab might enjoy this pic.twitter.com/VotdegQpee
|
||
|
|
||
|
Artem Kaznatcheev
@kaznatcheev
|
31. sij |
|
All of my models and programs live in constant fear of me prematurely terminating their thread or my laptop running out of battery. It's a cruel cruel world inside this little machine.
|
||
|
|
||
|
Artem Kaznatcheev
@kaznatcheev
|
31. sij |
|
Oh, sorry!
|
||
|
|
||
|
Artem Kaznatcheev
@kaznatcheev
|
31. sij |
|
This seems to have been inspired in part by Sarah B. Lawsky's view of law as algorithm. Which, once I heard about it, seems like such a worthwhile perspective worth the attention of theoretical computer science.
Seems like a very interesting field that I need to read more about.
|
||
|
|
||
|
Artem Kaznatcheev
@kaznatcheev
|
31. sij |
|
Denis Merigoux made formal semantics for French tax code. He used automatic theorem prover to show tax code is sound and to allow using SMT queries to uncover unfair tax hikes: blog.merigoux.ovh/en/2019/12/20/…
Will an algorithmic approach make tax law more accessible & scrutable? @Abebab
|
||
|
|
||
| Artem Kaznatcheev proslijedio/la je tweet | ||
|
Michael Bench-Capon
@MikeBenchCapon
|
30. sij |
|
Ian Hacking arrives at a party and says to the host "Look, I brought Champagne!" The host examines the bottle and sees it's not from the Champagne region of France, and says "that's not real Champagne". So Ian Hacking shakes up the bottle and sprays it all over the host
|
||
|
|
||
|
Artem Kaznatcheev
@kaznatcheev
|
31. sij |
|
I think you might be factually wrong here. It seems that engineers are over-represented among highly radicalised groups: washingtonpost.com/news/monkey-ca…
I'm sure this isn't just from learning mech eng (as opposed to learning mech eng and then not having a job), but it is worth noting.
|
||
|
|
||
|
Artem Kaznatcheev
@kaznatcheev
|
31. sij |
|
This is the worst rule 34 possible. Why would you do this to us?
|
||
|
|
||
| Artem Kaznatcheev proslijedio/la je tweet | ||
|
Corrie Navis
@CorrieJN
|
30. sij |
|
Forms like this = excellent!
Asking a recommend-ee to fully write their own letter disadvantages those not comfortable unabashedly praising themselves (which often includes those from already-marginalized groups within a field/setting). twitter.com/evornithology/…
|
||
|
|
||
|
Artem Kaznatcheev
@kaznatcheev
|
30. sij |
|
Now I have to figure out how to find healthy almonds with hooves?
|
||
|
|
||
|
Artem Kaznatcheev
@kaznatcheev
|
30. sij |
|
This is how I feel about 'algorithmic'. twitter.com/Gary_An/status…
|
||
|
|
||
|
Artem Kaznatcheev
@kaznatcheev
|
29. sij |
|
A past interviewee working through math problems verbalised things like "Consider line at left or right, it will have positive or negative slope, respectively". And would have 'respectively' consistent (most people just point their pencils instead of nesting linguistic clauses).
|
||
|
|
||
|
Artem Kaznatcheev
@kaznatcheev
|
29. sij |
|
I also mentally say 'ifff' and sometimes (typical in more informal contexts) that slips out verbally, too.
|
||
|
|
||
| Artem Kaznatcheev proslijedio/la je tweet | ||
|
Ron Gejman
@rongejman
|
28. sij |
|
I was curious about what philosophers and scientists thought were the most important contributions of philosophy of science to working scientists and I stumbled upon this interesting oped in @PNASNews pnas.org/content/116/10… "Opinion: Why science needs philosophy" 1/n
|
||
|
|
||
|
Artem Kaznatcheev
@kaznatcheev
|
29. sij |
|
Sounds like I need to read Bickhard's "The Tragedy of Operationalism", since it would be nice to have some good arguments against one my favourite positions. After all, I don't want to be building careful effective theories in vain! twitter.com/IrisVanRooij/s…
|
||
|
|
||
|
Artem Kaznatcheev
@kaznatcheev
|
28. sij |
|
I agree. This is why it is important to develop new streetlights (techniques).
I think we should pick problems and tools as pairs, so I am all okay with searching under a streetlight as long as we pair the right 'keys' to look for with the right 'streetlight' to look under.
|
||
|
|
||
| Artem Kaznatcheev proslijedio/la je tweet | ||
|
Lynn Chiu
@drlynnchiu
|
28. sij |
|
There was an interesting big question discussion about optimizing/equilibrium assumptions in math models (for tractability), bioengineering projects (as a goal), & theories about the real biological world. Do cells or anything in bio actually optimize?!
|
||
|
|
||