dnautics

9 ms·

181.
by dnautics 3mo ago
no. You don't need private fields. All you have to do is analyze the code, harness the compiler to generate a time-dependent data dependency graph, and map allocation/frees/uses, if you can 'color' branches where
182.
by dnautics 3mo ago
> It's impossible to add a borrow checker to any existing language. Why do you say that. Have you tried and failed? It seems to be possible to add a borrow checker to zig, just as you can add MIRI to rust to get extra safety in un
183.
by dnautics 3mo ago
no, it would not. If you do not believe me, you should try out the repo.
184.
by dnautics 3mo ago
> how about from the other direction, adding some kind of borrow checker to Zig? That sounds more within reach and practically achievable, possibly even in userland. It's doable, and as static analysis. see sibling comment.
185.
by dnautics 3mo ago
> if only somehow we could get Rust's safety with all of Zig's features i periodically throw my unused codex tokens at this: https://github.com/ityonemo/clr
186.
by dnautics 3mo ago
harnesses i suspect are better for noncoding tasks like wrapping claude code to be a personal assistant... but im still procrastinating on building mine... if only i had a personal assistant to tell me how much time i should spend on buil
187.
by dnautics 3mo ago
> more like incremental belief building than "thinking ahead of time" concretely, what's the difference here? (I suppose you could define "thinking ahead of time" as explicitly using something like "thinking
188.
by dnautics 3mo ago
> We are about to enter a new era, however, where funding for grants can be axed while the research is in flight if the administration decides that they don't like what's being researched if you care about science not being pol
189.
by dnautics 3mo ago
is there like a list of things that government is responsible for, or is it just vibes? if not, how is that not rife for abuse? > Trying to piecemeal fund all these studies and turning science into a game of advertising and begging for
190.
by dnautics 3mo ago
update: it turns out the parent org hasn't set up donations for this sub org, so i donated to climate action instead (also under the parent org)
191.
by dnautics 3mo ago
do you care about climate data? then pay. or else you dont actually care enough to be inconvenienced. put up or shut up. i care, so I'll start. will make a $15 donation (as soon as i figure out how)
192.
by dnautics 3mo ago
nice strawman. we're obviously talking about greenfield developmen, and then, probably not in corposlop environments.
193.
by dnautics 3mo ago
building for yourself (or a few people) is amazing! and AI coding really makes this tractable.
194.
by dnautics 3mo ago
> A true competitor would need to offer genuine extra value, such as dependent types or other formal verification features, to carve out a niche. believe it or not it is generally easy to do this with zig with few modifications (WIP), an
195.
by dnautics 3mo ago
you write D-lang and all I can think of is too much nonsense you have to tell a team (an LLM?) to avoid the temptation to use.
196.
by dnautics 3mo ago
> the Zig people are really just concerned that maybe Zig itself is a DOA language because it doesn't offer enough over C I don't think anyone who actually uses zig thinks "it doesn't offer enough over C". Remov
197.
by dnautics 3mo ago
architecture matters more. at least for now, you should watch (not babysit) your agent, because it will slop up your architecture while you're not looking.
198.
by dnautics 3mo ago
I'm watching because I'm particular about architecture. current project (company runs on it, its jira-lite + obsidian + benchling + a lab notebook, mendeley + a lims + a hardware kiosk that uploads scientific measurements directl
199.
by dnautics 3mo ago
> I can't imagine using a language without a good type system have you tried? i use elixir and carefully watch the agents and its very seldom making typing mistakes (elixir is in-between, it's typed but only as a checker). ulti
200.
by dnautics 3mo ago
i think drip pricing was already cracked down on by the FTC as of 2025
201.
by dnautics 3mo ago
> No, the value is that Erdos's name is attached to it. That's unnecessarily reductive. you could have said "most of the value is that erdos' name is attached to it"
202.
by dnautics 3mo ago
despite being theoretical i would have greatly benefitted in learning linear algebra if i had seen even one or two not-obvious applications, like galois fields for reid solomon erasure coding.
203.
by dnautics 3mo ago
i looked it up and at least the evergrande ceo seems to have bern fined to the point where he had to declare bankruptcy (as of a few months ago, my information is old), so i guess he did find some justice (i think hes not very bright and wa
204.
by dnautics 3mo ago
> nor did the 3000 pigs in the river people, and nor did that one group of executives who were in charge of a fertilizer/chemical plant What about the bridge falling down people, or the overpromised scam apartment people, or the tun
205.
by dnautics 3mo ago
yeah since when does "saving face" not happen in the West? Isn't there a war in europe that's been going on for four-ish years now that essentially a face-saving operation that has killed nearly a million?
206.
by dnautics 3mo ago
luckily the phrase gp wrote was: "caught and punished" So, zero tolerance cannot be known without correct stats on both catching and punishing. so it is, indeed unknowable.
207.
by dnautics 3mo ago
i mean this is feeling too but im too paranoid and frequently do refactoring and code organization passes and never don't do it, so i cant say i know for sure there is a delta. though people who complain that llms aren't that gr
208.
by dnautics 3mo ago
Austria! nothing bad came from Austria
209.
by dnautics 3mo ago
It's generally possible to epimerize l-amino acids to d- (or functionalize glycine) but you're competing with nonmirror life at that point. plus bacteria will love love love the d-alanine you make
210.
by dnautics 3mo ago
the left handed life thing is the only thing that makes me wonder about Adamala's judgement... there zero plausible mechanism for left handed life to succesfully compete. in case you didn't know, your immune system WILL detect le

More ›