Sign in

Isaac

@dnautics.bsky.social
428 followers 55 following 105 posts

Founder a la Mode

PostsRepliesMedia
Isaac @dnautics.bsky.social · 08/02/2025
pcr skillz😌✅
010
Isaac @dnautics.bsky.social · 08/02/2025
vim ❌ emacs ❌ vscode ❌
020
Isaac @dnautics.bsky.social · 28/01/2025
with refinement type analysis, it's possible to track units in #ziglang
020
Isaac @dnautics.bsky.social · 14/01/2025
"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
060
Isaac @dnautics.bsky.social · 08/01/2025
home molbio lab LFG!!
010
Isaac @dnautics.bsky.social · 31/12/2024
and here's attempting to free stack memory:
000
Isaac @dnautics.bsky.social · 31/12/2024
oops, i freed with the wrong allocator:
110
Isaac @dnautics.bsky.social · 31/12/2024
double free detection (note the other message is a *runtime* message, there's a race condition as the program runs faster than the checker 😆):
110
Isaac @dnautics.bsky.social · 31/12/2024
basic #ziglang use after free detection
280
Isaac @dnautics.bsky.social · 30/12/2024
and also when you pass pointer to "undefined". This is a useful pattern for "setter" functions
000
Isaac @dnautics.bsky.social · 30/12/2024
here is static analysis analyzing AIR and detecting "undefined" use in #ziglang .
110
Isaac @dnautics.bsky.social · 30/12/2024
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.
040
Isaac @dnautics.bsky.social · 30/12/2024
reposting @dnautics.bsky.social predictions. LCDM looks to be about to lose the lambda to Timescapes theory
000
Isaac @dnautics.bsky.social · 28/12/2024
fewer genocides under her belt:
000
Isaac @dnautics.bsky.social · 10/12/2024
000
Isaac @dnautics.bsky.social · 03/12/2024
Don't worry, I promise to maintain zigler till 1.0
1221
Isaac @dnautics.bsky.social · 22/11/2024
fine-tuning llms on #elixirlang is most definitely a thing: (before/after)
130
Isaac @dnautics.bsky.social · 20/11/2024
Can't wait to do mine in a year and half
110
Isaac @dnautics.bsky.social · 20/11/2024
cookin'
010
Isaac @dnautics.bsky.social · 14/11/2024
I hate python so much, but it is doing the thing
000
Isaac @dnautics.bsky.social · 13/11/2024
attempt #1 at lora-training 💀 OOM
330
Isaac @dnautics.bsky.social · 12/11/2024
cooking
030
Isaac @dnautics.bsky.social · 11/11/2024
020
Isaac @dnautics.bsky.social · 02/11/2024
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.
000
Isaac @dnautics.bsky.social · 02/11/2024
100