From 6647f02bbd90220ac07d0aaf8f3300af1f8ca266 Mon Sep 17 00:00:00 2001 From: AwayGithub Date: Wed, 18 Dec 2024 13:34:13 +0800 Subject: [PATCH] Site updated: 2024-12-18 13:34:13 --- 2024/11/01/thoughts/index.html | 11 ++++++----- baidusitemap.xml | 8 ++++---- css/main.css | 2 +- index.html | 3 ++- sitemap.xml | 34 +++++++++++++++++----------------- 5 files changed, 30 insertions(+), 28 deletions(-) diff --git a/2024/11/01/thoughts/index.html b/2024/11/01/thoughts/index.html index 7765e02..840141f 100644 --- a/2024/11/01/thoughts/index.html +++ b/2024/11/01/thoughts/index.html @@ -24,15 +24,15 @@ var CONFIG = {"hostname":"awayx.online","root":"/","scheme":"Muse","version":"7.8.0","exturl":false,"sidebar":{"position":"left","display":"hide","padding":18,"offset":12,"onmobile":true},"copycode":{"enable":false,"show_result":false,"style":null},"back2top":{"enable":true,"sidebar":false,"scrollpercent":false},"bookmark":{"enable":false,"color":"#222","save":"auto"},"fancybox":true,"mediumzoom":false,"lazyload":false,"pangu":false,"comments":{"style":"buttons","active":"valine","storage":false,"lazyload":false,"nav":null,"activeClass":"valine"},"algolia":{"hits":{"per_page":10},"labels":{"input_placeholder":"Search for Posts","hits_empty":"We didn't find any results for the search: ${query}","hits_stats":"${hits} results found in ${time} ms"}},"localsearch":{"enable":false,"trigger":"manual","top_n_per_article":1,"unescape":false,"preload":false},"motion":{"enable":true,"async":false,"transition":{"post_block":"fadeIn","post_header":"slideDownIn","post_body":"slideDownIn","coll_header":"slideLeftIn","sidebar":"slideUpIn"}}}; - + - + - + @@ -230,7 +230,7 @@

更新于 - + @@ -283,6 +283,7 @@

2024-11-01

忘了什么时候开始隐隐觉得，真正赚钱的生意是卖情绪，而情绪的根本是认同；卖情绪的高级版本是卖体验、卖价值。

今天听到一期播客节目《中国好生意》，主持人说：梁宁说过，情绪才是流量。不太清楚这个人，貌似是个比较厉害的产品经理。看来我也有点产品经理的思维了。

+

2024-12-18

世界真是一个 Perfect Circle。前几天刚接触到能解释高中时期对反证法的不信任的理论——构造主义数学，现在尝试做的线上兼职要求使用的 LEAN 4 编程语言就是依赖于构造主义数学中的 Dependent Type Theory 形成的。难道说 Type Thoery 的创建就是为了让计算机更好地理解数学？

@@ -419,7 +420,7 @@

-
  1. 1. 2024-11-01
+
  1. 1. 2024-11-01
  2. 2. 2024-12-18
diff --git a/baidusitemap.xml b/baidusitemap.xml index 66de34d..c73f320 100644 --- a/baidusitemap.xml +++ b/baidusitemap.xml @@ -1,15 +1,15 @@ - http://awayx.online/2024/12/18/%E5%A6%82%E4%BD%95%E6%89%A9%E6%95%A3/ + http://awayx.online/2024/11/01/thoughts/ 2024-12-18 - http://awayx.online/2024/08/14/hopeless/ - 2024-11-15 + http://awayx.online/2024/12/18/%E5%A6%82%E4%BD%95%E6%89%A9%E6%95%A3/ + 2024-12-18 - http://awayx.online/2024/11/01/thoughts/ + http://awayx.online/2024/08/14/hopeless/ 2024-11-15 diff --git a/css/main.css b/css/main.css index d70e999..0b83741 100644 --- a/css/main.css +++ b/css/main.css @@ -1167,7 +1167,7 @@ pre .javascript .function { } .links-of-author a::before, .links-of-author span.exturl::before { - background: #45adf2; + background: #71ff01; border-radius: 50%; content: ' '; display: inline-block; diff --git a/index.html b/index.html index 0c91f45..7b140ad 100644 --- a/index.html +++ b/index.html @@ -324,7 +324,7 @@

更新于 - + @@ -370,6 +370,7 @@

2024-11-01

忘了什么时候开始隐隐觉得，真正赚钱的生意是卖情绪，而情绪的根本是认同；卖情绪的高级版本是卖体验、卖价值。

今天听到一期播客节目《中国好生意》，主持人说：梁宁说过，情绪才是流量。不太清楚这个人，貌似是个比较厉害的产品经理。看来我也有点产品经理的思维了。

