dnautics

7 ms·

121.
by dnautics 2mo ago
> I think it's the best language for LLMs because of the type system? i work in ~dynamically typed language and the llms almost never make a type error.
122.
by dnautics 2mo ago
personally i think you should just have a separate proof language that doesn't also try to be a programming language and build a bridge between them (ideally as a compilation target). anyways im working on this with my spare opus toke
123.
by dnautics 2mo ago
i find Zig does it fairly well. there is also no ambiguity between pointer and multiply.
124.
by dnautics 2mo ago
that is one way things can be structured, yes.
125.
by dnautics 2mo ago
the verb you used was "lasts" not "intended".
126.
by dnautics 2mo ago
there are departments where it's the only way to get a masters, and it's nothing to do with foreign students paying, and i suspect more to do with lawsuit evasion for exploitative working cobditions and mutual nondisparagement
127.
by dnautics 2mo ago
because its good to have people not be misled by absolute statements like this "No MS lasts 3-4 years" that are simply incorrect. do you enjoy being a source of misinformation?
128.
by dnautics 2mo ago
sometimes an institution will give an ms as a consolation prize for time spent not being able to finish a phd [0]. in those cases they can be upwards of 5 years, but they certainly aren't industry driven [0] often a leadership or pers
129.
by dnautics 2mo ago
(wip) https://github.com/ityonemo/clr
130.
by dnautics 2mo ago
lifetimes are not the only way to check safety. you just need to detect conflicts in the data dependency graph, lifetimes are in some way an overspecification (for safety, there are autoaliasing advantages). i suspect agnostic conflict de
131.
by dnautics 2mo ago
no. let me be clearer; it is possible to intercept zigs ir from the compiler NOW (well, 15.2 proven) and have a third party package do borrow checking from the data that flow through, without changing zig (think "how miri works without
132.
by dnautics 2mo ago
just staple a borrow checker to zig. it seems pretty doable as per my experiments
133.
by dnautics 2mo ago
zig creates an ir that you can use to do data dependency analysis and borrow checking.
134.
by dnautics 2mo ago
what if two models access disjoint sets of fields (like a Data.Admin and Data.User)
135.
by dnautics 2mo ago
> under-appreciated programming ecosystem idk, for a long time nswag was the openapi framework and it was atrocious and had many core issues that were unresolved for almost a decade. it came to where i implemented an api with something
136.
by dnautics 2mo ago
automatic migrations terrifies me. i use elixir/ecto. just write a migration! besides, some times you might want more than one schema for a db table (e.g. one with minimal information, for menus, dropdowns etc, and one with full info
137.
by dnautics 3mo ago
it seems like a reasonable enterprise to intercept the data dependency graph from the zig compiler and subject it to analysis to prove memory safety parameters: (my wip experiment: ) https://github.com/ityonemo/clr
138.
by dnautics 3mo ago
i find that the easiest way to make sure you have robust tests is to do strict red/green cycles for each feature and bugfix in your codebase.
139.
by dnautics 3mo ago
> But also, it should theoretically be very easy for a compiler to avoid those problems in Zig, too, if you are using the language the way it wants to be used. agreed. in my side project im tinkering with a memory safety checker in zig
140.
by dnautics 3mo ago
i did not say "Impossible to detect"! in practice the exponential explosion of options may become intractable. lets say you have 10 compilation flags with 10 options each. not syre you want the compiler scanning through all that
141.
by dnautics 3mo ago
hard to detect. what if a whole code branch is used by macos and you're on x86?
142.
by dnautics 3mo ago
"better" - for whom? will it cause problems if, for example you are writing scientific code?
143.
by dnautics 3mo ago
> maybe functions that don't actually support actual vector execution just shouldn't work on vector arguments. i think that's reasonable.
144.
by dnautics 3mo ago
mariadb
145.
by dnautics 3mo ago
> some builtins purport to work on simd vectors but actually just unpack the vectors and do their work per-element (e.g. running `@sin()` on a `@Vector(4, f32)` will unpack the vector, run `@sin()` 4 times, and then pack it back into a v
146.
by dnautics 3mo ago
no macros in zig, but yes you could metaprogram it. types are first class values at compile time so you could do that sort of specialization if you wanted.
147.
by dnautics 3mo ago
> I write a plan.md that goes through multiple revisions instrumentally, isn't this the same as just doing plan mode? Plan mode is just a .md file in a 'well-known' location that is privileged to a certain spot in the kv c
148.
by dnautics 3mo ago
oops. thanks!
149.
by dnautics 3mo ago
nah. the us certainly has a lot of inflated egos, but the mythology is not like that, consider abraham lincoln, Washington "cincinnatus of the west", paul bunyan, johnny appleseed, etc.
150.
by dnautics 3mo ago
edit: misread parent

More ›