读负暄琐话博客有感

【逻辑与计算理论】Lambda 演算——开篇 原文来自Good Math/Bad Math的系列连载,全文分7章,本篇是第1章。中文博客负暄琐话对这个系列的前6章做过翻译,强迫症表示忍受不了「下面没有了」,于是自己动手做了全套。这里只对原文做了翻译,而“负暄琐话”的版本则加上了很多掌故,使得阅读起来更有趣味性。 Good Math, Bad Math Lambda演算系列之七 (在这个帖子的原始版本里,我试图用一个JavaScript工具来生成MathML。但不太顺利:有几个浏览器没法正确的渲染,在RSS feed里也显示的不好。所以我. 阅读详情

读 负暄琐话 博客有感

这几天在找有关计算机的优秀的博客,在知乎上看到有人推荐负暄琐话这个博客,于是昨晚看到了凌晨三点,只觉得酣畅淋漓。作者写那些博客的时候只是大二,然而博客里面的大部分内容我都不懂,作者当时知识的深度广度只能令人叹服了。贴一下别对他的评价吧:

有幸认识g97yuayon七年有余,此人英文名Danny Yuan,大学读了两年之后和大多数牛人一样(辍学赴加读本科),先后在IBM和netflix编码,此人技术极为牛逼,为人平易近人,长相中等帅。吃火锅不放蒜,穿短袖见程序员,极喜欢洗另一位程序大牛“枯竭”的脑壳。听说其马上要进入uber,两三年之后其必然发达于美帝。。。
作者:王大立
链接:https://www.zhihu.com/question/26384193/answer/32610339
来源:知乎

作者极爱看书并且看书速度极快,工作上学之余便是看书。
从事形式化方法,翻译的由Mark Chu-Carroll所写的 My Fravorite Calculus: Lambda 翻译的很好,让我有种想重看SCIP的冲动(虽然每次只看到第二章:()。
文风幽默,嬉笑怒骂尽藏其中。其中一些博客的评论也很有意思。
博客除了国外技术博客翻译,还有一些作者对当时新闻的评论(时间为2004-2008)年,还有作者的读后感(并不全是计算机类书籍)。可惜这个博客已经不再更新了,不过作者还在reddit、twitter上面活跃,感兴趣的同学可以关注一下

基于QT与STM32的电力参数采集系统(华为云IOT)(211) 本项目构建一款集多功能于一体的电力参数采集系统,该系统以高性能、低功耗的STM32F103RCT6微控制器为核心,集成多种传感器与通信模块,实现对电力设施如电压、电流、功率、电能及环境温度等关键参数的实时精确采集,并通过GPS模块获取设备地理位置信息,满足了电力设备状态全面监控的需求。 阅读详情

相关推荐

深入解析Xilinx IDELAYE2在FPGA时序优化中的关键作用与实战配置

本文深入解析了Xilinx FPGA中IDELAYE2模块在时序优化中的关键作用。作为精密的信号延时微调器,IDELAYE2通过可编程的抽头延迟,有效解决高速接口中数据与时钟的相位偏差问题。文章详细阐述了其必须与IDELAYCTRL配对使用的核心机制,并对比分析了FIXED、VARIABLE和VAR_LOAD三种工作模式的实战配置方法与代码示例,为FPGA工程师提供了解决时序收敛难题的关键硬件配置指南。

pear55的博客 1184

“负暄”的意思

老有人问“负暄”的意思是什么。解释前先说“负暄琐话”的来历。《负暄琐话》是张中行老先生的一本小册子,回忆他当年在北大读书时的趣闻轶事。10多年前读过,至今齿颊留香。《负暄琐话》里关于北大红楼的描述,对当年学界风云人物种种风范的记录,都让我无限神往。八卦水平,无过于此。当初写blog的动机也就是随意八卦一些技术和有关CS的人和事。前辈风存。于是东施效颦,取《负暄琐话》为名。“暄”是太阳的意思。“负暄...

威尔软件 1508

机器学习发展历史及现状(重要的期刊,会议,大牛总结)

1 引言 机器学习是指通过计算机学习数据中的内在规律性信息,获得新的经验和知识,以提高计算机的智能性,使计算机能够像人那样去决策。随着各行业对数据的需求量增多,对处理和分析数据的效率要求变高,一系列机器学习算法应运而生。机器学习算法主要是指通过数学及统计方法求解最优化问题的步骤和过程。针对不同的数据和不同模型需求,选择和使用适当的的机器学习算法可以更高效地解决一些实际问题。本文将从机器学习的起源...

Oscar2018的博客 5万+

补充:学习理论的意义

还忘了一条:学习理论能训练我们对直观想法的表述能力。形式化方法要求我们把直观的描述转换成严格的数学描述,或者把一种形式的语言转换为另一种形式的语言。有时一个想法的直观意义明显,但它的形式化描述却不容易。比如说,把非正则的语言{aibi | i > 0} 用Monadic Second Order Logic 表示为∃X ( X(min) ∧∀y∀z (S(y,z) => (X(y) !X(z))

负暄琐话 1万+

Linux密码破解(使用hydra工具和使用john暴力破解)

提示:文章写完后,目录可以自动生成,如何生成可参考右边的帮助文档 文章目录一、使用hydra离线破解linux密码1.准备实验环境2.创建用户名字典3.hydra密码爆破二、复制shadow文件,使用john暴力破解1.实验环境1.复制linux的shadow文件2.john暴力破解 一、使用hydra离线破解linux密码 1.准备实验环境 ①攻击机:kali_linux 2021.2(ifconfig查询IP地址:192.168.119.132) ②靶机:Ubantu 16.04(ifconfig

weixin_46447549的博客 2万+

在ARM平台上使用Anbox和LXC进行ARM开发调试

在ARM平台上使用Anbox和LXC进行ARM开发调试是一种强大的工具组合。通过安装和配置Anbox和LXC,以及在LXC容器中运行ARM应用程序,开发人员可以方便地进行ARM开发和调试。LXC(Linux容器)是一种轻量级虚拟化技术,它提供了一种在单个主机上运行多个独立的Linux容器的方法。我们将讨论安装和配置Anbox和LXC,以及如何在容器中运行ARM应用程序。通过上述步骤,你现在可以在LXC容器中运行ARM应用程序,并使用Anbox在ARM平台上进行开发和调试。步骤2:启动LXC容器。

KwmGroovy的博客 735

优快云博客

优快云博客 C++罗浮宫 fmddlmyy的专栏 PolyRandoms Wonderful Land whinah的专栏 一笑聊斋 云风的 BLOG 周星星 孟岩 李建忠 梦想风暴 梦溪e博 沉思者 王咏刚 负暄琐话 fatalerror99 辣子鸡丁

冷剑魂的专栏——垃圾场 2325

uniapp [全端兼容] - 详细实现引入使用 Google 谷歌地图显示及搜索城市地点,提供地图标点、地址搜索、定位导航、中文显示及汉化、地图打位置标点显示、搜索框搜索功能、省市区详细经纬度数据等

uniapp,h5移动端网页,微信小程序,Android,苹果ios,app,nvue,谷歌地图,官方,谷歌官方文档,googlemap,申请key,uniApp谷歌地图,详细使用教程,无法访问,集成谷歌地图,app引入谷歌地图,选点定位,地图导航,位置搜索,城市搜索,文字地点模糊查询,地点省市区详细数据,经纬度信息,markers地图标记点,一直报错怎么办,接入google地图不显示报错,谷歌地图插件,vue3,vue2,组件,Key申请流程,谷歌key怎么申请,api文档,网站打不开,用什么插件,在u

🏆 前端领域优质创作者 1万+

抄袭难道还有脸说理由?!to 5415

刚才在负暄琐话看到负暄的文章被一个5415的人抄袭的事,转到负暄给出的帖子地址看了看,发现这个5415真的很无耻! 看看他说的吧: 1.5415:你错了,的确是我写的,我还写过《linux传奇》,在itpub的http://www.itpub.net/showthread.php?s=&threadid=193940您可以看看。 ginger: 如果你写的就给出原来的地址。你还写过《linux传奇

Like A Rolling Stone 1357

[AI] 企业内网部署大模型的三种常见方案:从“能用”到“好用”的技术选型指南

企业内网部署大模型的三种方案解析:本地模型安全但门槛高,平台方案(如Dify)最平衡推荐,混合架构适合进阶需求。关键路径是渐进式演进,从快速验证到平台化建设,核心在于流程优化而非单纯选模型。数据安全、成本可控和工程落地能力是决策重点。

技术小甜甜:传播可落地技术,帮助个人和企业降低解决真实场景问题的成本 770

深度强化学习在机器人控制中的应用

非常感谢您提供如此详细的任务要求和约束条件。作为一位世界级的人工智能专家和计算机领域大师,我将全身心投入到这篇技术博客的撰写中。 深度强化学习在机器人控制中的应用 1. 背景介绍 近年来,随着人工智能技术的飞速发展,深度学习和强化学习在各个领域都得到了广泛应用,尤其是在机器人

AI天才研究院 1323

价值博客

转自 http://mindhacks.cn/friend-links/ {技术} TopLanguage | PythonCN | ErlangCN Coding Horror | High Scalability | InfoQ Reddit | Stack Overflow | Steve Yegge 淘宝UED团队 | 淘宝数据仓库团队 | 银杏站内搜索 代码发芽网 ...

weixin_30449239的博客 116

Palantir 凭什么两年涨 20 倍?深度解析解决 AI 幻觉的 “本体论“ 核心原理

本文深度解析了Palantir本体(Ontology)的核心原理及其在企业AI应用中的革命性价值。本体通过构建结构化的语义层与动态执行层,将企业分散的数字资产(数据集、虚拟表、模型)映射为现实世界的数字孪生,使大模型能够在**严格的业务规则与数据边界内**进行推理与决策,从而从架构层面彻底解决AI幻觉问题。这一技术架构不仅帮助Palantir实现股价两年增长20倍、市值突破4000亿美金的商业成功,更成为SAP、Salesforce等ERP巨头争相模仿的下一代企业智能标准范式。通过航空业飞机故障应急处理等实

program哲学 224

博客周刊"新鲜阅读之江湖人物”

首先让我们回顾一下博客周刊第四期的话题“我是流氓我怕谁”--众说流氓软件”。以前,我认为这种插件成不了什么大的气候,但是小编我最近却惨遭流氓软件的骚扰。着实让我对这些软件咬牙切齿的,在本周的博文当中就有一个致流氓软件们的檄文:多行不义必自毙——致流氓软件朋友--非人之路相关阅读: sohu游戏也流氓?、 反“流氓”为什么不反盗版???点点:我也是受害者,至今还保留了一个“sohu游戏”的东西,就算

优快云 博客周刊 2398

RU DOS版、EFI版32bit/64bit BIOS常用工具

DOS版、EFI版的RU工具,可用来查看IO、MEM、PCI、SMBIOS等资源。亲测在EFI SHELL下可用。

IMSL CNL 7.0.0 (x86-64)Crack

IMSL CNL 7.0.0 (x86-64)Crack intel的算法库破解文件,这是C++版本的破解文件

优快云 2006年度最有价值博客1

马宁个人简介:微软MVP。长期从事Windows Mobile应用的架构设计和程序开发,擅长.NETCompactFramework, SQL Mobile开发。是优快云、《程序员》杂志专栏作家。为微软MSDN多次进行过WebCast讲座。微软(北京).NET俱乐部特邀讲师,技术顾问。 Blog: http://blog.csdn.net/aawolf李先静个人简介:近两年的主要精力集中

gu0072003的专栏 2451

LinePhone3.2.7(android端最新版本) sip客户端

SIP客户端For android:LinePhone3.2.7(最新版本),官网地址:http://www.linphone.org/

价值博客们--by 刘末鹏

2019独角兽企业重金招聘Python工程师标准>>> ...

weixin_33840661的博客 165

TMS_WebGMaps_1.9.8.0_Full_Source

TMS_WebGMaps_1.9.8.0_Full_Source 全源码 delphi cbuilder

刘未鹏的博中带的技术博客链接

转自: http://mindhacks.cn/friend-links/ 价值博客们 声明:抱歉,请不要向我申请交换链接。 TopLanguage|PythonCN|ErlangCN Coding Horror|High Scalability|InfoQ Reddit|Stack Overflow|Steve Yegge 淘宝UED团队|淘宝数...

weixin_30859423的博客 105

转----- 干什么都行,但不要犯贱

   到底是 负暄琐话  说话 就是经典   我觉得他应该 翻译基本 国外的书籍给我们这些 菜鸟  来 读读 增加见识或者 把一些优秀的 blog 翻译过来 让我们大开眼界。

ThInk.Cn的专栏 576

网址导航

牛人们   孟岩 - 优快云博客 大坡3D软件开发 - 优快云博客 叶帆工作室 - 优快云博客 刘未鹏|C++的罗浮宫 - 优快云博客 我要去桂林---田春峰的网志 - 优快云博客 负暄琐话 - 优快云博客 旁观者 - 博客园 探索软件测试之道 - 优快云博客 CERL/StdExt/TPL/WinxGui/Erlang/Erl...

wukunlsy的专栏 307

线性回归、logistic回归、广义线性模型——斯坦福CS229机器学习个人总结(一)

CS229第一份讲义,包括线性回归、logistic回归、广义线性模型。

Jiahe的博客 7万+

程序人生之“狗的姿态”

 篇首语:博客周刊在不知不觉中已经发布了六期, 希望继续得到大家的关注和支持。我们也将一如既往地挖掘优快云 BLOG的优秀内容,整理给大家。为什么叫“狗的姿态”?是引用了一个博友的文章题目。什么是狗的姿态?一瞬间,我大为感悟和触动,人类如此自诩为万物之灵,有头脑有情感有智慧--可是看看这大狗和小狗,差不多同样的年龄,却具备了不同的姿态:大狗比小狗的身体大5倍,却面对小狗的叫嚣能做到如此高的姿

优快云 博客周刊 2458

产品经理的第一堂课(八):天之道,不争而善胜

       经过开发组这两个月的努力,优快云 Blog的系统开始越来越稳定,并且后台系统的易用性也开始得到用户的认可。作为产品经理的我,也要开始多考虑如何做好我的本职工作,就是Blog的运营,Blog的运营在我看来有两个方面,一个是“运”,一个是“营”。所谓“运”包括三个方面:一是“运”产品-运产品就是作为产品研发部门和用户之间的桥梁,将用户的真实需求反馈给产品研发部门,现在我们通过开

产品研习所 3076

置顶的参考和资源目录(07-7-24更新:GC)

基本上,本文所列举的都是最近学习或参考的来自于网络的共享文章和资源。只是链接,并不表示赞同,也并不表示反对。 如果对您的权益构成了损害,请与我联系,我将在第一时间将其从本文条目中删去。 +图形图象 现有引擎 CryEngine2 链接自azure product的CryEngine 2 完全技术分析 引擎设计 体系结构 链接自Nightmare of Desig...

yanlijun250 94

学习C++:实践者的方法

正在处理中,请稍后…… 公告 /* test if _item_ is in _set_*/function IsIn(item, set){ for(var i = 0; i < set.length; ++i){ if(set[i]&&(item == set[i]))ret

livingrock的专栏 4602

代码赏析-什么样的代码能称得上艺术二字

人类的最原始的认知来源于模仿,而后才是自我创造。可以说绝大多数的人都是如此,天才毕竟不多。在写代码的过程中,也会遵循此过程,优秀的程序员往往都经历过一个过程—阅读优秀的源码。本系列的博客会陆续贴一些我在读到看到的让我眼前一亮的代码供大家赏玩。作为开篇,以SICP的一道习题开始: 练习1.3: 请定义一个过程,它以三个数为参数,返回齐总较大的两个数之和。 其实,SICP在学校的时候就在读,工作后又

王金雷的个人博客 942
上一篇: 《太傻十日谈》读后感
下一篇: 我的大三下
qingngniq
博客等级 码龄10年 1粉丝 6原创
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付:10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值