codedot | June 2011

02:01 pm

CS-раздел StackExchange и проект Reduceron

Tags:

09:23 am

Через медитацию к λ-исчислению (кокаин и Будда)

Tags:

12:00 am

Считалка для программистов

Tags:

memories

07:22 am

Дискриминация и беспорядок

Tags:

memories

10:47 am

Осмотр свободных доменов

Tags:

favorites,
ideas

11:17 am

Optimal Implementation of FPL

Tags:

lambda calculus

12:28 pm

Предложение монтировщика в стиле Plan 9

Tags:

computers,
ideas

Profile

Anton Salikhmetov

November 2018

S	M	T	W	T	F	S
				1	2	3
4	5	6	7	8	9	10
11	12	13	14	15	16	17
18	19	20	21	22	23	24
25	26	27	28	29	30

Most Popular Tags

computers - 46 uses
elementary mathematics - 57 uses
entertainment - 11 uses
favorites - 41 uses
howtos - 47 uses
humour - 17 uses
ideas - 66 uses
lambda calculus - 112 uses
linux kernel - 12 uses
memories - 37 uses
personal - 25 uses
politics - 6 uses
programming - 67 uses
talks - 55 uses

Style Credit

Style: Plain for Tabula Rasa

Expand Cut Tags

No cut tags

Page generated Jun. 21st, 2025 07:42 pm

Powered by Dreamwidth Studios