九瓜

九瓜

致力于推广 λ 演算和普及函数语言,让编程更给力!
验 zk proof 会比验 ed25519 签名更容易?想多了吧[吃瓜]
区块链发展中三个最重要的东西,第一个是比特币,区块链根基,第二个是以太坊,引入了智能合约,第三个就是ZK,零知识证明。 ​​​​
我给它出了一道数学题,虽然它解错了,但是它推理的过程振振有词,气势如虹 [二哈]//@王爽_宇宙奥德赛:貌似很奇妙
随着AI绘画的发展,我曾经以为将来会诞生专门给AI写关键词的职业 —— Prompt 设计师,没想到这个职业还没诞生就又被机器人抢了。

最近 OpenAI 出了一个超强的聊天机器人 —— ChatGPT ,号称能接住所有话题,而且能写文章,写歌词,写诗,甚至写代码……当然也包括给AI绘画写关键词,而且写得特别好 ​​​​...展开全文c
  • 动图
Wasm 已经是 typed assembly 成功工业化的典范了,借了 web 的东风,但实际上和 web 没啥关系
我到最近才理解一点,技术创业也是可以捡漏和不累的。其关键点就是,大公司会研究一些重要技术,但因为商业原因束之高阁。比如这几天聊的多的typed assembly language,以及formal method。前者微软有研究人员涉足,paper也发了,但是解决的问题不够大,没有推广的必要;后者比如f star,也是微软和inr ​​​​...展开全文c
能编译的 rust 还不容易吗,全部用 Arc 包一下即可 [摊手]//@ExcitedVczh:但是只要你熟练了,rust随心所欲就能编译过,那C++也不会动不动就race condition。如果你现在用C++还是动不动就race condition,那你肯定没办法写一个能编译的rust程序。正确的代码都长那样,rust也没有“更容易”[二哈]
有个学生声称 Rust 能更好地解决B+ tree lock 问题,Andy 并不以为然 ​​​​
显然真随机数不是靠扔硬币得出来的
复杂与随机(一)

复杂和随机或许是对同一系统的不同种描述。

最明显的例子是投掷硬币看正反。严格地说,硬币的最终结果并不是完全无序的:它是一个特定的环境输入在一系列古典物理定律的复杂叠加下产生的特定结果。如果人类的科技发达到可以精确控制环境输入和计算如此复杂的物理学模拟,那么硬币的 ​​​​...展开全文c
记得在 3blue1brown 看到过这题?
【Fun科学】超恶心难题:赶快召唤最强的那张朋友卡吧!#科普##给视频加buff##我在微博涨知识# 听说有不止一种证明方式,快帮忙找出来吧~ L佑来了生活科学官方的微博视频 ​​​​
看起还来需要至少一年 [doge]

抱歉,作者已设置仅展示半年内微博,此微博已不可见。 ​​​​

我就好奇啥时候更新固件,然后如果更新失败了有没有后手[偷笑]//@ExcitedVczh:望远镜都是靠算的吧,宇宙又不会斗转星移[二哈] //@wingc:用脚本语言如何保证实时性?地球上的自动驾驶车辆都不敢用,地球之外的飞行器反而敢[费解][费解]
转:
韦伯望远镜的飞行软件(操作飞船和科学仪器)内置JS解释器,完全靠JS脚本来执行所有操作和遥测请求。上层OPE(观测计划执行)脚本通过多线程、像function一样调用管理下层脚本实时直接跑飞船姿态控制、科学仪器的命令(有点像worker)。整个软件架构是事件驱动的,底层系统因此大幅简化。
🔗 ​​​​...展开全文c
  • 长图
可以开始发展一下 MEV 的顾客了吗?[偷笑]//@邓草原:70 多个了。
换成光纤后,我的以太坊节点现在连了 50 多个同行节点。也是加拿大 130 多个全节点中的一个。 ​​​​
[泪][蜡烛]
香港著名导演罗启锐辞世,享年69岁。罗启锐是香港著名导演及编剧,与妻子张婉婷共同创作了多部经典电影,包括有《秋天的童话》、《七小福》、《岁月神偷》、《玻璃之城》等。由其参与编剧的《秋天的童话》获得香港电影金像奖和台湾金马奖多个奖项,《岁月神偷》更是夺得第60届柏林国际电影节新生代单元 ​​​​...展开全文c
这话是说给 Wes Anderson 听的吗[偷笑]
#银幕闲话# “我从来不喜欢异想天开式的或者混乱的叙事。” ​

保罗·托马斯·安德森52岁生日快乐🎂 ​​​​

正在加载中,请稍候...