51
Dev开发社区
首页
文章
问答
工具
搜索
登录
注册
文章频道
前端
css3
Javascript
html
Html5
Css
vue
网站优化
正则表达式
React
后端
C语言
C++
Java
.Net
PHP
Python
gis
Go语言
数据库
nosql
其他
Redis
sql
Mysql
Oracle
sqlserver
mongodb
移动
Flutter
Android
IOS
微信
微信小程序
支付宝小程序
快应用
开源
hadoop
资讯
经验
其他
工具
互联网络
代码编辑器
报表/图表
其他
算法
操作系统
linux
unix
windows
centos
mac
游戏开发
架构
微服务
网站架构
分布式系统
系统架构
软件工程
敏捷开发
软件工程
开发
MIT Scheme 的基本使用
注意:运行MIT-GNUScheme出现“Requestedallocationistoolarge”请求分配额度太大。尝试分配更小的堆内存。 右键单击应用程序的链接并选择属性。编辑目标,在其中添加自定义参数--heap512即可 参考链接:stackoverfl...
代码星球
·
2020-07-31
MIT
Scheme
基本
使用
SECD machine
对程序语言理论的理解程序语言理论主要研究语法、语义及语言的实现。编程语言有语法,各种数学逻辑、结构化数据都有语法。乔姆斯基的语言体系及巴科斯范式是语法分析的基础,语法分析将字符串转换成有结构的抽象语法数据。对于语法的结构化表示,在命令式语言中使用数据结构,在函数式语言中使用列表或者自定义的数据类型。函数式语...
代码星球
·
2020-07-31
SECD
machine
scheme 之门
这是一篇Scheme的介绍文章.Scheme是一个LISP的方言,相对于CommonLISP或其他方言,它更强调理论的完整和优美,而不那么强调实用价值.我在学习Scheme的时候,常想的不是"这有什么用",而是"为什么"和"它的本质是什么".我觉得这样的思考对学习计算机是非常有益的.我不知道"S...
代码星球
·
2020-07-31
scheme
之门
Racket里的方括号
Racket编程指南https://blog.csdn.net/chinazhangyong/article/category/7386082 来自于QQ群racket!( 347238284) 在路上(346442406) 14:55:50在Racket里,方括号和小括号本质上...
代码星球
·
2020-07-31
Racket
方括号
括号
编程入门指南
原文链接:http://zhuanlan.zhihu.com/xiao-jing-mo/19959253 -----------------------------------------------编...
代码星球
·
2020-07-31
编程
入门
指南
Merkle Tree 概念
来源 https://www.cnblogs.com/fengzhiwu/p/5524324.html /*最近在看Ethereum,其中一个重要的概念是MerkleTree,以前从来没有听说过,所以查了些资料,学习了MerkleTree的知识,因为接触时间不长,对MerkleTree的理解也不是很...
代码星球
·
2020-07-31
Merkle
Tree
概念
Continuation-passing style
参考书籍:EOPL( EssentialsofProgrammingLanguages,3rdEdition) 作者:知乎用户链接:https://www.zhihu.com/question/20259086/answer/141162748来源:知乎著作权归作者所有。商业转载请联系作者获得授权,...
代码星球
·
2020-07-31
Continuation-passing
style
特殊符号 UNICODE编码
===================Start⇠ 箭头类符号UNICODE符号UNICODEHTMLJSCSSHTMLJSCSS⇠⇠u21E021E0⇢⇢u21E221E2⇡⇡u21E121E1⇣⇣u21E321E3↞&am...
代码星球
·
2020-07-31
特殊符号
UNICODE
编码
Y组合子
Y组合子的用处作者:王霄池链接:https://www.zhihu.com/question/21099081/answer/18830200来源:知乎著作权归作者所有。商业转载请联系作者获得授权,非商业转载请注明出处。Y组合子的用处是使得lambda表达式不需要名字。如你所说,阶乘函数可以这样定义:let...
代码星球
·
2020-07-31
合子
FortiGate 硬件加速
来源https://wenku.baidu.com/view/07749195a1c7aa00b52acb63.html 硬件加速来源https://blog.csdn.net/meigang2012/article/details/78638341==================...
代码星球
·
2020-07-31
FortiGate
硬件
加速
VMXNET3 vs E1000E and E1000
用户为什么要从E1000调整为VMXNET3,理由如下:E1000是千兆网路卡,而VMXNET3是万兆网路卡;E1000的性能相对较低,而VMXNET3的性能相对较高;VMXNET3支持TCP/IPOffloadEngine,E1000不支持;VMXNET3可以直接和vmkernel通讯,执行内部数据处理;eg.VMX...
代码星球
·
2020-07-31
VMXNET3
vs
E1000E
and
E1000
RSA modulus too small: 512 < minimum 768 bits
$sshadmin@192.168.50.46ssh_rsa_verify:RSAmodulustoosmall:512<minimum768bitskey_verifyfailedforserver_host_key fgvm-ha1#configsystemglobalfgvm-ha1(global...
代码星球
·
2020-07-31
RSA
modulus
too
small
自我意识的起源:神经生物学的视角
人类理性的脑起源——读《笛卡尔的错误》2015-06-1713:27 阅读:130来源 http://blog.sina.cn/dpool/blog/s/blog_ae5140a60102vnmt.html经生物学家达马西奥的著作—&mda...
代码星球
·
2020-07-31
自我意识
起源
神经
生物
学的
in packet sniffer
来源https://kb.fortinet.com/kb/microsites/search.do?cmd=displayKC&docType=kc&externalId=11186&sliceId=1&docTypeID=DT_KCARTICLE_1_1&dialogID=56...
代码星球
·
2020-07-31
in
packet
sniffer
sniffer 和 debug flow
sniffer和debugflow复制模板,直接修改IP即可使用:diagnosesyssessionfiltercleardiagnosesyssessionfilterproto6diagnosesyssessionfilterdport3389diagnosesyssessionfilterdst119.100....
代码星球
·
2020-07-31
sniffer
debug
flow
专栏
更多
老潘
关注
欢迎关注
建站高手
关注
兴趣:做网站
星空
关注
星空下的梦~
代码星球
关注
IT猿
关注
首页
上一页
1
2
3
4
5
...
下一页
尾页
按字母分类:
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
其他