duangsuse::Echo
716 subscribers
4.25K photos
127 videos
583 files
6.46K links
import this:
美而不丑、明而不暗、短而不凡、长而不乱,扁平不宽,读而后码,行之天下,勿托地上天国。
异常勿吞,难过勿过,叹一真理。效率是很重要,盲目最是低效。
简明是可靠的先验,不是可靠的祭品。
知其变,守其恒,为天下式;穷其变,知不穷,得地上势。知变守恒却穷变知新,我认真理,我不认真。

技术相干订阅~
另外有 throws 闲杂频道 @dsuset
转载频道 @dsusep
极小可能会有批评zf的消息 如有不适可退出
suse小站(面向运气编程): https://WOJS.org/#/
Download Telegram
Forwarded from dnaugsuz
这么一看写 interpreter 鄙视写计算器/Q群命令 的人,真的挺Low的
parser 也只是 https://regex101.com/r/rA2aM6/1 这样的程度

compiler 我也不喜欢,觉得连SVG/ffmpeg filtergraph 的可视性都不如,复杂,不配当设计编程语言的。

如果你很聪明,就应该终身手写汇编,而不是制造过度设计。 像王垠说的道理一样
我觉得在 ShaderToy.com 画画的比玩操作系统、数据库、编译原理的牛逼多了, 一些C++民也一样,只是被Stroustrup和谭老登的「屎山最佳实践」拖累了
创作式编程没法加私货,因为一切都是可见的。 作者没法混淆「抽象」与「普适」来显得自己牛逼。 #plt #statement

https://t.me/dsuse/21117
https://t.me/dsuse/19868

当框架试图解决一个它不理解的问题时,复杂度就产成了。——Andy Boothe
业界总有两派程序设计方法,一派简洁真诚,明确不堆砌缺陷,一派繁复空洞,连缺陷设计都不明确——Hoare, 快速排序之父

说的道理这一块 😅
程序员对小众的东西,还是要去魅。 元编程TM 就是为了让tgbot、H5离线程序这些东西好写, 不能为了原而原 🤡
看过很多文章,写很多PoC,transplant,demo,最后还是学了个抽象。

其实学语言是学 API 、学组合学代换,如果编程语言已经是你的母语,那些「专业领域」的实践没有营养的。
我看到 Echo(x)=x, Counter(n=0,+1) 这些小学生都会玩的东西,才知道 http,dom/db 这些技术的价值,那并不是几本万字教程能包含的。
如果你学「计算机科学 #CS 」,但因此觉得自己比说出「人人皆可物理」的费曼更聪明,那你可能该扇自己一巴掌,因为你背叛了元「编程」对知识的组合与简化。 这是个经常「忘本」的领域。
Please open Telegram to view this post
VIEW IN TELEGRAM
1
duangsuse::Echo
以前我觉得淫王太啰嗦
https://en.wikiquote.org/wiki/Richard_Feynman 是人才,说的道理又好听,欠爱了 😅 #english
既然是学习学习,就叫元学习吧,有别于原神 🤪

“我不能创造的工具,我就不精通。”
“大家都努力地考试,也教下一代如何考试,然而大家却什么都不懂。”
“我觉得比起知道可能是错的答案,不知道反而更加有趣。” ("我的智慧不是懂不懂,是已知和未知")

“社会民众的态度是想要找到答案,而不是想要找到「有方法获得答案的人」。” (所加的私货)
“我不知道实际上怎样:最有趣的是,当你做了一些傻事时,会为了自我保护,而不知道自己的愚昧之处。”

“我很早就明白,知道一样事物(Know-how) 有别于懂得一堆事物的名字(Know-what)…… 但却忘记了名字是跟其他人沟通的重要工具。” (Not Ordinary Genius)

“我无法回答成年人的问题:通常他们只想知道一些新字眼的意义,尽管他们之前见过这些知识,其中的意义是他们永远不会了解的。我讨厌成年人,孩子才会对大自然充满好奇。”
“生活在一个不科学的年代,各种讯息连番轰炸,有些电视语言、书籍虽好,却都是不科学的:结果就是,有许多假借科学之名行事的「知识暴君」。” (学阀)

“事实证明:真理总是比你想象得还简单。
如果有个技巧你可以用数种完全不同的说法来描述,却没办法让人马上知道你在玩文字游戏,那这件事可能就是简单的。” (eg. 三体 「黑域」「光幕」「低光速黑洞」)

费曼认为,世界的美丽是每个人都可以看见的。但透过科学,除了世界外表上的美,我们更可以看见大自然运作的美丽。
“如果,在某次大灾难里,所有的科学知识都要被毁灭,但有一句话可以留存给新世代,哪个金句最有密度?
我相信那会是原子假说(或者原子真相,或者你爱怎么叫也可以):宇宙万物由原子构成……” (编程源于自顶向下和组合代换,但我们叫原子是“基本类型”)

