lyzh

13 posts

lyzh

lyzh

@imlyzh

ProgrammingLanguage & Optimizing Compiler & AI Compiler & Computer Architecture

Katılım Temmuz 2017
131 Takip Edilen84 Takipçiler
ChaosAttractor (Additional Lifecycle Maintenance)
糖厂: 好笑程度 10% FPGA: 好笑程度 100% Software Defined: 好笑程度 10000% 充电器卖License: 好笑程度 100000000% 也就是说你需要花950块钱才能完整使用这款充电器,而且License里的很多功能还是期货🤣
ChaosAttractor (Additional Lifecycle Maintenance) tweet media
中文
36
10
191
43.8K
lyzh
lyzh@imlyzh·
@VictorTaelin Finally, I would like to ask a question: In addition to type tags, how does inet use native data and data structures?
English
0
0
0
16
lyzh
lyzh@imlyzh·
@VictorTaelin To handle these issues, you need to keep sorting inets during runtime - this is to solve locality problems and thread bundle divergence problems, and chunking - this is to make use of the scratchpad, which is optional.
English
1
0
0
26
Taelin
Taelin@VictorTaelin·
RELEASE DAY After almost 10 years of hard work, tireless research, and a dive deep into the kernels of computer science, I finally realized a dream: running a high-level language on GPUs. And I'm giving it to the world! Bend compiles modern programming features, including: - Lambdas with full closure support - Unrestricted recursion and loops - Fast object allocations of all kinds - Folds, ADTs, continuations and much more To HVM2, a new runtime capable of spreading that workload across 1000's of cores, in a thread-safe, low-overhead fashion. As a result, we finally have a true high-level language that runs natively on GPUs! Here's a quick demo:
English
456
2K
15.2K
2.8M
lyzh
lyzh@imlyzh·
@slydisciple @bjornpagen @friedberg Therefore, business traffic in China is very, very expensive, but residential networks and traffic are very cheap. Many businesses complain about this.
English
1
0
0
24
lyzh
lyzh@imlyzh·
@xushiwei 你有看过Lean4代码吗
中文
0
0
0
19
xushiwei
xushiwei@xushiwei·
2021年我会认为数学代表科学理论,编程语言代表工程技术。现代科技的基础是数学与编程语言。而最近刷新了认知:科学理论和工程技术正在融合,融合完成后的结果将是编程语言是整个现代科技的基石,数学也建立在编程语言之上。
xushiwei@xushiwei

2021年我曾说,编程语言是人类发展几千年后才出现的、更高阶的文明密码。最近对这句话有了新的体会。

中文
3
1
4
2.6K
Josh Miller
Josh Miller@joshm·
A modern URL bar (in @diabrowser): • Page Title not "/2025/12/seo-spam" gibberish • Space on both sides of "/" for readability • Hover to reveal & edit URL • Emphasize domain for trust+security Dia isn't just AI. It's refined browser basics too, @browsercompany style.
English
740
66
2.8K
1.7M
lyzh
lyzh@imlyzh·
公司发的1024节礼物 谢谢@lemon_hx
lyzh tweet media
中文
1
1
17
1.9K
lyzh retweetledi
Monsoon
Monsoon@ukitheocog·
可能仍然有很多人不了解,全世界科研人员都要感谢的一个女性,以及她以社会主义理想对学术界资本的反抗。 现在越来越大规模的预印本平台也继承了这种理念。
Monsoon tweet mediaMonsoon tweet mediaMonsoon tweet media
中文
20
179
895
104.4K