remexre

8 ms·

61.
by remexre 1y ago
> What’s more, the changes to the information on which this “baked in” build logic is based is not tracked very precisely. kbuild handles this on top of Make by having each target depend on a dummy file that gets updated when e.g. the CF
62.
by remexre 1y ago
For one thing, the model is trained on a language modelling task, not a question-answering task?
63.
by remexre 1y ago
That's a really anthropomorphizing description; a more mechanical one might be, The attention mechanism that transformers use to find information in the context is, in its simplest form, O(n^2); for each token position, the model consi
64.
by remexre 1y ago
> For starters, Linux now supports Intel Advanced Performance Extensions (APX). [...] This improvement means you'll see increased performance from next-generation Intel CPUs, such as the Lunar Lake processors and the Granite Rapids
65.
by remexre 1y ago
Formal reasoning about functional programs in terms of their (denotational) semantics is normal in a functional programming class (e.g. it's about a quarter of our mandatory-for-undergrads FP course). Formal reasoning about imperative
66.
by remexre 1y ago
How would you recommend doing that sort of "subtyping"? _Generic and macros?
67.
by remexre 1y ago
Once I check if an Option/optional/Maybe is none, I can extract the value and just pass around the value, so other functions I call know that the value cannot be null. This does not work well for FILE in C, for instance.
68.
by remexre 1y ago
Being out-of-tree means that kernel refactors break ZFS, and that it has a lot fewer hands and eyeballs available for the kinds of bugs that require internal design changes to fix (rather than paper over).
69.
by remexre 1y ago
Will this include some form of SLIME support?
70.
by remexre 1y ago
Okay, thanks!
71.
by remexre 1y ago
Could you check what version of DWARF it covers?
72.
by remexre 1y ago
They're hydraulically powered, not electrically; no outlet required, the same water intake that the jet uses is used for the mechanism as well.
73.
by remexre 1y ago
It's when existing implementations' inflexibility prevent protocol evolution. https://en.wikipedia.org/wiki/Protocol_ossification
74.
by remexre 1y ago
Idiomatic design would be a big one; there are a lot of ways to design a program in a higher-level OO language that, if followed in C, will lead to a program with lots of bugs around error handling and resource cleanup. This kind of ties in
75.
Auditing Electron Apps with Bananatron(muffin.ink)
3 points by remexre 1y ago|0 comments
76.
by remexre 1y ago
I think it's fair to say that having some sort of syntactically lightweight sum or union type facility makes this way nicer than anything Java ever had -- subclassing isn't really a solution, because you often want something like:
77.
Rustc Implements "Super Let"(github.com)
1 points by remexre 2y ago|0 comments
78.
by remexre 2y ago
Nix(OS) is aware of namespaces, and can use them (in fact, the aforementioned gaming support relies on them), but versioning packages still works better than versioning the system in most cases. Consider three packages, A, B, and C. B has t
79.
by remexre 2y ago
> A local minimum is [...] Unless you're in ML, in which case it's a minimum of the loss function, not the utility function...
80.
by remexre 2y ago
Making the _compiler itself_ provide an API enables things like LSP, which don't want to generate machine code at all. A traditional single-pass compiler usually can't accommodate this without re-plumbing.
81.
by remexre 2y ago
Many universities that use OCaml in upper-division courses also use it in lower-division; my university requires all CS majors to take a course that is taught in OCaml, and covers higher-order programming, "advanced" (Hindley-Miln
82.
by remexre 2y ago
Isn't that way either JIT or boxed integers?
83.
by remexre 2y ago
arity as in "number of generic arguments," I think they meant.
84.
by remexre 2y ago
Imagine a calculator that computes definite integrals, but gives non-sensical results on non-smooth functions for whatever reason (i.e., not an error, but an incorrect but otherwise well-formed answer). If there were a large number of peopl
85.
by remexre 2y ago
It would be very normal for a compiler to do an increment (or merge it into a later instruction), but never do the decrement, and instead use the old copy of the value.
86.
by remexre 2y ago
64KiB also happens to be the largest minimum page size you can configure reasonably common hardware to have (not that this is a common configuration).
87.
by remexre 2y ago
I'm essentially comfortable with the government knowing what banks I've banked at, what homes I've lived in, and where and when I've been arrested. I'm much less comfortable with those being in a public database any
88.
by remexre 2y ago
Maybe the "allocate as little as possible, use sun.misc.Unsafe a lot, have lots of long-lived global arrays" style of Java programming some high-performance Java programs use would get close to being a good stand-in.
89.
by remexre 2y ago
The first reasonable concern that springs to mind is that correlating a few fields that are individually non-identifying in a dataset can lead to deanonymizing people; in principle, the FOIA process gives the organization being requested ti
90.
by remexre 2y ago
Do you have a "benchmark program" for performance and results for it? (e.g. I like to wall-clock measure a clean build of LLVM to approximate the performance on the compute-heavy workloads I run often.)

More ›