Profile

Cover photo
Frank Atanassow
Worked at Centrum voor Wiskunde en Informatica (CWI)
Attended Cornell University
Lives in Utrecht, NL
458 followers|90,733 views
AboutPostsPhotosYouTubeReviews

Stream

 
In the US, climate change denial correlates not with income or education, but with religiosity and political conservatism.
Randy Olson analyzes the latest American opinion poll results to answer the question: Who are the climate change deniers?
2
1
Vadim Nasardinov's profile photo
Add a comment...

Frank Atanassow

Shared publicly  - 
 
A discussion of the viability (or not) of hiding your hypothetical space warship. The comments are as interesting as the article.
1
Ashley Yakeley's profile photoFrank Atanassow's profile photo
4 comments
 
Oh, I think he is trying to compute the flux through a solid angle there, but I don't quite get it either. Something is obviously broken, as he mentions \rho but \rho does not appear in the equation.
Add a comment...

Frank Atanassow

Shared publicly  - 
 
Here's the new PC I will be building. I already got some good critique which led to improvements from reddit. Do you guys have any suggestions/remarks? (The prices on the linked page are not accurate since I'll be buying from merchants in the Netherlands.)
PCPartPicker Part List: Intel Core i5-4670K, Gigabyte GeForce GTX 770, Fractal Design Define XL R2 (Titanium Grey)
5
1
Dave Haines's profile photoFrank Atanassow's profile photoMarco Devillers's profile photoJack Trice's profile photo
20 comments
 
I still can't believe I ran Linux on a 64MB machine and now hardly get more functionality with 8GB than during those days. The fonts are prettier and I get to watch an occasional video; some eye candy, that's about it.

Anyway. It looks to me that system requirements are somewhat flattening out. Not sure. But it may take a while before 16GB is the new midrange.
Add a comment...

Frank Atanassow

Shared publicly  - 
 
Thousands of fish were flash frozen in a Norwegian bay after a harsh wind caused temperatures to suddenly dip to minus 7.8 degrees Celsius.

The huge shoal of herring were swimming too close to the surface when the water suddenly froze around them, completely stopping them in mid-swim and creating the incredible sight.

http://www.independent.co.uk/news/weird-news/harsh-wind-hits-norwegian-bay-so-suddenly-that-thousands-of-fish-are-flashfrozen-9068088.html
7
Add a comment...

Frank Atanassow

Shared publicly  - 
 
I heard this on QI tonight: some people apparently don't laugh; they are called agelastic. Supposedly, Isaac Newton was agelastic: he only laughed once in his life, when somebody asked him what the point was of reading Euclid.
2
Add a comment...

Frank Atanassow

Shared publicly  - 
 
" Ophiocordyceps unilateralis is a parasitoidal fungus that infects ants such as Camponotus leonardi and alters their behavior. The ant falls from the tree where it normally lives, climbs on the stem of a plant, clamps its mandibles on a leaf and dies there, while the fungus consumes its tissues and grows outside it, releasing its spores. The infected ants are popularly known as zombie ants. This is a prime example of a parasitoid that alters the behavior of its host in order to ensure its own reproduction. Possessed ants march to their death and the fungus lives inside the exoskeleton." "Marks have been found on fossilised leaves that suggest this ability to modify the host's behaviour evolved more than 48 million years ago."

http://en.wikipedia.org/wiki/Ophiocordyceps_unilateralis
http://en.wikipedia.org/wiki/Cordyceps
http://en.wikipedia.org/wiki/Parasitoid
7
1
Ketil Malde's profile photoBritt BMW's profile photoAshley Yakeley's profile photogeorge oloo's profile photo
3 comments
Add a comment...

Frank Atanassow

Shared publicly  - 
 
You can exploit the trapping architecture on modern computers to do computation without ever executing any instructions. The authors use page faults and double faults (a fault that happens while handling a fault) to encode a Turing machine.
Trust Analysis, i.e. determining that a system will not execute some class of computations, typically assumes that all computation is captured by an instruction trace. We show that powerful computation on x86 processors is possible without executing any CPU instructions.
3
2
george oloo's profile photoChristophe Favergeon's profile photo
Add a comment...
Have him in circles
458 people
Chinonyerem Obichukwu's profile photo
Desiree Palmen (Deecommerce)'s profile photo
Marije Dulon Barre's profile photo
Blake Rain's profile photo
Jikai Tang's profile photo
Jackson Mirus's profile photo
Ketil Malde's profile photo
Jeroen Mirck's profile photo
Babette van Laar's profile photo

Frank Atanassow

Shared publicly  - 
 
It's a spoof, but I really like this song. To me it sounds like Coldplay crossed with Xmal Deutschland and Cocteau Twins.
7
Add a comment...
 
What-- How-- What--...?! If this is a fan tribute, it's the most competent one I've ever seen. And isn't that Grant Imahara from "Mythbusters" as Sulu?
4
2
Claudio Fuzitaki's profile photoDebora Sakama Dutra's profile photo
Add a comment...
 
