duangsuse::Echo
https://www.zhihu.com/question/20822815 我指的是这个
for example 举个例子吧
(我们假设 R6RS Scheme 里能用的函数现在都有)
λn w z. ((n λl h. h (l w)) (λd.z)) (λx.x)
lamdba.g4 是无法解析的,它的规则如下(ANTLR 是个 Java Parser Combinator,你可以理解为高端正则表达式,比正则的 Group 引用还高级)Expression: variable | Function | Application;举个例子,+1 (因为 lambdac 偏向数学系所以一般是举数学定义的例子,但我数学菜就只能举例 1 + 1)
Scope: Expression;
Function: 'λ' variable '.' Scope;
Application: '(' expression expression ')';
variable: [a-z] [a-zA-Z0-9]*;
WS: [ \t\r\n] -> skip;
(我们假设 R6RS Scheme 里能用的函数现在都有)
(make-base-namespace)
(define add1 (λx.(+ x 1)))刚才查了好久 foldr,现在给出它的定义
(display (foldr add1 0 '(1 2 3 4)))
foldr f z [] = z(Haskell... 好像暂时有点难理解,算了(上面那个是错的
foldr f z (x:xs) = f x (foldr f z xs)
(define foldr (lambda (f z l)
(foldr ((f (car l)) (foldr f z (cdr l))))))
Forwarded from duangsuse Throws
Ayaka Neko。是可爱而又真实存在的人呢…是类似的人呢。不会是类似的结局的。是最喜欢的人,是永远喜欢的人。
— 羽毛
#LGBT #life origin origin1
「猫会通过好好活着来怀念过去深爱的某个人。」
— 羽毛
曾经在上海,现在在流浪。
也许是🏳️🌈。
心中的悲伤满溢出来。
与你们不在同一个世界。
— 羽毛
— 羽毛
#LGBT #life origin origin1
「猫会通过好好活着来怀念过去深爱的某个人。」
— 羽毛
曾经在上海,现在在流浪。
也许是🏳️🌈。
心中的悲伤满溢出来。
与你们不在同一个世界。
— 羽毛
oao.moe
Links · 絢香的羽毛
yaqinking 的介绍点进他的博客看吧 挺客观;迁移到 Hexo 之后只能重新整理了 orz.;Yukixz,码农,EVE 玩家
#linux 说真的,作为一篇 GNU/Linux 入门教程的话,可能太草了。
这样我连 Bash 按 Tab 可以自动补齐都不知道
我当年学 GNU/Linux 时是花了很多时间才学会 GNU Coreutils 和 bash 内部命令的
有些东西需要时间,但你花了时间以后,别人就可以少花时间
我希望好的教程,绝对不止这样的篇幅、这样的详尽程度。
大概还是恨铁不成钢吧。如果原作者看到了,希望还请见谅。
这样我连 Bash 按 Tab 可以自动补齐都不知道
我当年学 GNU/Linux 时是花了很多时间才学会 GNU Coreutils 和 bash 内部命令的
有些东西需要时间,但你花了时间以后,别人就可以少花时间
我希望好的教程,绝对不止这样的篇幅、这样的详尽程度。
大概还是恨铁不成钢吧。如果原作者看到了,希望还请见谅。
作者在我看来技术水平绝对不低,但如果教程是成型版的话,可能还不足够能让人学习到实用的知识
希望能从 CLI 交互开始教,毕竟大概也不是面向非 Geeks 的教程吧
如果必要的话,或许还可以来一个简洁的 C 语言入门教程、Bash 高级语言特性入门,毕竟很多真正想上生产的服务器管理员大概都能拿 PHP 什么的写点小应用吧。
希望能从 CLI 交互开始教,毕竟大概也不是面向非 Geeks 的教程吧
如果必要的话,或许还可以来一个简洁的 C 语言入门教程、Bash 高级语言特性入门,毕竟很多真正想上生产的服务器管理员大概都能拿 PHP 什么的写点小应用吧。
duangsuse::Echo
#ai https://zhuanlan.zhihu.com/p/37013534
补充一下,其实是羽毛「张千叶」发在和 neko 的频道上的。我这一段时间不关心 AI 开发方面的事情
她真的是很优秀的工程师,什么都关心,永远不满足于现在的技术栈,不像有些工程师满足于几年里能学会的知识,然后可能以后就不怎么了解新东西了
我很尊敬这样的工程师,可惜因为现在社会的一些偏见最终是没有与之结交,后来她选择了自杀,也是没有想到,本来说为了纪念所爱的人勇敢的活下去,最后还是没有希望活下去了吧。
她真的是很优秀的工程师,什么都关心,永远不满足于现在的技术栈,不像有些工程师满足于几年里能学会的知识,然后可能以后就不怎么了解新东西了
我很尊敬这样的工程师,可惜因为现在社会的一些偏见最终是没有与之结交,后来她选择了自杀,也是没有想到,本来说为了纪念所爱的人勇敢的活下去,最后还是没有希望活下去了吧。
#Haha #crypt https://hack.lug.ustc.edu.cn/#RSA_of_Z
坊间传言 Jeff Dean 在面试 Google 的时候,曾根据公钥心算出 Google 私钥。当然大多数人都把这事当作笑话对待,但只有 Z 同学知道,这是真的。
根据国家计生委未公开的大数据统计,平均每 66666666 位少年少女中就有一位这样的天才,心算能力极为恐怖,可以在线性复杂度内分解任意长度的大整数,因为时间瓶颈主要在于把结果用笔写出来。中国科学技术大学少年班学院成立的主要目的,其实就是为了网罗这样的神童。每当这样的一位天才出现,国家就会将其秘密保护起来,送到国家高性能计算中心作为 ALU,而其同学却只是被告知出国。实际上,曾排 TOP500 榜单第一名的超算“神威-太湖之光”的主要算力其实是由两位这样的天才少年提供,剩余的 10649600 个核心则负责将通用的计算程序规约到大整数分解,以及处理输入输出等等外围工作。
坊间传言 Jeff Dean 在面试 Google 的时候,曾根据公钥心算出 Google 私钥。当然大多数人都把这事当作笑话对待,但只有 Z 同学知道,这是真的。
根据国家计生委未公开的大数据统计,平均每 66666666 位少年少女中就有一位这样的天才,心算能力极为恐怖,可以在线性复杂度内分解任意长度的大整数,因为时间瓶颈主要在于把结果用笔写出来。中国科学技术大学少年班学院成立的主要目的,其实就是为了网罗这样的神童。每当这样的一位天才出现,国家就会将其秘密保护起来,送到国家高性能计算中心作为 ALU,而其同学却只是被告知出国。实际上,曾排 TOP500 榜单第一名的超算“神威-太湖之光”的主要算力其实是由两位这样的天才少年提供,剩余的 10649600 个核心则负责将通用的计算程序规约到大整数分解,以及处理输入输出等等外围工作。