Personal channel of @lancern
Topics: programming, hacking, memes, life, and more. Forward anything as you wish.
Join the discussion group for more fun.
Discord: https://discord.gg/RwUx9et7
Topics: programming, hacking, memes, life, and more. Forward anything as you wish.
Join the discussion group for more fun.
Discord: https://discord.gg/RwUx9et7
https://www.phoronix.com/news/LLVM-Merge-TySan-Type-Sanitizer
Phoronix
LLVM Merges TySan As Sanitizer For Type-Based Aliasing Violations
The LLVM compiler stack offers a number of sanitizers like the AddressSanitizer, MemorySanitizer, UndefinedBehaviorSanitizer, and others for detecting different coding issues like data races, memory addressing issues, use of uninitialized memory, and more
Estimating projects sells them short (and that's okay)
https://www.ntietz.com/blog/estimating-projects-short-sale/
Keywords: project management, risk control
https://www.ntietz.com/blog/estimating-projects-short-sale/
Keywords: project management, risk control
今日手脑不一致
大脑：bootlin, bootlin, bootlin
手：kotlin
大脑：bootlin, bootlin, bootlin
手：kotlin
https://www.phoronix.com/news/AMD-Standard-C-Code-GPUs
Phoronix
How AMD Is Taking Standard C/C++ Code To Run Directly On GPUs
Back at the 2024 LLVM Developers' Meeting was an interesting presentation by AMD engineer Joseph Huber for how they have been exploring running common, standard C/C++ code directly on GPUs without having to be adapted for any GPU language / programming dialects…
A ChatGPT clone, in 3000 bytes of C, backed by GPT-2 (2023) https://nicholas.carlini.com/writing/2023/chat-gpt-2-in-c.html
"There is one who could unite them, one who could reclaim the throne of Gondor." (Gandalf)
This is a joint work with @lancern to provide:
1. A MLIR-based GCCJIT frontend, such that user can use stable IR representation to manipulate GCCJIT
2. A GCCJIT-based MLIR backend, such that MLIR dialects can be compiled with GCC optimization and special targets
3. A new approach to do line-by-line debug of MLIR (WIP)
We made our first release today, covering almost all the features of GCCJIT as in GCC14. It is in an experimental stage without solid type checking and verification, but we will continue working on it!
Take a look and have fun!
https://github.com/Lancern/mlir-gccjit
This is a joint work with @lancern to provide:
1. A MLIR-based GCCJIT frontend, such that user can use stable IR representation to manipulate GCCJIT
2. A GCCJIT-based MLIR backend, such that MLIR dialects can be compiled with GCC optimization and special targets
3. A new approach to do line-by-line debug of MLIR (WIP)
We made our first release today, covering almost all the features of GCCJIT as in GCC14. It is in an experimental stage without solid type checking and verification, but we will continue working on it!
Take a look and have fun!
https://github.com/Lancern/mlir-gccjit
GitHub
GitHub - Lancern/mlir-gccjit: MLIR dialect for libgccjit
MLIR dialect for libgccjit. Contribute to Lancern/mlir-gccjit development by creating an account on GitHub.
Cursed linear types in Rust
Comments
via geo-ant.github.io via jmillikin
Comments
via geo-ant.github.io via jmillikin
geo-ant.github.io
Cursed Linear Types In Rust
Inspired by Jack Wrenn’s post on Undroppable Types
in Rust, I set out to see if it’s possible to create types that must be used exactly
once. From my understanding, those things are called linear types, but
don’t quote me on that1.
Unless…
in Rust, I set out to see if it’s possible to create types that must be used exactly
once. From my understanding, those things are called linear types, but
don’t quote me on that1.
Unless…
