欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell

下面是最近的文件上传的列表。图像概览请见新文件库。

• 2025年12月22日 (一) 00:39 Allen (讨论 | 贡献)上传“文件:Landau.jpg” (category:physics)
• 2025年12月22日 (一) 00:30 Allen (讨论 | 贡献)上传“文件:Ten-Commandments-of-Landau.png” (category:physics)
• 2025年12月22日 (一) 00:28 Allen (讨论 | 贡献)上传“文件:Landau-Ten-Volumes.jpg” (category:physics)
• 2025年12月18日 (四) 10:26 Allen (讨论 | 贡献)上传“文件:Quantum-entanglement.jpg” (category:physics)
• 2025年12月18日 (四) 10:24 Allen (讨论 | 贡献)上传“文件:Physics.jpeg” (category:physics)
• 2025年12月18日 (四) 10:20 Allen (讨论 | 贡献)上传“文件:Mathematics.jpg” (category:mathematics)
• 2025年12月18日 (四) 10:16 Allen (讨论 | 贡献)上传“文件:The-Death-of-Socrates.jpg”
• 2025年12月18日 (四) 10:11 Allen (讨论 | 贡献)上传“文件:Penrose.jpg” (category:physics)
• 2025年6月30日 (一) 03:14 Allen (讨论 | 贡献)上传“文件:Huihoo-Music-04.jpg” (category:music category:DJ category:huihoo)
• 2025年6月30日 (一) 03:14 Allen (讨论 | 贡献)上传“文件:Huihoo-Music-03.jpg” (category:music category:DJ category:huihoo)
• 2025年6月30日 (一) 03:13 Allen (讨论 | 贡献)上传“文件:Huihoo-Music-02.jpg” (category:music category:DJ category:huihoo)
• 2025年6月30日 (一) 03:13 Allen (讨论 | 贡献)上传“文件:Huihoo-Music-01.jpg” (category:music category:DJ category:huihoo)
• 2025年5月5日 (一) 09:12 Allen (讨论 | 贡献)上传“文件:Eclipse-Sirius-High-Level-Architecture-Overview.png” (https://help.eclipse.org/latest/topic/org.eclipse.sirius.doc/doc/developer/Architecture_Overview.html category:eclipse category:modeling )
• 2025年4月25日 (五) 06:52 Allen (讨论 | 贡献)上传“文件:Gama-plugin architecture.png” (https://gama-platform.org/wiki/GamaArchitecture category:eclipse category:simulation category:modeling)
• 2025年3月20日 (四) 11:11 Allen (讨论 | 贡献)上传“文件:Reference-architecture-of-the Ring-data-type-system.png” (图片取自《Beginning Ring Programming : From Novice to Professional》 category:ringlang category:programming language)
• 2025年3月13日 (四) 01:12 Allen (讨论 | 贡献)上传“文件:Keycloak-providers.png” (图取自 keycloak 26.1.2 管理控制台 category:identity category:keycloak category:java)
• 2025年3月10日 (一) 09:54 Allen (讨论 | 贡献)上传“文件:DarkWebSchematic.png” (https://github.com/paulveillard/cybersecurity-dark-web category:dark web)
• 2025年3月1日 (六) 04:20 Allen (讨论 | 贡献)上传“文件:Casdoor-third-party-application-login.png” (category:identity category:security category:go)
• 2025年3月1日 (六) 04:19 Allen (讨论 | 贡献)上传“文件:Opa-and-casbin.png” (https://forge.huihoo.com/attachments/download/7357/NIST.SP.800-204B.pdf category:identity category:security)
• 2025年3月1日 (六) 02:32 Allen (讨论 | 贡献)上传“文件:Dapr-architecture.png”的新版本 (https://dapr.io/)