Do yourself a flavor and follow these two pisces of advice: 1. There is no prostitute for careful editing of your own work. 3. When it comes to proofreading, the red penis your friend.
11
Benoit St-Pierre's profile photoAlbert Richie's profile photo
2 comments
 
Actually, a prostitute usually does a better job whatever the color of you penis. So stop masturbating and get a good editor... 
Add a comment...

Frank Atanassow

Shared publicly  - 
 
Lots of interesting things to read about from various scientists here. One notable non-scientist in the menagerie is actor Alan Alda.

The idea that things are either true or false should possibly take a rest... For me, the trouble with truth is that not only is the notion of eternal, universal truth highly questionable, but simple, local truths are subject to refinement as well... I wonder, and this is just a modest proposal, if scientific truth should be identified in a way that acknowledges that it's something we know and understand for now  – and in a certain way.

Alda's one of those artsy people, who want everything to be fuzzy. And I'm also kind of a platonist. So it's easy for me to dismiss this in knee-jerk fashion. Except that I sort of agree.

Because, while I like exactness and binary propositions, I'm also a computer scientist, and we all recognize that logic is a game of symbols, organized into proofs, otherwise known (sometimes) as algorithms.  And we know that a theorem is not as important or fundamental as its proofs.

This perspective actually accords well with the idea that we ought to prefer thinking about why scientific facts are provable -- namely, because of empirical evidence linked by deduction -- to the idea that they are true. Because, proof-theoretically, "true" just means "provable". Add in the notion of constructivity, and now the algorithmic nature of proofs starts to remind one of the procedure of scientific experimentation.

(The analogy is rough. Science is about refutation rather than proof, but maybe you can come up with a kind of coalgebraic notion of refutation which is algorithmic in the same way that constructive proofs are.)
Each year a forum for the world's most brilliant minds asks one question. This year's drew responses from such names as Richard Dawkins, Ian McEwan and Alan Alda. Here, edge.org founder John Brockman explains how the question came into being and we pick some of the best responses
3
Dan Piponi's profile photoMarco Devillers's profile photoCharles Stewart's profile photoFrank Atanassow's profile photo
17 comments
 
I see what you mean. I didn't grok your example at first, but found some exposition here: http://www2.drury.edu/cpanza/dom13.html 
Add a comment...
 
Modern epic #BreakingBad is over, leaving a sizable hole in my television experience. Here's the song which appears in the finale. Incidentally, writer Vince Gilligan says he's working on producing a prequel spin-off revolving around lawyer Saul Goodman.
16
Dan Piponi's profile photoTom Moertel's profile photo
2 comments
 
+Dan Piponi Any television show that makes an appeal to the "Yakuza Lemma" is a television show that I'd watch.
Add a comment...
People
Have him in circles
458 people
Chinonyerem Obichukwu's profile photo
Desiree Palmen (Deecommerce)'s profile photo
Marije Dulon Barre's profile photo
Blake Rain's profile photo
Jikai Tang's profile photo
Jackson Mirus's profile photo
Ketil Malde's profile photo
Jeroen Mirck's profile photo
Babette van Laar's profile photo
Work
Occupation
Computer science researcher
Skills
Programming, research, functional languages, type systems, semantics
Employment
  • Centrum voor Wiskunde en Informatica (CWI)
    Research Assistant, 2006 - 2007
  • Utrecht University
    AIO, 2000 - 2005
  • Next Solution Co.
    Programmer, 1995 - 2000
Places
Map of the places this user has livedMap of the places this user has livedMap of the places this user has lived
Currently
Utrecht, NL
Previously
Los Angeles, CA, US - Königstein, Germany - Tokyo, Japan - Nagoya, Japan - Ithaca, NY, US
Story
Tagline
Terminus est.
Introduction
I'm a programmer and computer science researcher who hasn't finished his Ph.D. dissertation (yet). My main interest is in programming language theory, and particularly algebraic semantics of typed functional languages (such as Haskell).
Bragging rights
"So far, taking Jesus to be the size of an average Nazarene man I have eaten seven whole Jesuses plus one of Jesus's legs. This is more whole Jesuses than anyone has ever eaten. (Neil Petark says he has eaten 12 Jesuses, but he includes bread and wine he consumed at Protestant churches and the Protestants do not believe in Transubstantiation, so he is wrong and I am still the Jesus eating King. Neil Petark has really only eaten 4 Jesuses which is rubbish.)"
Education
  • Cornell University
    Computer Science, 1990 - 1995
  • Utrecht University
    Programming Languages, 2000 - 2004
Basic Information
Gender
Male
Other names
Frank Christoph
Bestaat niet meer.
Quality: Poor - FairAppeal: Poor - FairService: Poor - Fair
Public - a year ago
reviewed a year ago
1 review
Map
Map
Map