Isaac
dnautics.bsky.social
Isaac
@dnautics.bsky.social
Founder a la Mode
Pinned
Don't worry, I promise to maintain zigler till 1.0
proof of concept safety for zig:

www.youtube.com/watch?v=ZY_Z...
Clr: proof of concept compile-time safety for Zig
YouTube video by E-xyza
www.youtube.com
February 27, 2025 at 10:32 PM
"The Supreme Court blocked it, but that didn’t stop me."
- donald trump
February 18, 2025 at 8:43 AM
highly suggested civics lesson for the era (yes, this is how it works):

youtu.be/n1KgxqEQn0A?...
Is The Penny *Finally* Dead?
YouTube video by CGP Grey
youtu.be
February 17, 2025 at 7:40 PM
I'm here for dark sabine

youtu.be/shFUDPqVmTg?...

if douglas prasher (discoverer of GFP) could survive driving a courtesy van at a toyota dealership in huntsville, TeV physicists will find a way to survive too.
I was asked to keep this confidential
YouTube video by Sabine Hossenfelder
youtu.be
February 15, 2025 at 5:57 PM
pcr skillz😌✅
February 8, 2025 at 7:24 PM
vim ❌
emacs ❌
vscode ❌
February 8, 2025 at 7:20 PM
For my last programming project, I built a proof-of-concept borrow checker for #Ziglang:

github.com/ityonemo/clr
GitHub - ityonemo/clr: Checker for Lifetimes and other Refinement types
Checker for Lifetimes and other Refinement types. Contribute to ityonemo/clr development by creating an account on GitHub.
github.com
February 3, 2025 at 10:01 PM
just finished my last github repo =( #elixirlang #ziglang
February 2, 2025 at 9:57 PM
has anyone put tailscale on #elixirlang #nerves?
maybe
@fhunleth.bsky.social knows?
January 29, 2025 at 4:02 PM
with refinement type analysis, it's possible to track units in #ziglang
January 28, 2025 at 4:20 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
January 14, 2025 at 8:37 PM
home molbio lab LFG!!
January 8, 2025 at 4:15 PM
I just ordered a 744-BP synthetic gene for $144. Times have changed.
January 3, 2025 at 11:35 PM
my gripe with the #elixirlang typesystem is that if you want checking against structs in your function header, you must specify the struct module, which creates an extra map lookup in the function call
January 3, 2025 at 5:22 PM
basic #ziglang use after free detection
December 31, 2024 at 12:10 AM
here is static analysis analyzing AIR and detecting "undefined" use in #ziglang .
December 30, 2024 at 7:16 PM
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
Reposted by Isaac
FYI Roommates.com is officially running #ElixirLang in production. Go check it out!
The #1 Roommate Finder in the USA, Since 2003
Discover the easiest way to find a compatible roommate or the perfect room to rent.
Roommates.com
December 29, 2024 at 7:52 PM
reposting @dnautics.bsky.social predictions. LCDM looks to be about to lose the lambda to Timescapes theory
December 30, 2024 at 1:10 AM
quantum AI, except the "quantum" is using complex-valued activations and weights
December 13, 2024 at 4:22 AM
Don't worry, I promise to maintain zigler till 1.0
December 3, 2024 at 6:13 PM
fine-tuning llms on #elixirlang is most definitely a thing:

(before/after)
November 22, 2024 at 12:15 AM
cookin'
November 20, 2024 at 6:53 PM
I hate python so much, but it is doing the thing
November 14, 2024 at 8:04 PM
attempt #1 at lora-training 💀 OOM
November 13, 2024 at 3:25 AM