Pinned
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
- donald trump
February 18, 2025 at 8:43 AM
"The Supreme Court blocked it, but that didn’t stop me."
- donald trump
- donald trump
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.
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
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.
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.
For my last programming project, I built a proof-of-concept borrow checker for #Ziglang:
github.com/ityonemo/clr
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
For my last programming project, I built a proof-of-concept borrow checker for #Ziglang:
github.com/ityonemo/clr
github.com/ityonemo/clr
just finished my last github repo =( #elixirlang #ziglang
February 2, 2025 at 9:57 PM
just finished my last github repo =( #elixirlang #ziglang
January 29, 2025 at 4:02 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
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
I just ordered a 744-BP synthetic gene for $144. Times have changed.
January 3, 2025 at 11:35 PM
I just ordered a 744-BP synthetic gene for $144. Times have changed.
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
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
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.
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
FYI Roommates.com is officially running #ElixirLang in production. Go check it out!
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
quantum AI, except the "quantum" is using complex-valued activations and weights
December 13, 2024 at 4:22 AM
quantum AI, except the "quantum" is using complex-valued activations and weights
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
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