+

2024-12-18

世界真是一个 Perfect Circle。前几天刚接触到能解释高中时期对反证法的不信任的理论——构造主义数学，现在尝试做的线上兼职要求使用的 LEAN 4 编程语言就是依赖于构造主义数学中的 Dependent Type Theory 形成的。难道说 Type Thoery 的创建就是为了让计算机更好地理解数学？

diff --git a/sitemap.xml b/sitemap.xml index 727c79f..c53bc25 100644 --- a/sitemap.xml +++ b/sitemap.xml @@ -2,7 +2,7 @@ - http://awayx.online/2024/12/18/%E5%A6%82%E4%BD%95%E6%89%A9%E6%95%A3/ + http://awayx.online/2024/11/01/thoughts/ 2024-12-18 @@ -11,16 +11,16 @@ - http://awayx.online/2024/08/14/hopeless/ + http://awayx.online/2024/12/18/%E5%A6%82%E4%BD%95%E6%89%A9%E6%95%A3/ - 2024-11-15 + 2024-12-18 monthly 0.6 - http://awayx.online/2024/11/01/thoughts/ + http://awayx.online/2024/08/14/hopeless/ 2024-11-15 @@ -196,14 +196,14 @@ - http://awayx.online/tags/%E6%95%99%E7%A8%8B/ + http://awayx.online/tags/%E8%AE%BA%E6%96%87%E7%AC%94%E8%AE%B0/ 2024-12-18 weekly 0.2 - http://awayx.online/tags/%E8%AE%BA%E6%96%87%E7%AC%94%E8%AE%B0/ + http://awayx.online/tags/%E6%95%99%E7%A8%8B/ 2024-12-18 weekly 0.2 @@ -224,21 +224,21 @@ - http://awayx.online/tags/%E5%AD%A6%E4%B9%A0%E7%AC%94%E8%AE%B0/ + http://awayx.online/tags/%E8%A1%8C%E4%B8%9A/ 2024-12-18 weekly 0.2 - http://awayx.online/tags/%E8%A1%8C%E4%B8%9A/ + http://awayx.online/tags/%E6%95%99%E6%9D%90/ 2024-12-18 weekly 0.2 - http://awayx.online/tags/%E6%95%99%E6%9D%90/ + http://awayx.online/tags/%E5%AD%A6%E4%B9%A0%E7%AC%94%E8%AE%B0/ 2024-12-18 weekly 0.2 @@ -247,21 +247,21 @@ - http://awayx.online/categories/%E8%AE%BA%E6%96%87%E7%AC%94%E8%AE%B0/ + http://awayx.online/categories/%E6%95%99%E7%A8%8B/ 2024-12-18 weekly 0.2 - http://awayx.online/categories/%E6%95%99%E7%A8%8B/ + http://awayx.online/categories/%E8%AE%BA%E6%96%87%E7%AC%94%E8%AE%B0/ 2024-12-18 weekly 0.2 - http://awayx.online/categories/%E8%AE%BA%E6%96%87%E7%AC%94%E8%AE%B0/Computer-Vision/ + http://awayx.online/categories/%E6%95%99%E7%A8%8B/Hexo/ 2024-12-18 weekly 0.2 @@ -282,28 +282,28 @@ - http://awayx.online/categories/%E8%AE%BA%E6%96%87%E7%AC%94%E8%AE%B0/Computer-Vision/Salient-Object-Ranking/ + http://awayx.online/categories/%E8%AE%BA%E6%96%87%E7%AC%94%E8%AE%B0/Computer-Vision/ 2024-12-18 weekly 0.2 - http://awayx.online/categories/%E5%AD%A6%E4%B9%A0%E7%AC%94%E8%AE%B0/ + http://awayx.online/categories/%E6%95%99%E6%9D%90/ 2024-12-18 weekly 0.2 - http://awayx.online/categories/%E6%95%99%E6%9D%90/ + http://awayx.online/categories/%E5%AD%A6%E4%B9%A0%E7%AC%94%E8%AE%B0/ 2024-12-18 weekly 0.2 - http://awayx.online/categories/%E6%95%99%E7%A8%8B/Hexo/ + http://awayx.online/categories/%E6%95%99%E7%A8%8B/%E6%95%B0%E6%8D%AE%E9%9B%86/PASCAL-VOC/ 2024-12-18 weekly 0.2 @@ -317,7 +317,7 @@ - http://awayx.online/categories/%E6%95%99%E7%A8%8B/%E6%95%B0%E6%8D%AE%E9%9B%86/PASCAL-VOC/ + http://awayx.online/categories/%E8%AE%BA%E6%96%87%E7%AC%94%E8%AE%B0/Computer-Vision/Salient-Object-Ranking/ 2024-12-18 weekly 0.2