51dev.com IT技术开发者社区

51dev.com 技术开发者社区

MIT Scheme 的基本使用

MIT Scheme 的基本使用

 注意:运行MIT-GNUScheme出现“Requestedallocationistoolarge”请求分配额度太大。尝试分配更小的堆内存。 右键单击应用程序的链接并选择属性。编辑目标,在其中添加自定义参数--heap512即可 参考链接:s...

SECD machine

SECD machine

 对程序语言理论的理解程序语言理论主要研究语法、语义及语言的实现。编程语言有语法,各种数学逻辑、结构化数据都有语法。乔姆斯基的语言体系及巴科斯范式是语法分析的基础,语法分析将字符串转换成有结构的抽象语法数据。对于语法的结构化表示,在命令式语言中使用数据结构,在函数式语言中使用列表或者自定义...

scheme 之门

scheme 之门

  这是一篇Scheme的介绍文章.Scheme是一个LISP的方言,相对于CommonLISP或其他方言,它更强调理论的完整和优美,而不那么强调实用价值.我在学习Scheme的时候,常想的不是"这有什么用",而是"为什么"和"它的本质是什么".我觉得这样的思考对学习计算机是非常...

Racket里的方括号

Racket里的方括号

Racket编程指南https://blog.csdn.net/chinazhangyong/article/category/7386082 来自于QQ群racket!( 347238284) 在路上(346442406) 14:55:50在Racket里,...

编程入门指南

编程入门指南

 原文链接:http://zhuanlan.zhihu.com/xiao-jing-mo/19959253         --------------------------------------...

Merkle Tree 概念

Merkle Tree 概念

来源 https://www.cnblogs.com/fengzhiwu/p/5524324.html /*最近在看Ethereum,其中一个重要的概念是MerkleTree,以前从来没有听说过,所以查了些资料,学习了MerkleTree的知识,因为接触时间不长,对MerkleT...

Continuation-passing style

Continuation-passing style

参考书籍:EOPL( EssentialsofProgrammingLanguages,3rdEdition) 作者:知乎用户链接:https://www.zhihu.com/question/20259086/answer/141162748来源:知乎著作权归作者所有。商业转载...

特殊符号 UNICODE编码

特殊符号 UNICODE编码

===================Start⇠  箭头类符号UNICODE符号UNICODEHTMLJSCSSHTMLJSCSS⇠&#8672u21E021E0⇢&#8674u21E221E2⇡&#8673u21E121E1⇣&#8675u21...

Y组合子

Y组合子

 Y组合子的用处作者:王霄池链接:https://www.zhihu.com/question/21099081/answer/18830200来源:知乎著作权归作者所有。商业转载请联系作者获得授权,非商业转载请注明出处。Y组合子的用处是使得lambda表达式不需要名字。如你所说,阶乘函数...

FortiGate 硬件加速

FortiGate 硬件加速

来源https://wenku.baidu.com/view/07749195a1c7aa00b52acb63.html   硬件加速来源https://blog.csdn.net/meigang2012/article/details/78638341========...

VMXNET3 vs E1000E and E1000

VMXNET3 vs E1000E and E1000

用户为什么要从E1000调整为VMXNET3,理由如下:E1000是千兆网路卡,而VMXNET3是万兆网路卡;E1000的性能相对较低,而VMXNET3的性能相对较高;VMXNET3支持TCP/IPOffloadEngine,E1000不支持;VMXNET3可以直接和vmkernel通讯,执行内部数...

RSA modulus too small: 512 < minimum 768 bits

RSA modulus too small: 512 < minimum 768 bits

$sshadmin@192.168.50.46ssh_rsa_verify:RSAmodulustoosmall:512<minimum768bitskey_verifyfailedforserver_host_key fgvm-ha1#configsystemglobalfgvm-...

自我意识的起源:神经生物学的视角

自我意识的起源:神经生物学的视角

 人类理性的脑起源——读《笛卡尔的错误》2015-06-1713:27  阅读:130来源 http://blog.sina.cn/dpool/blog/s/blog_ae5140a60102vnmt.html经生物学家达马西奥的著作&...

in packet sniffer

in packet sniffer

来源https://kb.fortinet.com/kb/microsites/search.do?cmd=displayKC&docType=kc&externalId=11186&sliceId=1&docTypeID=DT_KCARTICLE_1_1&d...

sniffer 和 debug flow

sniffer 和 debug flow

sniffer和debugflow复制模板,直接修改IP即可使用:diagnosesyssessionfiltercleardiagnosesyssessionfilterproto6diagnosesyssessionfilterdport3389diagnosesyssessionfilterd...