Isaac @dnautics.bsky.social · 05/07/2025its not and if you think it is, that is quite literally white privilege. 100
Isaac @dnautics.bsky.social · 05/07/2025the intellectual dishonesty is screaming loud. we all know what those boxes are for. 100
Isaac @dnautics.bsky.social · 05/07/2025is it the truth? did the times do followup to verify? is it something people should know? those should be your standard for journalistic integrity. if those aren't your standards, then, yes, you are correct. we are cooked. 100
Isaac @dnautics.bsky.social · 05/07/2025did you not read the thread? they contacted the campaign and the campaign confirmed it. 100
Isaac @dnautics.bsky.social · 27/02/2025discuss on hn: news.ycombinator.com/item?id=4319...news.ycombinator.comHacker News 000
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 · 25/02/2025@vastcnc.bsky.social github.com/ityonemo/clr if you're curiousgithub.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. 000
Isaac @dnautics.bsky.social · 24/02/2025decided to go with a different project for my last thing in tech 110
Isaac @dnautics.bsky.social · 18/02/2025I'm not obsequious to russia. fuck putin, he should pay for invading Ukraine. You're just mad I'm equipped with facts. 100
Isaac @dnautics.bsky.social · 18/02/2025trump (I) and biden have been the only presidential terms in living memory to not extend the list of countries the US is invading or attacking, for example. 100
Isaac @dnautics.bsky.social · 18/02/2025i think they're both good. so, you will have to pardon me if i cant understand an unqualified characterization of something as obviously bad. 100
Isaac @dnautics.bsky.social · 18/02/2025we already have a business relationship with russia. its called the ISS. collaborative activities there have continued untouched throughout the invasion of Ukraine. 100
Isaac @dnautics.bsky.social · 18/02/2025> obviously horrific and damaging care to elaborate more? much of Biden's foreign policy was a tacit extension of Trump's. 000
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 · 15/02/2025love to hear it. I'm sorry (but happy for you) that i don't have time to make it mysrlf. 110
Isaac @dnautics.bsky.social · 13/02/2025this argument holds water if you can show me where in the constitution it says prosecutors have a duty to prosecute. i see a lot of places where it says prosecutors must not prosecute, but none where it says prosecutors must. 000
Isaac @dnautics.bsky.social · 06/02/2025its definitely a smell. Probably most things that are like this could be replaced by a telemetry handler. but i get the convenience 120
Isaac @dnautics.bsky.social · 03/02/2025discuss on hn: news.ycombinator.com/item?id=4292...news.ycombinator.comShow HN: CLR, POC borrow checker for Zig | Hacker News 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 · 02/02/2025I mean put it on the linux that runs underneath nerves on, say, an embedded rpi 110
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/2025unless it yields that authority, which it has been doing for the last many decades. 120
Isaac @dnautics.bsky.social · 28/01/2025with refinement type analysis, it's possible to track units in #ziglang 020
Isaac @dnautics.bsky.social · 15/01/2025What are phillipines and vietnam, chopped liver? sliced salami? 000
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 · 07/01/2025haha be glad i didnt pick `const name = fn(...) type { ... }` or else youd be forced to say zig looks like js 100
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/2025j/k maybe a first step would be making @spec be a warning? IDK. It's worth trying to do it without introducing further complexity IMO 110
Isaac @dnautics.bsky.social · 03/01/2025> you could have people getting thousands of type errors when upgrading I fail to see the problem 200
Isaac @dnautics.bsky.social · 03/01/2025so the elixir compiler ALREADY special-cases and transforms @spec from elixir-typespecs to erlang typespecs. It wouldn't be crazy to be able to handle both old elixir typespecs and new ones simultaneously. 110
Isaac @dnautics.bsky.social · 03/01/2025presumably. I sincerely hope the path forward with elixir spec'cing is to just use the @spec thing and downconvert to dialyzer typespecs. The $ thing is horrible 120
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 · 31/12/2024And yet there are indeed scots in this world. The essay was written in 1888. No regime had yet accepted marxism. Tucker's point is about regimes *that will be inspired* by marx. Which did eventually exist. And did do the things he predicted. 200
Isaac @dnautics.bsky.social · 31/12/2024double 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 · 30/12/2024and also when you pass pointer to "undefined". This is a useful pattern for "setter" functions 000
