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

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

• 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)
• 2024年12月7日 (六) 12:00 Allen (讨论 | 贡献)上传“文件:Music-modes.png” (图片取自：https://www.youtube.com/@mikegeorge360 category:music)
• 2024年12月7日 (六) 11:54 Allen (讨论 | 贡献)上传“文件:Major-minor-dim-chords.png” (图片取自：https://www.youtube.com/@mikegeorge360 category:music)
• 2024年12月7日 (六) 10:47 Allen (讨论 | 贡献)上传“文件:84-chords.png” (图片取自：https://www.youtube.com/@mikegeorge360 category:music)
• 2024年12月7日 (六) 10:43 Allen (讨论 | 贡献)上传“文件:6-Chord-Progressions-in-the-DORIAN-Mode.png” (图片取自：https://www.youtube.com/@mikegeorge360 category:music)
• 2024年12月1日 (日) 03:31 Allen (讨论 | 贡献)上传“文件:Xone-DJ-mixers.png” (https://www.allen-heath.com/ category:DJ category:music)
• 2024年11月30日 (六) 02:14 Allen (讨论 | 贡献)上传“文件:Vlang-ui.png” (category:vlang)
• 2024年11月30日 (六) 02:13 Allen (讨论 | 贡献)上传“文件:Vlang-editor.png” (category:vlang)
• 2024年11月30日 (六) 02:13 Allen (讨论 | 贡献)上传“文件:Vlang-logo.png” (category:vlang)
• 2024年11月30日 (六) 02:11 Allen (讨论 | 贡献)上传“文件:Vlang-module.png” (category:vlang)
• 2024年11月30日 (六) 02:11 Allen (讨论 | 贡献)上传“文件:Vlang-repl.png” (category:vlang)
• 2024年11月30日 (六) 02:11 Allen (讨论 | 贡献)上传“文件:Vlang-vs-otherlanguages.png” (https://vlang.io/ category:vlang)
• 2024年9月29日 (日) 02:28 Allen (讨论 | 贡献)上传“文件:PostgresSQL-connection-pooler.png” (https://github.com/supabase/supavisor category:mobile category:API category:REST category:PostgreSQL)
• 2024年9月29日 (日) 02:01 Allen (讨论 | 贡献)上传“文件:Supabase-architecture.png” (https://supabase.com/docs/guides/getting-started/architecture category:mobile category:API category:REST category:PostgreSQL)
• 2024年9月8日 (日) 04:08 Allen (讨论 | 贡献)上传“文件:Erlang-logo.png”的新版本 (category:erlang)
• 2024年9月7日 (六) 09:41 Allen (讨论 | 贡献)上传“文件:ML-programming.png” (https://en.wikipedia.org/wiki/ML_(programming_language) category:ML)
• 2024年9月3日 (二) 05:30 Allen (讨论 | 贡献)上传“文件:ScyllaDB-conceptual-architecture-hybrid-option.png”的新版本
• 2024年9月3日 (二) 05:28 Allen (讨论 | 贡献)上传“文件:ScyllaDB-conceptual-architecture-hybrid-option.png” (https://www.scylladb.com/product/technology/ category:NoSQL category:database category:big data category:Internet of Things category:cassandra )
• 2024年8月22日 (四) 13:17 Allen (讨论 | 贡献)上传“文件:Lego-logo.png” (https://docs.taler.net/system-administration/lego-certificates.html category:TLS category:CA category:go)
• 2024年8月15日 (四) 10:17 Allen (讨论 | 贡献)上传“文件:Common-lisp-implementations.png” (category:lisp)
• 2024年8月12日 (一) 10:24 Allen (讨论 | 贡献)上传“文件:Lisp-logo-120x80.png” (category:lisp)
• 2024年4月29日 (一) 04:01 Allen (讨论 | 贡献)上传“文件:Guitar-fretboard.png”的新版本
• 2024年4月25日 (四) 16:17 Allen (讨论 | 贡献)上传“文件:Guitar-fretboard.png” (category:music)
• 2024年4月14日 (日) 02:40 Allen (讨论 | 贡献)上传“文件:Zsxq.jpg”的新版本
• 2024年1月14日 (日) 13:21 Allen (讨论 | 贡献)上传“文件:Huihoo-logo-trademark-3198632.png” (category:huihoo)
• 2023年12月23日 (六) 07:35 Allen (讨论 | 贡献)上传“文件:KVMac16.jpg” (图片来自：https://uplab.pro/2023/11/kvm-rack-stand-for-mac-minis-kvmac16/ category:server category:mac)
• 2023年12月22日 (五) 08:18 Allen (讨论 | 贡献)上传“文件:Huihoo-music.png” (category:huihoo category:music)
• 2023年8月5日 (六) 14:39 Allen (讨论 | 贡献)上传“文件:FinGPT-Applications.png” (https://medium.datadriveninvestor.com/fingpt-powering-the-future-of-finance-with-20-cutting-edge-applications-7c4d082ad3d8 category:financial category:artificial intelligence )
• 2023年8月5日 (六) 14:33 Allen (讨论 | 贡献)上传“文件:AI4Finance-Foundation-FinGPT-Framework.png” (https://github.com/AI4Finance-Foundation/FinGPT category:financial category:artificial intelligence)
• 2023年8月5日 (六) 14:31 Allen (讨论 | 贡献)上传“文件:AI4Finance-Foundation-FinRL-Framework.jpeg” (https://github.com/AI4Finance-Foundation/FinRL category:financial category:artificial intelligence)
• 2023年8月1日 (二) 11:44 Allen (讨论 | 贡献)上传“文件:R.NET-logo.png” (https://github.com/rdotnet category:r category:.NET)
• 2023年8月1日 (二) 11:22 Allen (讨论 | 贡献)上传“文件:Pythonnet-logo.png” (https://github.com/pythonnet category:.NET category:python)
• 2023年7月31日 (一) 13:09 Allen (讨论 | 贡献)上传“文件:Open-Source-Cyber-Security-Tools.png” (https://cyberwarzone.com/top-25-open-source-cyber-security-tools category:security)