(no subject)

Jan. 12th, 2026 10:08 am
66george: (Default)
[personal profile] 66george
Сейчас в Иране включат интернет, в телевизоре Ильич "Товаищи! Пголетарская геволюция победила! Всех гасст'елять архибеспощадно!"
Написал про устранение сечения 14 страниц, теперь буду писать теорему о полноте.
  • Add Memory
  • Share This Entry
Flat | Top-Level Comments Only

Date: 2026-01-12 11:36 am (UTC)
juan_gandhi: (Default)
From: [personal profile] juan_gandhi
Долго доходило, что устранение сечения - это cut elimination.

Насчёт Ильича - нельзя исключать. Но хотя бы от мулл избавиться.
  • Add Memory
  • Share This Entry
Flat | Top-Level Comments Only

Profile

66george: (Default)
66george

January 2026

S M T W T F S
     123
4567 8910
11 121314151617
18192021222324
25262728293031

Most Popular Tags

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Jan. 12th, 2026 04:08 pm
Powered by Dreamwidth Studios