Profile

Cover photo
Frank Atanassow
Worked at Centrum voor Wiskunde en Informatica (CWI)
Attended Cornell University
Lives in Utrecht, NL
477 followers|101,544 views
AboutPostsCollectionsPhotosVideos

Stream

Frank Atanassow

Shared publicly  - 
 
I'm not sure what to think about this...
1
Paul Snively's profile photo
 
My only question is: where was it filmed? 
Add a comment...

Frank Atanassow

Shared publicly  - 
 
My relationship over time with the singers of #ABBA
2
1
Add a comment...

Frank Atanassow

Shared publicly  - 
 
I've been trying to understand Hamiltonian mechanics and symplectic geometry. I found this series of videos very helpful. It examines the Hamiltonian from several different perspectives, and shows how each description amounts to ensuring 1) determinism and 2) reversibility.
1
Add a comment...

Frank Atanassow

Shared publicly  - 
 
A practical guide for applying Bayes' Rule in real life to improve your rational thinking.
4
1
Add a comment...

Frank Atanassow

Shared publicly  - 
 
Topology is neat because you can visualize some cases, but it can also seem quite abstract. Knot theory in particular seems almost like recreation. In this video a mathematician who studies the topology of DNA explains one quite direct consequence of the shape (and scale) of DNA. Watch part 1 too!
1
Add a comment...

Frank Atanassow

Shared publicly  - 
 
To illustrate the influences of and on other films, a film buff remakes Star Wars using only video and audio from other sources. Phenomenal editing. See the annotated version for sources and commentary (linked near the end of the video). #StarWars #Films
1
Add a comment...
Have him in circles
477 people
Moos Sports's profile photo
Marc Hamann's profile photo
Csap Kod's profile photo
Visionete Artdevel's profile photo
Desiree Palmen (Deecommerce)'s profile photo
Malcolm Wallace's profile photo
Neelakantan Krishnaswami's profile photo
I Sharaabi's profile photo
Jeanet Bathoorn's profile photo

Frank Atanassow

Shared publicly  - 
 
On Thursday, Donald Trump said that Gonzalo Curiel, the federal judge hearing a fraud case against Trump, is biased because Curiel belongs to an association of Latino lawyers and is “of Mexican heritage.” According to the Wall Street Journal, Trump explained: “I’m building a wall. It’s an inherent conflict of interest.” (via Slate)

Given that Latinos make up 17% of the US population, if you take this at face-value, you can conversely argue that Trump's policies conflict with the interests of nearly 1 in 5 Americans.

If we added up all of his statements, I wonder how many Americans would be left who could, in his view, legitimately hold him accountable. I see this number tending toward zero, and I think he likes it that way -- Trump doesn't want anybody to be able to hold him accountable. But the flip side is that, by his own admission, he also doesn't represent the interests of any of those people. This is an undesirable quality for a candidate in a representative democracy.

It is one thing to issue statements and support policies which many people disagree with. It is another when you couple that with the claim that the people who disagree with you moreover cannot hold you accountable. It implies that you can decrease your accountability simply by offending as many people as possible.
2
Add a comment...

Frank Atanassow

Shared publicly  - 
 
I finished watching season 4 of "House of Cards" recently.

Who is worse, Francis or Claire?

Francis has no qualms about his actions. Claire seems to know the difference between right and wrong. Is Francis worse because he doesn't care, or is Claire worse because she carries on despite her conscience?
1
Marco Devillers's profile photo
2 comments
 
Okay, that was a joke. Most people find the immoral worse than the amoral. But most people are amoral too, so whatever.
Add a comment...

Frank Atanassow

Shared publicly  - 
 
Ink is literally a scripting language -- a domain-specific language for scripts, text and dialogue in computer games. It's one of those "text-dominant" languages, where text is the default and code is escaped. The text seems to be organized into a graph, which may notably include cycles. Ink also has side effects, and if you look near the end of the link you will find things like procedures and mutable cells, so I think it's Turing-complete.

I haven't looked at it thoroughly, but from what I did read it struck me that this is a good domain for delimited continuations: the object is to create a linear transcript (modulo choices), and the language seems to emphasize stitching together story segments. An enterprising language designer might use this idea to reformulate Ink into a tiny core language with an elegant and rigorous abstract semantics...

There is an open-source compiler implementation available for C# and Unity.


2
Marco Devillers's profile photoFrank Atanassow's profile photoDan Piponi's profile photo
6 comments
 
I tried playing 80 Days for a bit. It's interesting. Like the choose-your-adventure books it doesn't feel like you have much agency. But it's still fun. If you want to do some fancy programming in Ink I wonder if you could try to emulate a puzzle filled story like something by Smullyan. For example you could implement combinator reductions in the style of To Mock a Mockingbird.
Add a comment...

Frank Atanassow

Shared publicly  - 
 
I have taken to writing math notes in Markdown, using Unicode characters whenever possible, and `agda-mode` in Emacs to input them mostly using LaTeX-like names. This means I don't need to compile/preview very often, but when I do I've been trying to use Pandoc to produce HTML+MathML, which I look at using Firefox (which has MathML support).

This works okay, but it's not ideal. One of the pain points is embedding program syntax in mathematical syntax, but that is difficult in LaTeX as well. Another point of dissatisfaction is having to resort to Pandoc's support for `\newcommand` and LaTeX macros and LaTeX displays.

I was wondering if any of you have developed creative lightweight alternatives to LaTeX.
2
Frank Atanassow's profile photoMarco Devillers's profile photo
13 comments
 
+Frank Atanassow I don't have high hopes for a categorical approach to the foundations of math. So I hardly follow it. Maybe it will pan out someday, maybe it'll transform into something completely else. Will see.
Add a comment...

Frank Atanassow

Shared publicly  - 
 
This article irritates me so much that I am tempted (actually have already started) writing a response, but I strongly suspect it isn't worth engaging with. What do you think? Are you tired of facile criticism passing under the guise of humor?
I remember the Monoids; they came before the Cybermen
1
Dave Clarke's profile photoSean Leather's profile photoBenoit St-Pierre's profile photo
3 comments
 
Tl;DR - I liked the pro/contra. I would like to see a book called Category Theory for Terrorists.

I'm sure you could do a better job than him at being funny, and being funny is almost always worth the effort. 
Add a comment...

Frank Atanassow

Shared publicly  - 
 
Originality is rare on the Internet; I have to admit I had never seen anything like this before.
“And please, someone teach this guy how to throw a rock.”
2
Add a comment...
Frank's Collections
People
Have him in circles
477 people
Moos Sports's profile photo
Marc Hamann's profile photo
Csap Kod's profile photo
Visionete Artdevel's profile photo
Desiree Palmen (Deecommerce)'s profile photo
Malcolm Wallace's profile photo
Neelakantan Krishnaswami's profile photo
I Sharaabi's profile photo
Jeanet Bathoorn's profile photo
Education
  • Cornell University
    Computer Science, 1990 - 1995
  • Utrecht University
    Programming Languages, 2000 - 2004
Basic Information
Gender
Male
Other names
Frank Christoph
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.)"
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