dnautics

26 ms·

631.
by dnautics 10mo ago
you dont have control over it . if you emit a zero stock trade your broker's account (a system outside of your control) it might get zeroed instead of having "no shares bought". this could happen for example if you periodi
632.
by dnautics 10mo ago
- using ai effectively is itself a skill that needs training, especially if you're already good at the critical thinking stuff. - using AI actually most of everything i do anyways, is critical thinking. I'm constantly reviewing
633.
by dnautics 10mo ago
I read the article. As someone who was a math major I get why it's "fine". But nowhere in the article does hillel explain WHY it's bad for a real pl. (And defenders of e.g. pony gleam point to this article too to say
634.
by dnautics 10mo ago
it's terrible advice for actual programmers though because often 0 is a sentinel value with special meaning for systems that you don't have control over (sometimes because of pre-digital conventions that shouldn't be lightly
635.
by dnautics 10mo ago
what was great about Groq? The token speed? Last I checked they aggressively throttled how many requests you could make.
636.
by dnautics 10mo ago
chips designed to run ResNET? I guess the haskell compiler they built is impressive (it made it so 8 racks of chips designed to run ResNET can run llama 70b with extremely low latency). Edit: my information might be old, I don't know
637.
by dnautics 10mo ago
yes. IMO one can argue that it was a very reasonable pragmatic decision that set a questionable precedent for branches of the government creating powers for themselves out of whole cloth. There is a LOT of commentary in intellectual circl
638.
by dnautics 10mo ago
Not defending the law but questioning your interpretation. Does requiring by law an age of 21 to enter a bar violate freedom of assembly? Lots of important political events and discussion historically in the US have occurred at taverns.
639.
by dnautics 10mo ago
> Did big businesses in the West really think “investing” in China would lead to “freedom” and such? Isn’t that framing a bit naive? It worked in south korea and taiwan which were severe military dictatorships before (maybe you could thr
640.
by dnautics 10mo ago
the alternative i propose is have deep understanding of your system before popping off with dumb one size fits all rules that don't make sense.
641.
by dnautics 10mo ago
let's say you a bunch of database timeouts in a row. this might mean that nothing needs to be fixed. But also, the "thing that needs to be fixed" might be "the ethernet cable fell out the back of your server". How
642.
by dnautics 10mo ago
> I could ship significantly faster if I ignored any error handling... time to switch to erlang/elixir?
643.
by dnautics 10mo ago
this is solvable by prompting and giving good examples?
644.
by dnautics 10mo ago
> All that information encoded in the type system makes explicit what is needed in any case and is otherwise only carried informally in peoples' heads by convention this is, in fact better for llms, they are better at carrying infor
645.
by dnautics 10mo ago
https://www.josefprusa.com/articles/open-hardware-in-3d-prin...
646.
by dnautics 11mo ago
not necessarily. if your refactoring loop requires too many cycles you'll fall off the attention context window. also, some nonstatic languages have a habit of having least surprise in their codebases -- it's often possible to ef
647.
by dnautics 11mo ago
i think it's pretty clear that some of "the things you expect to make an LLM good at a language" (like strong typing) are not actually the case. other things like "don't indirect your code by jumping to something u
648.
by dnautics 11mo ago
claude is really good at elixir. IME, It's really really good with a few "unofficial" tweaks to the language/frameworks, but this could be my bias. the LLM cutoff was a fear of mine, but i think it's actually the
649.
by dnautics 11mo ago
if you have a syntax error in file A, and file B is just peachy keen, you can keep compiling file B instead of stopping the world. Then the next time you compile, you have already cached the result of file B compilation.
650.
by dnautics 11mo ago
there was a recent interview where andrew suggested if i understood correctly: the future path of zig is to make all compilations (successful or not) produce an executable. if theres something egregious like a syntax or type error, the pro
651.
by dnautics 11mo ago
and for big teams you can run a checker: (wip) http://github.com/ityonemo/clr
652.
by dnautics 11mo ago
honestly manually tracing lifetimes of pointers is not as hard in zig as C and definitely easier than C++. it would be nice to know for sure but for small and medium sized programs it's not a that hard? and not even "cheating&qu
653.
by dnautics 11mo ago
clarifying: It's just an experiment for zig PL, not affiliated with zsf: http://github.com/ityonemo/clr was where i got last year. this december im doing a "prototype" which means its going to be done i
654.
by dnautics 11mo ago
I'm not convinced that you can't borrow check in zig... (disclaimer, i'm working on compile time memory safety for zig)
655.
by dnautics 11mo ago
You can bind functions to structs and first parameter is special cased when it's a pointer-to or a const version of the structs... What more do you want really besides inheritance (which is considered dangerous by many). In the era of
656.
by dnautics 11mo ago
because rust is more than just memory safety, it's not obvious that "the rust way" is the only way to go. fil-c is a good? example of a alternative strategy. sel4 is a radically different strategy that is as much of a pain
657.
by dnautics 11mo ago
> there is an allocator concept in Rust, too. aren't allocators types in rust? suppose you had an m:n system (like say an evented http request server split over several threads so that a thread might handle several inbound requests)
658.
by dnautics 11mo ago
I have years old projects that have languished that I have resurrected due to AI-assisted coding. - "embedded" (rpi) controller for a boxfan that runs in my lab - VSR distributed consistency protocol library - dead simple CQRS lib
659.
by dnautics 1y ago
This is a very fun project with a corsi-rosenthal filter (a box fan taped to a bunch of normal house filters). To control the fan, you'll have to have some fun with a relay connected to MAINS voltage -- if you dare. The salon power r
660.
by dnautics 1y ago
in the past i would have said learning to read erlang is a very nice to have for an intermediate elixirist but not really anymore, an LLM can translate between the two very easily.

More ›