是数学基于逻辑还是逻辑基于数学?
现在我们知道所有物理定律都是数学方程,反之亦然这意味着物理学是基于数学的现在的问题是“是所有数学方程都被视为逻辑论证/公式,还是所有逻辑论证/公式都被视为数学?”即哪一个是基于另一个的?========================================================说物理学以数学为基础是一种误导。物理定律并不是数学定理。例如,它们并不是由 ZFC 公理推导出来的。相反,我们发现物理事物的行为可以用数学来描述。以 F = MA 为例(我知道牛顿已经被取代,但它仍然有效)这不是数学真理。它不可能是,因为 "F"、"M "和 "A "只是变量,与某种固定的解释无关,可
via 极道 (author: banq)
现在我们知道所有物理定律都是数学方程,反之亦然这意味着物理学是基于数学的现在的问题是“是所有数学方程都被视为逻辑论证/公式,还是所有逻辑论证/公式都被视为数学?”即哪一个是基于另一个的?========================================================说物理学以数学为基础是一种误导。物理定律并不是数学定理。例如,它们并不是由 ZFC 公理推导出来的。相反,我们发现物理事物的行为可以用数学来描述。以 F = MA 为例(我知道牛顿已经被取代,但它仍然有效)这不是数学真理。它不可能是,因为 "F"、"M "和 "A "只是变量,与某种固定的解释无关,可
via 极道 (author: banq)
MicroBlocks 编程案例: WiFi Radio 库
前言 MicroBlocks 内置了 WiFi Radio(WiFi 广播)库, 用于支持板子之间的通信, 连到同一个网络里的板子, 可以使用 WiFi Radio 库相互广播消息。 它使用起来像 micro:bit radio 库。 以下是内置在 MicroBlocks 里的
via 夜行人
前言 MicroBlocks 内置了 WiFi Radio(WiFi 广播)库, 用于支持板子之间的通信, 连到同一个网络里的板子, 可以使用 WiFi Radio 库相互广播消息。 它使用起来像 micro:bit radio 库。 以下是内置在 MicroBlocks 里的
via 夜行人
Leetcode 572 Subtree of Another Tree 题解分析
题目介绍
Given the roots of two binary trees root and subRoot, return
via Nicksxs's Blog
题目介绍
Given the roots of two binary trees root and subRoot, return
via Nicksxs's Blog
0122 - 报复性熬夜
有一个名词叫做“报复性熬夜”,指的是有些人明明在白天疲劳不堪,晚上却不愿意早睡,宁愿在床上玩手机。
这是因为他们控制不了自己的生活,通过在晚上推迟睡觉,获得一点自己掌控时间的自由感。
via Jason
有一个名词叫做“报复性熬夜”,指的是有些人明明在白天疲劳不堪,晚上却不愿意早睡,宁愿在床上玩手机。
这是因为他们控制不了自己的生活,通过在晚上推迟睡觉,获得一点自己掌控时间的自由感。
via Jason
0123 - SwiftUI 中 List 的一个 Bug
SwiftUI 遇到 Bug,在 List > ForEach 中,
● 如果没有子节点,使用普通的 Text;
● 如果有子节点,使用 DisclosureGroup 进行嵌套。
在这种情况下:
● 如果第一个节点有子节点,一切正常;
● 如要第一个节点没有子节点,则 List 所有的项都平铺在一起;
代码全部一样,只改一行代码,这个问题就出现了。
貌似只在 macOS 平台能复现,iOS 平台是正常的。
via Jason
SwiftUI 遇到 Bug,在 List > ForEach 中,
● 如果没有子节点,使用普通的 Text;
● 如果有子节点,使用 DisclosureGroup 进行嵌套。
在这种情况下:
● 如果第一个节点有子节点,一切正常;
● 如要第一个节点没有子节点,则 List 所有的项都平铺在一起;
代码全部一样,只改一行代码,这个问题就出现了。
貌似只在 macOS 平台能复现,iOS 平台是正常的。
via Jason
0124 - 《Thinking in SwiftUI》
其实,SwiftUI 优秀、全面的教程,并不多。官方的示例,可以用来入门,了解而大致的工作原理。而想要全面学习、某些点深入了解,其实并不容易,关键是缺少合适的学习资料。
在东坡肘子大佬的介绍下,买了《Thinking in SwiftUI》来看。相对来说,对原理的介绍还是比较深入的。
via Jason
其实,SwiftUI 优秀、全面的教程,并不多。官方的示例,可以用来入门,了解而大致的工作原理。而想要全面学习、某些点深入了解,其实并不容易,关键是缺少合适的学习资料。
在东坡肘子大佬的介绍下,买了《Thinking in SwiftUI》来看。相对来说,对原理的介绍还是比较深入的。
via Jason
0125 - App 出海宣传渠道
App 出海,可以考虑这些宣传渠道:
● Product hunt
● TikTok
● Hacker News
● Reddit
● Twitter
● Instagram
via Jason
App 出海,可以考虑这些宣传渠道:
● Product hunt
● TikTok
● Hacker News
via Jason
0128 - iDone 初步完成页面框架
基本实现 Project、Tag、Filter 的无限层级显示,形成基本的页面框架。
不过,问题还是很多。比如,可能是数据绑定使用不当,即使数量量不大时,页面切换比较弱卡顿,导致添加后的任务显示不出来、删除任务后也不能正确切换到相邻的任务。
并且,还没搞定页面的事件处理,网上搜索也没找到合适的答案。目前,暂用隐藏 Button 的方式实现。NavigationView 多页面的 Life cycle,比预想的要复杂。多页面切换时,多个页面是同时保活的,但页面自己并不知道,当前是否在最前。
总之,问题还挺多。
via Jason
基本实现 Project、Tag、Filter 的无限层级显示,形成基本的页面框架。
不过,问题还是很多。比如,可能是数据绑定使用不当,即使数量量不大时,页面切换比较弱卡顿,导致添加后的任务显示不出来、删除任务后也不能正确切换到相邻的任务。
并且,还没搞定页面的事件处理,网上搜索也没找到合适的答案。目前,暂用隐藏 Button 的方式实现。NavigationView 多页面的 Life cycle,比预想的要复杂。多页面切换时,多个页面是同时保活的,但页面自己并不知道,当前是否在最前。
总之,问题还挺多。
via Jason
Gin 框架之jwt 介绍与基本使用
目录一.JWT 介绍二.JWT认证与session认证的区别2.1 基于session认证流程图2.2 基于jwt认证流程图三. JWT 的构成3.1 header : 头部3.2 payload : 负载3.2.1 标准中注册的声明 (建议但不强制使用)3.2.2 公共的声明3.2.3 私有的声明 ...
via 48小时阅读排行 - 博客园 (author: 贾维斯Echo)
目录一.JWT 介绍二.JWT认证与session认证的区别2.1 基于session认证流程图2.2 基于jwt认证流程图三. JWT 的构成3.1 header : 头部3.2 payload : 负载3.2.1 标准中注册的声明 (建议但不强制使用)3.2.2 公共的声明3.2.3 私有的声明 ...
via 48小时阅读排行 - 博客园 (author: 贾维斯Echo)
布隆过滤器和寻找嫌疑人
布隆过滤器,听过也学过,实际中没怎么用到,时间长了再接触这个概念就陌生了,说到底还是没有彻底掌握。为了真正理解一项技术或一个概念,最好还是从问题出发,所以布隆过滤器到底解决了什么问题呢? 布隆过滤器可以用来检测一个元素是否属于某个集合。 上面的定义比较抽象,下面有些具体的例子(参考这篇文章的内容:h ...
via 48小时阅读排行 - 博客园 (author: 黑客悟理)
布隆过滤器,听过也学过,实际中没怎么用到,时间长了再接触这个概念就陌生了,说到底还是没有彻底掌握。为了真正理解一项技术或一个概念,最好还是从问题出发,所以布隆过滤器到底解决了什么问题呢? 布隆过滤器可以用来检测一个元素是否属于某个集合。 上面的定义比较抽象,下面有些具体的例子(参考这篇文章的内容:h ...
via 48小时阅读排行 - 博客园 (author: 黑客悟理)
毕业设计-基于jsp,ssm物流快递管理系统
物流快递管理系统是一款基于Spring + SpringMVC + MyBatis + EasyUI技术栈开发的综合管理系统。该系统涵盖用户前台和管理员后台两个部分,旨在提供用户方便的在线下单和查询物流状态服务,同时管理...
via 资源分享网 | 资源分享网
物流快递管理系统是一款基于Spring + SpringMVC + MyBatis + EasyUI技术栈开发的综合管理系统。该系统涵盖用户前台和管理员后台两个部分,旨在提供用户方便的在线下单和查询物流状态服务,同时管理...
via 资源分享网 | 资源分享网
java面试题-HashMap、Hashtable和ConcurrentHashMap - 空值限制的原因
本文深入探讨了HashMap、Hashtable和ConcurrentHashMap之间在空值处理上的差异,重点解释了在并发环境中为何ConcurrentHashMap和Hashtable不允许使用null键或值。通过详...
via 资源分享网 | 资源分享网
本文深入探讨了HashMap、Hashtable和ConcurrentHashMap之间在空值处理上的差异,重点解释了在并发环境中为何ConcurrentHashMap和Hashtable不允许使用null键或值。通过详...
via 资源分享网 | 资源分享网
java面试题-说说HashSet实现原理是什么?有什么特点?
深入探讨了HashSet的实现原理和特点,以及在使用HashSet时需要注意的一些细节。通过详细的代码示例,读者能够更好地理解HashSet在Java中的应用和内部机制。
via 资源分享网 | 资源分享网
深入探讨了HashSet的实现原理和特点,以及在使用HashSet时需要注意的一些细节。通过详细的代码示例,读者能够更好地理解HashSet在Java中的应用和内部机制。
via 资源分享网 | 资源分享网
新爸五年计划 - 345 读诗
脱口秀演员黄西的成名作里,有那么一段说:他在美国时,跟儿子外出,儿子总是跟他讲中文,让说中文也不听,于是大吼“if you don’t speak English, GO HOME”。
via Conge
脱口秀演员黄西的成名作里,有那么一段说:他在美国时,跟儿子外出,儿子总是跟他讲中文,让说中文也不听,于是大吼“if you don’t speak English, GO HOME”。
via Conge
npm 被拿來放影片...
這邊講的 npm 是指 official repository... 在 Lobsters 上看到在 npm 上放 ts 檔的文章:「npm flooded with 748 packages that store movies」,原文在這:「npm flooded with 748 packages that store movies」。
發現問題的是 wlwz 這個 user (不確定什麼時候會不見,不過備份在 Internet Archive 與 Archive Today 上都有)。
以列出來的第一個 wlwz-2312-1405 來看,可以從裡面看到十個 ts 檔:
找了一下字串,看起來中國那邊有人認出來是「武林外傳」了 (縮寫剛好就是 wlwz):「npm 被用来保存盗版视频」。
這算是是各種 hosting 需要面對的問題...
via Gea-Suan Lin's BLOG
這邊講的 npm 是指 official repository... 在 Lobsters 上看到在 npm 上放 ts 檔的文章:「npm flooded with 748 packages that store movies」,原文在這:「npm flooded with 748 packages that store movies」。
發現問題的是 wlwz 這個 user (不確定什麼時候會不見,不過備份在 Internet Archive 與 Archive Today 上都有)。
以列出來的第一個 wlwz-2312-1405 來看,可以從裡面看到十個 ts 檔:
找了一下字串,看起來中國那邊有人認出來是「武林外傳」了 (縮寫剛好就是 wlwz):「npm 被用来保存盗版视频」。
這算是是各種 hosting 需要面對的問題...
via Gea-Suan Lin's BLOG