Isaac @dnautics.bsky.social · 27/02/2025proof of concept safety for zig: www.youtube.com/watch?v=ZY_Z...youtube.comClr: proof of concept compile-time safety for ZigYouTube video by E-xyza 120
Isaac @dnautics.bsky.social · 18/02/2025"The Supreme Court blocked it, but that didn’t stop me." - donald trump 000
Isaac @dnautics.bsky.social · 17/02/2025highly suggested civics lesson for the era (yes, this is how it works): youtu.be/n1KgxqEQn0A?...youtu.beIs The Penny *Finally* Dead?YouTube video by CGP Grey 000
Isaac @dnautics.bsky.social · 15/02/2025I'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.beI was asked to keep this confidentialYouTube video by Sabine Hossenfelder 000
Isaac @dnautics.bsky.social · 03/02/2025For my last programming project, I built a proof-of-concept borrow checker for #Ziglang: github.com/ityonemo/clrgithub.comGitHub - ityonemo/clr: Checker for Lifetimes and other Refinement typesChecker for Lifetimes and other Refinement types. Contribute to ityonemo/clr development by creating an account on GitHub. 160
Isaac @dnautics.bsky.social · 02/02/2025just finished my last github repo =( #elixirlang #ziglang 340
Isaac @dnautics.bsky.social · 29/01/2025has anyone put tailscale on #elixirlang #nerves? maybe @fhunleth.bsky.social knows? 340
Isaac @dnautics.bsky.social · 28/01/2025with 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 · 03/01/2025I just ordered a 744-BP synthetic gene for $144. Times have changed. 020
Isaac @dnautics.bsky.social · 03/01/2025my 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 100
Isaac @dnautics.bsky.social · 30/12/2024here is static analysis analyzing AIR and detecting "undefined" use in #ziglang . 110
Isaac @dnautics.bsky.social · 30/12/2024It'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
Reposted by IsaacTim Hansen @timhansen.io · 29/12/2024FYI Roommates.com is officially running #ElixirLang in production. Go check it out!roommates.comThe #1 Roommate Finder in the USA, Since 2003Discover the easiest way to find a compatible roommate or the perfect room to rent. 1265
Isaac @dnautics.bsky.social · 30/12/2024reposting @dnautics.bsky.social predictions. LCDM looks to be about to lose the lambda to Timescapes theory 000
Isaac @dnautics.bsky.social · 13/12/2024quantum AI, except the "quantum" is using complex-valued activations and weights 100
Isaac @dnautics.bsky.social · 22/11/2024fine-tuning llms on #elixirlang is most definitely a thing: (before/after) 130
Isaac @dnautics.bsky.social · 04/11/2024after playing around with vllm's function calling interface, i can safely say "it's no better than telling the llm to `respond with JSON` in the system prompt" 000
Isaac @dnautics.bsky.social · 04/11/2024erlang's undefined is a worse version of elixir's nil #isaidit 010
Isaac @dnautics.bsky.social · 02/11/2024I'm playing around with building an elixir-first LLM. This is an LLM that is trained on elixir code. Looking for someone to try it out for me. Should be in a "first usable state" in about 2 weeks. Any guinea pigs? 200
Isaac @dnautics.bsky.social · 27/10/2024Phi-3-mini-4k-instruct 😑 ``` defmodule Fibonacci do def loop(0) do [0] end def loop(1) do [1, 1] end def loop(n) do a = 0 b = 1 fibs = [a, b] i = 2 while i < n do a = b b = a + b push fibs, b i = i + 1 end fibs end end ``` 000
Isaac @dnautics.bsky.social · 27/10/2024today: - f'd around with amd 125m. terrible model. - went through LORA fine tuning exercise (will take a look tomorrow) - found a few SLMs that might be good to build an #elixirlang LLM (phi-3-mini, replit-code) 010