“到了某个时刻,有些物种学习的速度会爆炸,就发生了前所未有的事。一只动物所学到的事物,迅速传递给同文同种,直到整个物种都不会失去这份学习内容。
如此这般,就可能开始累积价值。某些时刻,这个过程被称为‘传承’(time-binding)。”
当我小时候发现不是真有耶诞老人时,并不觉得沮丧,反而松了一口气。因为这样就更容易解释为何全世界有那么多小朋友可以在同一天晚上收到礼物了。 (区块链)

“物理学之于数学,就如同性爱之于自慰。” (性压抑了,牢大?)

“科学家也不全然是诚实的。多说无益。说到诚实,我的意思并非是你只能说真实的事情,而且,你还要搞清楚整个状况。你要弄清楚根源性的资讯。 ” (掩盖动机,丘比直呼内行)
“保持人性,并且站在学生这一边。”—《费曼手扎:不休止的鼓声》

作为技术人,我一直强调的是理论是自然界发明的,没有谁的妙手偶得,与产品和市场的关系一样。 我们是从框架里取出价值的米开朗基罗,不是堆砌历史包袱的总裁缝。

刚刚看到我的回答收到了一些赞,所以我补充一个点,他们这种用大量专业术语回答问题的同时,把语言暴力包装在专业术语之下,想把两个混合,达到自我满足的行为是非常不诚实,非常下头的,
这种人在各种行业都存在,叫做pseudo intellectual,离他们远一点即可。 具体的话我懒得去那个群里截图,早期的人应该都懂。
Please open Telegram to view this post
VIEW IN TELEGRAM
duangsuse::Echo pinned «https://en.wikiquote.org/wiki/Richard_Feynman 是人才,说的道理又好听,欠爱了 😅 #english 既然是学习学习,就叫元学习吧,有别于原神 🤪 “我不能创造的工具,我就不精通。” “大家都努力地考试,也教下一代如何考试,然而大家却什么都不懂。” “我觉得比起知道可能是错的答案,不知道反而更加有趣。” ("我的智慧不是懂不懂,是已知和未知") “社会民众的态度是想要找到答案,而不是想要找到「有方法获得答案的人」。” (所加的私货) “我不知道实际上怎…»
Forwarded from 科技圈🎗在花频道📮
Lean荣获2025 年度 SIGPLAN 编程语言软件奖

SIGPLAN 编程语言软件奖由 ACM SIGPLAN 颁发,旨在表彰开发出对编程语言研究、实现和工具产生重大影响的软件系统的机构或个人。这种影响可能体现在该系统或其底层概念被更广泛的编程语言社区广泛采用,无论是在研究项目、开源社区还是商业领域。

Lean 定理证明器是一款卓越的软件杰作。Lean 以其强大的理论和工程基础,已经并将继续对工业实践和科学研究产生广泛的影响。尤其值得一提的是,Lean 已经对数学、硬件和软件验证以及人工智能领域产生了重大影响。

Youtube | SIGPLAN

📮分享投稿 ☘️频道 🍵茶馆
Forwarded from 风向旗参考快讯
微软创始人比尔·盖茨与 Linux 创始人 Linus Torvalds 首次会面

令人震惊的是,尽管比尔·盖茨和林纳斯·托瓦兹都在科技行业耕耘了五十多年,但他们从未被拍到以友好姿态出现在公众面前。然而,这种僵局如今得以打破,两人被拍到均出席了微软 Azure 首席技术官马克·鲁西诺维奇举办的晚宴,在合影中旁边还有微软的NT内核和Azure的创始开发主管大卫·卡特勒。虽然两人会面的具体原因尚不清楚,但看到他们在一起仍然令人欣喜。或许,意识形态的差异是两人未能会面的主要原因,但除此之外,两人之间并无已知的敌意。根据鲁西诺维奇的说法,两人并未在本次会面中做出任何“重大的内核决策”。

—— wccftech
Forwarded from 科技圈🎗在花频道📮
剪映国际版更新协议引争议 用户内容默认授权字节跳动

字节跳动旗下视频剪辑工具剪映国际版 CapCut 于 6 月 12 日悄然更新使用条款,规定用户通过该软件编辑的任何素材将默认授予字节跳动不可撤销的全球使用许可。新条款涵盖视频、声音、面部等所有内容,字节跳动可将其用于广告和营销推广,无需预先通知用户或提供补偿。

条款还明确用户放弃事先检查或批准相关营销材料的权利,以及放弃隐私权、公开权等所有相关权利。即使用户注销账号,该授权协议仍然有效。业内人士提醒,创作者在使用前应仔细阅读条款内容,充分考虑潜在风险。

蓝点网

