lyzh
13 posts

lyzh
@imlyzh
ProgrammingLanguage & Optimizing Compiler & AI Compiler & Computer Architecture
Katılım Temmuz 2017
131 Takip Edilen84 Takipçiler

@VictorTaelin Finally, I would like to ask a question: In addition to type tags, how does inet use native data and data structures?
English

@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

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

@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

2021年我会认为数学代表科学理论,编程语言代表工程技术。现代科技的基础是数学与编程语言。而最近刷新了认知:科学理论和工程技术正在融合,融合完成后的结果将是编程语言是整个现代科技的基石,数学也建立在编程语言之上。
xushiwei@xushiwei
2021年我曾说,编程语言是人类发展几千年后才出现的、更高阶的文明密码。最近对这句话有了新的体会。
中文

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
lyzh retweetledi








