Нещодавно верифіковані:

uk

Не попадись на ботовода! Telemetrio знаходить і позначає такі канали мітками 👉 Хочеш бачити мітку, оформляй підписку

📚 Cs/books/uwu

Відкрити в Telegram

#Books #linux #GNU #Cprogramming #engineering #computer

Показати більше

Росія398 806Книги22 639

648

Підписники

-324 години

Немає даних7 днів

+330 днів

170

Перегляди допису

~ 6624 години

~ 8448 годин

26.23%

Коефіцієнт залучення

~ 1

Дописів на день

Архів дописів

648

Repost from Programming Deadlock

Verified Sequential Malloc/Free

648

Repost from Programming Deadlock

Recursive Program Synthesis using Paramorphisms https://dl.acm.org/doi/pdf/10.1145/3656381

648

Repost from Programming Deadlock

Unification and Anti-Unification in the Calculus of Constructions https://www.cs.cmu.edu/~fp/papers/lics91.pdf

648

https://itsfoss.com/self-host-ebook-server-software/

648

https://wayforward.archive.org/

648

648

https://en.wikipedia.org/wiki/League_for_Programming_Freedom

648

https://youtu.be/iaFltojJrAc?si=BjuW24A5o2vLidOP

648

https://rumble.com/v75rxrg

648

https://github.com/tonyantony300/alt-sendme

648

https://www.jeffgeerling.com/blog/2026/ai-is-destroying-open-source/

648

https://archive.ph/UPVZd

648

https://www.phoronix.com/news/Gentoo-Starts-Codeberg-Use

648

https://youtu.be/OSAOh4L41Wg?si=Na21FL4HU6gzvDpd

648

https://vectormagic.com/

648

https://github.com/hacker-fab/gitbook

648

https://likebutter.app/

648

https://docs.cyd.social/docs/intro/

648

https://k7r.eu/i-love-the-work-of-the-archwiki-maintainers/

648

https://youtu.be/7yIIVmhx7FA?si=lZkm0-UKJyu3SB_d