欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
上传日志
下面是最近的文件上传的列表。图像概览请见新文件库。
(最后 | 最早) 查看（前50个 | 后50个）（20 | 50 | 100 | 250 | 500）- 2025年1月31日 (五) 03:58 Allen (讨论 | 贡献)上传“文件:Mixcore-document.png” (https://github.com/mixcore/mix.core category:CMS category:.NET)
- 2025年1月31日 (五) 03:17 Allen (讨论 | 贡献)上传“文件:Mixcore-architecture.png” (https://github.com/mixcore/mix.core category:B2B2C2C category:.NET)
- 2025年1月30日 (四) 03:29 Allen (讨论 | 贡献)上传“文件:Gartner-Magic-Quadrant-for-Document-Management-2024.png”的新版本 (https://www.gartner.com/doc/reprints?id=1-2JSIS1T1&ct=241223 category:ECM category:CMS)
- 2025年1月30日 (四) 03:28 Allen (讨论 | 贡献)上传“文件:Gartner-Magic-Quadrant-for-Document-Management-2024.png”的新版本 (https://www.gartner.com/doc/reprints?id=1-2JSIS1T1&ct=241223 category:ECM category:CMS)
- 2025年1月30日 (四) 03:28 Allen (讨论 | 贡献)上传“文件:Gartner-Magic-Quadrant-for-Document-Management-2024.png”的新版本 (https://www.gartner.com/doc/reprints?id=1-2JSIS1T1&ct=241223 category:ECM category:CMS)
- 2025年1月30日 (四) 03:27 Allen (讨论 | 贡献)上传“文件:Gartner-Magic-Quadrant-for-Document-Management-2024.png”的新版本 (https://www.gartner.com/doc/reprints?id=1-2JSIS1T1&ct=241223 category:ECM category:CMS)
- 2025年1月30日 (四) 03:25 Allen (讨论 | 贡献)上传“文件:Gartner-Magic-Quadrant-for-Document-Management-2024.png” (https://www.gartner.com/doc/reprints?id=1-2JSIS1T1&ct=241223 category:ECM category:CMS)
- 2025年1月26日 (日) 15:57 Allen (讨论 | 贡献)上传“文件:Jellyfin-Android-App.jpg” (category:android category:kotlin)
- 2025年1月26日 (日) 15:42 Allen (讨论 | 贡献)上传“文件:Jellyfin-Media-Player.png” (category:video category:music category:.NET)
- 2025年1月26日 (日) 10:00 Allen (讨论 | 贡献)上传“文件:Jellyfin-Web-Console.png” (category:video category:.NET)
- 2025年1月26日 (日) 09:59 Allen (讨论 | 贡献)上传“文件:Jellyfin-Web-Client.png” (category:video category:.NET)
- 2025年1月26日 (日) 05:10 Allen (讨论 | 贡献)上传“文件:Jellyfin-Meatadata.png” (category:video category:.NET)
- 2025年1月26日 (日) 05:00 Allen (讨论 | 贡献)上传“文件:Jellyfin-View-Console.png” (category:video category:.NET)
- 2025年1月25日 (六) 13:29 Allen (讨论 | 贡献)上传“文件:Guitar-CAGED-System-06.png” (图片取自：https://forge.huihoo.com/attachments/download/7311/How-To-Use-The-CAGED-System-To-Play-A-Solo.pdf category:music)
- 2025年1月25日 (六) 13:28 Allen (讨论 | 贡献)上传“文件:Guitar-CAGED-System-05.png” (图片取自：https://forge.huihoo.com/attachments/download/7311/How-To-Use-The-CAGED-System-To-Play-A-Solo.pdf category:music)
- 2025年1月25日 (六) 13:03 Allen (讨论 | 贡献)上传“文件:Guitar-CAGED-System-04.png” (https://forge.huihoo.com/attachments/download/7311/How-To-Use-The-CAGED-System-To-Play-A-Solo.pdf category:music)
- 2025年1月25日 (六) 12:59 Allen (讨论 | 贡献)上传“文件:Guitar-CAGED-System-03.png” (https://forge.huihoo.com/attachments/download/7311/How-To-Use-The-CAGED-System-To-Play-A-Solo.pdf category:music)
- 2025年1月25日 (六) 12:57 Allen (讨论 | 贡献)上传“文件:Guitar-CAGED-System-02.png” (https://forge.huihoo.com/attachments/download/7311/How-To-Use-The-CAGED-System-To-Play-A-Solo.pdf category:music)
- 2025年1月25日 (六) 09:10 Allen (讨论 | 贡献)上传“文件:Guitar-CAGED-System-01.png” (https://forge.huihoo.com/attachments/download/7311/How-To-Use-The-CAGED-System-To-Play-A-Solo.pdf category:music)
- 2025年1月24日 (五) 05:22 Allen (讨论 | 贡献)上传“文件:SonarQube-GraalVM-03.png” (category:java category:software testing category:sonar)
- 2025年1月24日 (五) 05:19 Allen (讨论 | 贡献)上传“文件:SonarQube-GraalVM-02.png” (category:java category:software testing category:sonar)
- 2025年1月24日 (五) 05:13 Allen (讨论 | 贡献)上传“文件:SonarQube-GraalVM-01.png” (category:java category:software testing category:sonar)
- 2025年1月24日 (五) 04:59 Allen (讨论 | 贡献)上传“文件:GraalVM-Native-Image-HelloWorld.png”的新版本 (category:java)
- 2025年1月24日 (五) 02:53 Allen (讨论 | 贡献)上传“文件:GraalVM-Logo.png” (category:java)
- 2025年1月24日 (五) 02:21 Allen (讨论 | 贡献)上传“文件:GraalVM-Native-Image-HelloWorld.png” (category:java category:JVM)
- 2025年1月20日 (一) 01:20 Allen (讨论 | 贡献)上传“文件:Eclipse-Adoptium-Logo.png” (https://github.com/adoptium category:java category:OpenJDK category:eclipse)
- 2025年1月19日 (日) 01:08 Allen (讨论 | 贡献)上传“文件:Ecore-Model-to-Java-Code.png” (https://eclipsesource.com/blogs/tutorials/emf-tutorial/ category:model category:eclipse category:java)
- 2025年1月17日 (五) 08:19 Allen (讨论 | 贡献)上传“文件:Guitar-Lonian Ode-To-Joy.png” (https://www.youtube.com/watch?v=_VOJuIh_mw4 category:music)
- 2025年1月17日 (五) 08:00 Allen (讨论 | 贡献)上传“文件:Guitar-7-Modes-Chord.png” (https://www.youtube.com/watch?v=_VOJuIh_mw4 category:music)
- 2025年1月16日 (四) 23:45 Allen (讨论 | 贡献)上传“文件:Ionian-Dorian-Phrygian-Lydian-Mixolydian-Aeolian-Locrian.png” (https://www.youtube.com/watch?v=_VOJuIh_mw4 category:music)
- 2025年1月16日 (四) 23:21 Allen (讨论 | 贡献)上传“文件:Major-minor-dim.png” (https://www.youtube.com/watch?v=_VOJuIh_mw4 category:music)
- 2025年1月7日 (二) 02:19 Allen (讨论 | 贡献)上传“文件:Avalonia-Architecture.png” (https://avaloniaui.net/platforms category:avalonia category:IDE category:IDEX category:.NET)
- 2024年12月30日 (一) 07:49 Allen (讨论 | 贡献)上传“文件:Software-Foundations-Volume-6-Separation-Logic-Foundations.png” (https://softwarefoundations.cis.upenn.edu/ category:Software Foundations category:formal category:coq)
- 2024年12月30日 (一) 07:49 Allen (讨论 | 贡献)上传“文件:Software-Foundations-Volume-5-Verifiable-C.png” (https://softwarefoundations.cis.upenn.edu/ category:Software Foundations category:formal category:coq)
- 2024年12月30日 (一) 07:48 Allen (讨论 | 贡献)上传“文件:Software-Foundations-Volume-4-QuickChick.jpg” (https://softwarefoundations.cis.upenn.edu/ category:Software Foundations category:formal category:coq)
- 2024年12月30日 (一) 07:48 Allen (讨论 | 贡献)上传“文件:Software-Foundations-Volume-3-Verified-Functional-Algorithms.jpg” (https://softwarefoundations.cis.upenn.edu/ category:Software Foundations category:formal category:coq)
- 2024年12月30日 (一) 07:48 Allen (讨论 | 贡献)上传“文件:Software-Foundations-Volume-2-Programming-Language-Foundations.jpg” (https://softwarefoundations.cis.upenn.edu/ category:Software Foundations category:formal category:coq)
- 2024年12月30日 (一) 07:47 Allen (讨论 | 贡献)上传“文件:Software-Foundations-Volume-1-Logicl-Foundations.jpg” (https://softwarefoundations.cis.upenn.edu/ category:Software Foundations category:formal category:coq)
- 2024年12月29日 (日) 08:31 Allen (讨论 | 贡献)上传“文件:Groq-LPU.jpg” (category:processor category:architecture category:artificial intelligence)
- 2024年12月25日 (三) 15:26 Allen (讨论 | 贡献)上传“文件:PostgREST-Architecture.png” (图片取自：https://docs.postgrest.org/en/v12/explanations/architecture.html category:PostgreSQL category:database category:REST category:API category:haskell)
- 2024年12月19日 (四) 08:52 Allen (讨论 | 贡献)上传“文件:The-Tale-of-Genji.png”
- 2024年12月19日 (四) 08:40 Allen (讨论 | 贡献)上传“文件:Dear-Radiance-02.jpg”
- 2024年12月19日 (四) 08:40 Allen (讨论 | 贡献)上传“文件:Dear-Radiance-01.jpg”
- 2024年12月17日 (二) 01:50 Allen (讨论 | 贡献)上传“文件:Galois-unmanned-aerial-vehicles-UAV.jpg” (https://smaccmpilot.org/hardware/index.html category:DRE category:haskell)
- 2024年12月14日 (六) 03:46 Allen (讨论 | 贡献)上传“文件:Ai-music.jpg”
- 2024年12月9日 (一) 00:10 Allen (讨论 | 贡献)上传“文件:CAGED-chords-on-GUITAR.png” (图片取自：https://www.youtube.com/@mikegeorge360 category:music)
- 2024年12月8日 (日) 00:25 Allen (讨论 | 贡献)上传“文件:Songwriting-with-Chord-Substitutions.png” (图片取自：https://www.youtube.com/@mikegeorge360 category:music )
- 2024年12月7日 (六) 23:16 Allen (讨论 | 贡献)上传“文件:Scales-01.png” (图片取自：https://www.youtube.com/@mikegeorge360 category:music)
- 2024年12月7日 (六) 12:44 Allen (讨论 | 贡献)上传“文件:Scales.png” (图片取自：https://www.youtube.com/@mikegeorge360 category:music)
- 2024年12月7日 (六) 12:23 Allen (讨论 | 贡献)上传“文件:Parallel-Modes-Work-in-Music.png” (图片取自：https://www.youtube.com/@mikegeorge360 category:music)
分享您的观点
