"ownership" tracking in #ziglang is possible via analysis of AIR.
The first line is the runtime detection and the red error is the compile-time detection
The first line is the runtime detection and the red error is the compile-time detection
January 14, 2025 at 8:37 PM
"ownership" tracking in #ziglang is possible via analysis of AIR.
The first line is the runtime detection and the red error is the compile-time detection
The first line is the runtime detection and the red error is the compile-time detection
and here's attempting to free stack memory:
December 31, 2024 at 4:20 PM
and here's attempting to free stack memory:
oops, i freed with the wrong allocator:
December 31, 2024 at 4:06 PM
oops, i freed with the wrong allocator:
double free detection (note the other message is a *runtime* message, there's a race condition as the program runs faster than the checker 😆):
December 31, 2024 at 3:50 PM
double free detection (note the other message is a *runtime* message, there's a race condition as the program runs faster than the checker 😆):
and also when you pass pointer to "undefined". This is a useful pattern for "setter" functions
December 30, 2024 at 7:42 PM
and also when you pass pointer to "undefined". This is a useful pattern for "setter" functions
It's possible to do static analysis on #ziglang AIR to detect stack pointer escapes. Should also be possible to track lifetimes of heap-allocated pointers (preventing double free and UAF), prevent "undefined" use, and do other "dependent type" things like units, etc.
December 30, 2024 at 4:22 AM
It's possible to do static analysis on #ziglang AIR to detect stack pointer escapes. Should also be possible to track lifetimes of heap-allocated pointers (preventing double free and UAF), prevent "undefined" use, and do other "dependent type" things like units, etc.
reposting @dnautics.bsky.social predictions. LCDM looks to be about to lose the lambda to Timescapes theory
December 30, 2024 at 1:10 AM
reposting @dnautics.bsky.social predictions. LCDM looks to be about to lose the lambda to Timescapes theory
fewer genocides under her belt:
December 28, 2024 at 3:46 AM
fewer genocides under her belt:
Don't worry, I promise to maintain zigler till 1.0
December 3, 2024 at 6:13 PM
Don't worry, I promise to maintain zigler till 1.0
November 22, 2024 at 12:15 AM
Can't wait to do mine in a year and half
November 20, 2024 at 9:09 PM
Can't wait to do mine in a year and half
I hate python so much, but it is doing the thing
November 14, 2024 at 8:04 PM
I hate python so much, but it is doing the thing
attempt #1 at lora-training 💀 OOM
November 13, 2024 at 3:25 AM
attempt #1 at lora-training 💀 OOM
Currently the big problem with climate change is China, which just brought online several coal pants. "being hooped" on climate change depends on if Kamala or Trump is willing to call out china on what they're doing. I honestly don't know who is better.
November 2, 2024 at 10:03 PM
Currently the big problem with climate change is China, which just brought online several coal pants. "being hooped" on climate change depends on if Kamala or Trump is willing to call out china on what they're doing. I honestly don't know who is better.
