最近验证的频道：

ch

不要被骗子欺骗！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