现已上线！2025 年 Telegram 研究 — 年度关键洞察 📊 获取研究报告 👉

最近验证的频道：

ch

📚 Cs/books/uwu

前往频道在 Telegram

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

显示更多

俄罗斯414 879 书籍21 153

583

订阅者

无数据24 小时

+57 天

+1230 天

123

帖子浏览量

~ 6324 小时

~ 7548 小时

21.13%

参与率

~ 6

每日帖子数

帖子存档

583

Repost from Programming Deadlock

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

583

Repost from Programming Deadlock

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

583

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

583

https://wayforward.archive.org/

583

583

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

583

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

583

https://rumble.com/v75rxrg

583

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

583

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

583

https://archive.ph/UPVZd

583

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

583

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

583

https://vectormagic.com/

583

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

583

https://likebutter.app/

583

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

583

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

583

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

583

https://www.youtube.com/watch?v=IL9IKZ1c8k4