pkhuong
Joined 12 years ago
Karma
412
Submissions
186
Member since
Mar 16
Recent submissions
Comment · 1 month ago
> Approach. QueryBrew builds a refined SQL statement by passing
an input query through Umbra’s [11] state-of-the-art optimizer
and distilling the resulting optimized plan back into SQL
Comment · 2 months ago
> Any interface with thousands of individual pieces is difficult to use.
Standard libraries considered harmful: 100 interfaces with 10 pieces each are obviously easier to use.
Comment · 3 months ago
Regardless of the array's size, the expected win from early exit on random keys is a constant number of iterations.
Comment · 3 months ago
There's only 254 entries to search from. No locality issue in sight.
Comment · 3 months ago
If you need a compact byte -> bit lookup table on x86, consider using the memory form of the bit test (BT) instruction.
Comment · 5 months ago
kore-private-key.asc https://github.com/arunkatherashala/Kore/blob/release/v0.1.0... is pretty good too.
Comment · 8 months ago
At least two "quantum" computing places built on SBCL.
Comment · 9 months ago
How does the output fare on competitive hills like https://sal.discontinuity.info/hill.php?key=94t ?
AFAIK, the best results so far for fully computer-generated warriors have been on the nano and tiny format (https://sal.discontinuity.info/hill.php?key=nano, https://sal.discontinuity.info/hill.php?key=tiny), with much shorter warriors (at most 5 or 20 instructions).
Comment · 10 months ago
Fix (creation of the rustfs-credentials crate) smuggled in a fairly large panic fix PR https://github.com/rustfs/rustfs/pull/1291#:~:text=Fixes%20C... , "fix: Prevent panic in GetMetrics gRPC handler on invalid input"
Comment · 10 months ago
I don't see any explanation of what niche this targets relative to pre-existing tools like Checked C, CMBC, or Frama C...
Comment · 10 months ago
Yeah, you can use index on expression and views to ensure the expression matches, like https://github.com/fsaintjacques/recordlite . The view + index approach decouples the convenience of having a column for a given expression and the need to materialise the column for performance.
Comment · 10 months ago
I remember when Litestream not being a VFS was a plus https://news.ycombinator.com/item?id=29461406 ;)
Comment · 11 months ago
> Just don't use C for sending astronauts in space
But do use C to control nuclear reactors https://list.cea.fr/en/page/frama-c/
It's a lot easier to catch errors of omission in C than it is to catch unintended implicit behavior in C++.
Comment · 1 year ago
> Won't it introduce risk of invalid memory access
no.