逻辑思维和科学思维
理性的思维方式可以简单地概括成两类:一是逻辑思维,二是科学思维
两种思维
逻辑思维,或者说逻辑推理依赖的公理体系是不依赖实验或者观测地,其具备必然性。只要公理(即前提假设)(公理可能也是观测得来的,但是这不是必然条件)和逻辑正确结论就真。逻辑推理不会因为出现了新证据被推翻。它关注的是如何从已知的前提出发,通过有效的推理规则得出结论。
理性的思维方式可以简单地概括成两类:一是逻辑思维,二是科学思维
逻辑思维,或者说逻辑推理依赖的公理体系是不依赖实验或者观测地,其具备必然性。只要公理(即前提假设)(公理可能也是观测得来的,但是这不是必然条件)和逻辑正确结论就真。逻辑推理不会因为出现了新证据被推翻。它关注的是如何从已知的前提出发,通过有效的推理规则得出结论。
最近发现自己使用的控制台字体过小,导致看得很难受。这里做一个简单的记录。
我使用的是 Konsole,它有一个profile的概念。系统默认的 profile 没有办法 edit,因此需要新建一个 profile,并编辑这个 profile 的参数,来达到修改的目的。
我最近迷上了登山或者准确的说,是徒步。最有趣的徒步路线不是阶梯状或是绿道,而是去攀登那种野路小径。每当我在这种小路上寻找下一个着力点,登山靴与岩石摩擦的沙沙声在山谷回响,我忽然意识到:这何尝不是人生的隐喻?那些形态各异的山石,正是命运赐予我们的选择题。
本来写这篇文章的出发点是想要梳理一下,工作中常用到的 cache,借此为自己的知识体系做一个总结和深化。但是,总感觉简单地梳理又不那么令人满足,于是打算开启一个 cache 系列,分模块对 cache 进行一个深入浅出的总结。在这些总结中,每一章都各有自己的侧重点,从不同的角度,归纳和剖析我们日常使用的 cache 技术。
数组是所有 JavaScript 程序员非常熟悉和经常使用的数据结构,和其他的语言类似,仅仅通过一个简单的 let foo = []
就可以创建出一个数组并使用他。但是,作为一种弱类型语言,使用过其他强类型语言的程序员也许会对 javascript 的这种写法感到非常疑惑:let array = [0, 'a', "hello"]
。WTF?发生了什么,难道数组里面的元素类型不应该是完全一致的么?这是发生了什么魔法么。
在 JS/TS 开发中,往往绕不开 eslint。在多人合作开发的时候,使用 eslint 这个静态代码检查工具,可以很好的帮助我们构建风格一致的代码仓库,同时检查出隐藏的代码问题,帮助我们减少 代码出现低级错误的可能。
JS 提供了一些比较方便高阶函数供我们使用,用 for/while 循环写得慢还容易出错的代码,使用高阶函数早就写完需求了(狗头)。
但是高阶函数各个语言之间总会有些差别,平时看文档总是没法记得牢固,各种用法傻傻分不清楚?那么来看看下面这张图吧,秒级理解。
最近公司希望重构论坛项目,计划使用 nodebb 这个基于 nodejs 的论坛开源项目。
nodebb 这个项目有个不错的设计,它的一些非核心功能是可以使用插件化的方式进行拓展的。因此稍微研究一下就可以在不修改源代码的前提下,对 nodebb 进行个性化的定制。
linux 下网易云音乐,是不错的选择,奈何自带的字体实在太小。
使用编辑器修改 /opt/netease/netease-cloud-music/netease-cloud-music.bash
的内容,在最后一行中添加 --force-device-scale-factor=xxx
。 xxx 是字体放大的倍数,例如我的就是: 1.2 。具体代码如下所示。
根据上文,我们了解到了 awk 的基本特性和书写方式。这一章,我们开始深入 awk 编程。
仔细思考 awk 的核心思路我们可以发现,我们在 awk 中聚焦的核心是 记录
以及 处理记录
,而针对记录,如果我们可以筛选出我们需要的记录,那么无论是程序的执行次数还是编程复杂度都会大大降低。
awk 最基础的功能是用作搜索 文件、命令行输出中特定的文本。然后对找到的文本执行指定的操作。
它最大的优势是,它是 linux 等 类 unix 系统下通用的工具,无需额外安装运行时和相关依赖即可使用。而且它 “好读”,“好写” : P。
socks5 是一个简单的代理协议,它的全称是 SOCKS Protocol Version 5
顾名思义就是第五代的 socks
协议。
socks5 的前身是 socks4, 作为新一代的协议,socks5 肯定是做出了一定的改进,具体是哪些,接下来都会慢慢了解到。
最近遇到一个问题,我有些文章放在简书还没有同步过来个人博客上。可就是当我移植过来之后,突然发现图片都显示不出来了。
具体情况如图:
经过搜索,发现 403 报错的原因是服务器拒绝了我们的请求。说明我们可能哪儿做错了。
前段时间把博客主题切换到了 hugo,但同时也遇到了一些需要自己去折腾的问题。
例如,安装的主题貌似对中文支持不太好,安装的主题没有搭配除了 disqus 以外的评论插件怎么办,流量统计怎么做,安装的主题图片展示效果较差怎么办?
请原谅我的标题党,这篇文章主要聚焦的是 linux shell 中的引号问题。
如果你正在和 shell 打交道,那么了解 shell 中关于引号的问题是一件很有必要的事情。
下面的这些规则适用的对象是 POSIX 兼容的 shell 例如我们常用的 bash(GNU Bourne-Again Shell)。
在 linux 中,硬链接(hard link)和软链接(symbolic link)是两个非常重要的概念,以前上课的时候听老师讲过这两个概念结果后来给忘了。这篇文章将通过实例,加深我们对这两个概念的印象。
If builders built buildings the way programmers write programs, then the first woodpecker that came along would destroy civilization.
~ Gerald Weinberg (born: 1933-10-27 age: 77) Weinberg’s Second Law
这篇文章主要来介绍一些毁掉你 ts 代码的方法。(doge
在开发和学习的过程中,飞机始终是我们的好朋友。为了不在一些特别的时刻偶尔的失去他,我们也需要不断变化和学习和改进。
一、 准备一台 VPS(境外),不需要购买域名和配置证书。
总结整理一下简单、常用的 ps 命令用法。
命令: ps
命令解释: 全称是 process status
,使用它相当于在 win 下的 任务管理器
。
常用命令参数: -a 显示同一终端下的所有程序 -e 等于“-A” -e 显示环境变量 -f 显示程序间的关系 -r 显示当前终端的进程 -u 指定用户的所有进程
到 emacs 的官网下载安装包 当我写这篇博客的时候,emacs 的最新稳定版是 27.1
|
|
./configure --prefix=/opt/emacs/ --with-mailutils --with-pop >/dev/null 2>&1
可能会遇到一些依赖保错
在类 unix 系统中, tty 可以被看作是一个命令,但在更常见的情形下, tty 被认为是终端的代称。
随便打开几个终端看看,可以看到下图:
今天工作中使用 nvm 升级 node 版本遇到了这个错误,经过一番研究终于解决。
出现这个报错的原因有许多种,我遇到的报错实际上是由代理引起。
...
展开运算符错误错误原因:
早期的 babel 有许多问题,一些早期的版本(可能现在也没有解决)无法识别的语法、运算符可以通过插件的形式给 babel 打补丁,这里就是其中一种。
最近在工作中遇到了一个很奇怪的问题,网站的页面大部分按钮和卡片都有一个向上移动的过渡动画,当鼠标悬浮在这些元素上的时候,动画会触发并在一定时间内缓缓完成、同时鼠标样式变成 pointer,。
很久没有更新博客了,而且前段时间也在忙着找工作,到现在才新入职两天T.T,今天开始重新更新个人博客了。
今年早些时候,新冠疫情给国内造成了巨大损失。因此在今年四月四的时候,为了叨念逝者、寄托哀思,国内不仅暂停了大部分娱乐活动,而且各大门户网站、视频网站,都对首页或者所有页面做出了内容和样式的大调整。
看完这篇你就知道有多简单 :P
想要美美哒,肯定是要一点的啊😥
《周易》是我国的独特文化结晶,也称作《易经》,是《三易》之一、儒门圣典。《周易》在创始之初就试图从天、神性的角度说明做某件事情的合理性。而这正是古代生产力落后的典型作法,古代人类通过用龟壳、蓍草、铜钱、竹签、纸牌或占星等手段和征兆来推断未来的吉凶祸福,为指点前途命运、抚慰心灵着想。
这种解决方案存在的一大问题就是,目前还没有研究出一种加密方式,使得任何执行在数据库上的操作,都能正确运行在加密过的数据上。因此就意味着需要在数据库服务端存放多种经过不同方式加密的数据。当用户执行特定操作时,Mysql-proxy就会截获操作请求并使用使用特定的加密方式对该操作进行加密,使得该操作能够正确运行在Server端。
版权声明:本文为博主原创文章,欢迎转载;转载请注明来自 瓜哥
想要理解CryptDB, 你可能需要阅读如下资料: CryptDB. Popa, R. A., et al. (2011). CryptDB: protecting confidentiality with encrypted query processing. 文章链接
版权声明:本文为博主原创文章,欢迎转载;转载请注明来自 瓜哥:D
这个暑假的数据库实训内容,研究的项目背景下面会介绍~
你好,我是三口一个瓜。你也可以叫我瓜。这里是我的博客,日常记录和抒情的场所。
我是一名程序员,emacs 爱好者,平时喜欢健身、跑步、篮球。
我现在居住和工作在 中国,深圳。如果想要联系我,请发 email。
中国 China
广东省深圳市