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

技术相干订阅~
另外有 throws 闲杂频道 @dsuset
转载频道 @dsusep
极小可能会有批评zf的消息 如有不适可退出
suse小站(面向运气编程): https://WOJS.org/#/
Download Telegram
国内刻的芯片也基本都是外国授权的,ARM 系列 RISC 根本不算开源硬件
不知道国产的 Loongson 龙芯有没有带好头,别和大疆似的...
LS 是 MIPS 架构的,也是属于商业授权
毕竟芯片现在也还是核心技术难以开源
软件上 LLVM 和 GCC 俩著名原生编译器框架都是开源的,还都带高端优化
Forwarded from 荔枝木
SQL 教你如何 +1s
荔枝木
SQL 教你如何 +1s
SELECT DATEPART(SECOND, GETDATE()) + 1
https://rakudo.org/ #PL

Perl 6 实现 Rakudo “驼道” 出新,官网(

Rakudo Perl 6 – Perl 6 on MoarVM and the JVM
"Rakudo" is short for "Rakuda-dō" (with a long 'o'; 駱駝道), which is Japanese for "Way of the Camel". "Rakudo" (with a short 'o'; 楽土) also means "paradise" in Japanese.
Forwarded from 每日 Rikka 收集 (Al Pt)
因为手册已经写好的缘故,欢迎有时间的人来帮助完成 Gekyll,现在项目管理方面已经无需操心了

只需要写下 Ruby 实现即可
duangsuse::Echo pinned «因为手册已经写好的缘故,欢迎有时间的人来帮助完成 Gekyll,现在项目管理方面已经无需操心了 只需要写下 Ruby 实现即可»
duangsuse::Echo
🏃 Sticker
士别三日,水平和冰冰依然是天上地下(

人家在倒腾逻辑式 Agda 我还在写第一个解释器、类型论不熟儿童书尚未看完 C++ 才写几行代码

LLVM 暂时入门熟悉度 C# 只是 Java 水平的理解
This media is not supported in your browser
VIEW IN TELEGRAM
赶不上牛人,只好自己咸鱼(