Anton Salikhmetov (@codedot) header
Anton Salikhmetov (@codedot) profile picture

Anton Salikhmetov

@codedot
Joined July 2009
  • Tweets7.6K
  • Following25
  • Followers61
235Media
Photo by Anton Salikhmetov (@codedot)Photo by Anton Salikhmetov (@codedot)Photo by Anton Salikhmetov (@codedot)
Favorite Sci-Fi Shorts from DUST youtube.com/playlist?list=PL… via @YouTube
2
Image from Anton Salikhmetov (@codedot)
Oops: optimal reduction + embedded read-back + (λx.x x) (λx.M (λy.x y)) = a name clash. Try "(x: x x) (x: M (y: x y))" and compare 'standard' (optimal) with 'closed' (non-optimal) in MLC. codedot.github.io/lambda/
1
The shortest closed λ-term that demonstrates this behavior is a triple η-expansion of the self-application combinator, namely λx.ω (λy.x (λz.y z)), where ω = λx.x x. github.com/codedot/lambda/is…

Embedded read-back produces name clashes · Issue #2 · codedot/lambda

The current implementation of the embedded read-back mechanism produces name clashes for some terms on all three optimal algorithms: abstract, optimal, and standard. The shortest closed λ-term that...

github.com
1
Anton Salikhmetov retweeted
astrobites (@astrobites) profile picture
astrobites@astrobites11 Jun 2019
Looking for a fun way to spend some time? We just learned about Spiral Graph at #aas234, which relies on citizen scientists to trace the spiral arms in galaxies. These arms can tell us whether the galaxies host elusive intermediate-mass black holes! zooniverse.org/projects/astr…
Zooniverse

Zooniverse

The Zooniverse is the world’s largest and most popular platform for people-powered research.

zooniverse.org
3
3
Observation - Behind the Schemes | PS4 youtu.be/TvxtcU2bmHY via @YouTube
Anton Salikhmetov retweeted
XKCD Comic (@xkcdComic) profile picture
XKCD Comic
@xkcdComic6 May 2019
Waiting for the But xkcd.com/2146/ m.xkcd.com/2146/
Image from XKCD Comic (@xkcdComic)
14
482
28
2,053
Observation - Launch Trailer | PS4 youtu.be/QDqy0aSmu8E via @YouTube
Anton Salikhmetov retweeted
XKCD Comic (@xkcdComic) profile picture
XKCD Comic
@xkcdComic26 Feb 2019
.NORM Normal File Format xkcd.com/2116/ m.xkcd.com/2116/
Image from XKCD Comic (@xkcdComic)
44
608
149
2,076
Confluent partial orders mathoverflow.net/questions/3…
Racks with “trichotomy” mathoverflow.net/questions/3…
Shelves with an additional axiom mathoverflow.net/q/328269/22…
Anton Salikhmetov retweeted
XKCD Comic (@xkcdComic) profile picture
XKCD Comic
@xkcdComic15 Feb 2019
Night Shift xkcd.com/2112/ m.xkcd.com/2112/
Image from XKCD Comic (@xkcdComic)
9
330
38
1,560
Anton Salikhmetov retweeted
XKCD Comic (@xkcdComic) profile picture
XKCD Comic
@xkcdComic13 Feb 2019
Opportunity Rover xkcd.com/2111/ m.xkcd.com/2111/
Image from XKCD Comic (@xkcdComic)
72
3,421
483
9,189
Anton Salikhmetov retweeted
XKCD Comic (@xkcdComic) profile picture
XKCD Comic
@xkcdComic11 Feb 2019
Error Bars xkcd.com/2110/ m.xkcd.com/2110/
Image from XKCD Comic (@xkcdComic)
47
1,208
220
5,603
Anton Salikhmetov retweeted
Cities: Skylines (@CitiesSkylines) profile picture
Cities: Skylines
@CitiesSkylines7 Feb 2019
Best Steam Review Award goes to...
Image from Cities: Skylines (@CitiesSkylines)
30
682
35
3,514
Anton Salikhmetov retweeted
Moritz Bartl ⭐ (@gamamb) profile picture
Moritz Bartl ⭐@gamamb6 Jan 2019
Chess Steganography: encode data in the moves of a chess game (while avoiding bad moves) incoherency.co.uk/chess-steg…
1
3
7
Saturday Morning Breakfast Cereal - Christmas Spirit smbc-comics.com/comic/christ…

Saturday Morning Breakfast Cereal

SMBC is a daily comic strip about life, philosophy, science, mathematics, and dirty jokes.

smbc-comics.com
Load more