Profile

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

Stream

Frank Atanassow

Shared publicly  - 
 
My relationship over time with the singers of #ABBA
2
1
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 Atanassow

Shared publicly  - 
 
I've never lived in England. I never went clubbing in the 80's. And, as far as I know, this club, the Xclusiv, in Batley, West Yorkshire is not especially well-known. But when I came across this hokey, poorly-produced,  2-hour promotional video for the Xclusiv club, I watched it end-to-end, nonstop, and was utterly transported.

It starts with a short, super-dry introduction to the town ("the unemployment resulted in extra leisure time, henceforth the development of many new leisure industries"?!) and the club, and then the rest of it is just candid footage of people filtering into the club, socializing and dancing, punctuated now and then by comically dry interviews with workers and attendees which epitomize culture shock. It's pure gold.

Let me set the time frame for you: they were playing "new sort-of alternative music like Echo & the Bunnymen, Siouxsie & the Banshees". Exquisite, exquisite nostalgia.

#Batley   #Goth   #80s
1
Marco Devillers's profile photo
 
Hehe. Slightly embarrassing, I am that old.
Add a comment...
Have him in circles
478 people
Rolf Hey's profile photo
upendera singh's profile photo
Jean-Philippe Bernardy's profile photo
Marc Hamann's profile photo
Dennis Tarmidi's profile photo
Arnoud Imron's profile photo
Dan Licata's profile photo
Dorothé Eg's profile photo
Claudio Fuzitaki's profile photo

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  - 
 
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...

Frank Atanassow

Shared publicly  - 
 
During Eagles of Death Metal's November 13 show at the Bataclan concert hall in Paris, gunmen entered the venue and opened fire on the crowd, leaving at least 90 dead. The band spoke to VICE about the tragic events that took place that night.

They seem like a sweet bunch of guys.
2
Add a comment...
Frank's Collections
People
Have him in circles
478 people
Rolf Hey's profile photo
upendera singh's profile photo
Jean-Philippe Bernardy's profile photo
Marc Hamann's profile photo
Dennis Tarmidi's profile photo
Arnoud Imron's profile photo
Dan Licata's profile photo
Dorothé Eg's profile photo
Claudio Fuzitaki'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