📮分享投稿 ☘️频道 🍵茶馆
$USDT #多 这是当然的!
(虽然我继续踏空……

@ https://t.me/dsuset/11954
duangsuse::Echo
$USDT #多 这是当然的! (虽然我继续踏空…… @ https://t.me/dsuset/11954
当时在设计infra,没有什么精力炒股, 就又错过一次 FIVE. 翻倍那样的好事🤪

按理说这次没有和科技股一样怀疑决策, USDC信托绝对是可以80%仓位猛干的

介于自己在美股之前表现不好,就没有特意来 #打新
完蛋,突然意识到自己和耄耋的UP白手套一样, 被「知识决定命运」了

没有精力,大不了可以全职编程,每天安排好两个小时看盘

+1.7x 还是仙品的KPI,比那个铁锈杂货铺、老铺黄金牛逼多了,而且算是领域内投资 可以重仓

我居然没有入场,可恶
没有从上次 #利多 吸取教训啊,记打不记吃
1
duangsuse::Echo
$USDT #多 这是当然的! (虽然我继续踏空…… @ https://t.me/dsuset/11954
not my fault, 家庭认知就很低😅 #life

至今有半数资产在大陆没转出来, +7% 的黄金股仓位就打折扣了

卡住他们的,仅仅是在银行App上填个表单的事…… 这点几下屏幕就值一两万块钱 ,一张高铁票,三天假期也是

就像我因为只会市价止盈止损,被限价坑了三万一样😅😅

他们把市价滑点0.5% 标出来我就不会用限价了, 非得搞日线或者多线程炒股吗😅
Please open Telegram to view this post
VIEW IN TELEGRAM
#rust #os yinwang 说的道理 😅😅
https://www.yinwang.org/blog-cn/2013/04/14/os-design

dnaugsuz:
诶,要是在libc或操作系统的程度把 unsafe ban 掉就好了

内存r/w都有struct可言

我能想到一个例子

比如对授信代码, union+tag, ptr+length 可以间接计算出来

其他的只允许用fatPtr双指针验证后调用

总之就是不允许用值类型+Maybe 以外的东西

不允许硬编码堆/栈地址,不允许自己捏造虚表来调用,不允许越界读写, 不允许通过addr缓存deepEq ID,并且造成一些无聊的误解

本来就不该信任的代码注入,就不该有虚拟机,而是靠沙箱, 就像 eBPF 用setInterval取代while(1)那样

哦,所以这又是一个C经验问题……

我看到过bpf插件在heap上搞 struct 不={} 的

应该是 .bss 的问题吧,不是new的
calloc 才是C喜欢的🥰
所有人都只用 malloc ,默认必须有构造器赋值码😂

C自己的对象结构(.so segments) 也是个神人

在我看来,这和JVM的OOP对象没区别, 只是更加难以创建

ld-linux 不该叫 dlopen(),该叫 new("xx.so") , PATH 或许也该叫classpath😂 ,只是它的API只支持换汇符流,没有json……

这玩意和线程vs携程一样, 基本上就是 Ring0/ userspace 的区别

结果却是,整个编程界重复造轮子 。

如果从C的程度就把这些 hack 视为 unsafe 的

根本就不会有把所有对象按 r/w/x 分割出堆/栈/静态/类型区 的做法

有 .so ELF 的时候他们就知道需要 constructor ,但是最后C还是只有全局按sizeof分配

而不是细粒度管理

就像 React vs Svelte 一样,没有人会蠢到用60fps检测一下“山寨DOM”更新了多少,然后去patch, 而是你点了1次,它就知道有2个text要刷新, 本该如此

一开始,该就分治好

Rust虽然语法挺原神的,API设计也没革命性, 在我看来它至少懂怎么规划变量树

而且UIUX做的不错
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from dnaugsuz
#code https://pastebin.com/LqSNNbfC
https://t.me/kotlin_cn/134204
想弄一个kt预处理期 编程语言

从昨晚只搞出个 py 缩进解析 🤪

不想写了,这周还有正事要弄
说起来也没有支持双向替换+中文的 gcc -E 啊
…… 都要自己写?
Forwarded from dnaugsuz
就为了看一眼带 hilight 的 ls -h
我还特意写了几个sh函数

那种感觉就像,知道只有 Python ctypes/cffi 被称为胶水语言一样可笑。
几乎,所有编程语言都能 native ,只有py的开箱即用。
跨语言桥接并不复杂,那群搞编译器的都做不好,套路上百行, sh就更烂了(双引号问题..)

PyJS赛高!!
@ https://t.me/kotlin_cn/134585
Forwarded from Solidot
Kubuntu 移除对 X11 的默认支持

2025-06-23 15:10 by 完美女孩

美好的时代总要过去。在 Ubuntu 之后 Kubuntu 发行版也决定移除对 X11 的默认支持,理由也差不多,为下一个长期支持版 Kubuntu 26.04 做准备。Kubuntu 25.10 是 26.04 前的一个过渡版本,让 25.10 和 26.04 保持一致有助于减少碎片化,让开发者和用户有更多时间准备和适应。Kubuntu 使用 KDE Plasma 桌面环境,和 GNOME 桌面环境项目情况相似,KDE 开发者明确表示未来的注意力将集中在 Wayland 上,X11 会继续维护直至其消失。KDE 开发者 Nate Graham 表示,X11 上的严重 bug 他们会去修复,但不严重的 bug 他们可能就放着不理了,除非有人付费给他们。Plasma 桌面目前还没有移除 X11 的明确时间表。

www.neowin.net/news/end-of-an-era-kubuntu-is-removing-default-support-for-x11-in-new-installs/
www.phoronix.com/news/KDE-Wayland-Is-The-Future

#KDE