pkhuong

5 ms·

1.
by pkhuong 20d 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
2.
by pkhuong 1mo 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.
3.
by pkhuong 3mo ago
Regardless of the array's size, the expected win from early exit on random keys is a constant number of iterations.
4.
by pkhuong 3mo ago
There's only 254 entries to search from. No locality issue in sight.
5.
by pkhuong 3mo ago
If you need a compact byte -> bit lookup table on x86, consider using the memory form of the bit test (BT) instruction.
6.
by pkhuong 4mo ago
kore-private-key.asc https://github.com/arunkatherashala/Kore/blob/release/v0.1.0... is pretty good too.
7.
by pkhuong 7mo ago
At least two "quantum" computing places built on SBCL.
8.
Size-optimized generic sorting for C & C++ without function pointers(github.com)
3 points by pkhuong 7mo ago|0 comments
9.
by pkhuong 9mo 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:/&
10.
by pkhuong 9mo 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 o
11.
by pkhuong 9mo ago
I don't see any explanation of what niche this targets relative to pre-existing tools like Checked C, CMBC, or Frama C...
12.
by pkhuong 10mo 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 ex
13.
by pkhuong 10mo ago
I remember when Litestream not being a VFS was a plus https://news.ycombinator.com/item?id=29461406 ;)
14.
by pkhuong 11mo 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 c
15.
by pkhuong 1y ago
> Won't it introduce risk of invalid memory access no.
16.
by pkhuong 1y ago
> only helps once you are compute rather than bandwidth bound Asymptotically, I don't think Strassen performs Theta(n^3) memory operations in sub-n^3 time.
17.
by pkhuong 1y ago
The target audience knows what a waveform is.
18.
by pkhuong 1y ago
SPMC ring buffer or SPMC "disruptor" aren't that bad. Multiple producers in a general ring buffer definitely introduce a lot of issues.
19.
by pkhuong 1y ago
And this naturally extends to data replication.
20.
by pkhuong 1y ago
RM Pro (and this new product) has a backlight. I print everything to pdf when I want to read on the remarkable.
21.
by pkhuong 1y ago
Yeah, just decode. But that's nice because the effect is independent of the backend's state.
22.
by pkhuong 1y ago
NVIDIA-inflicted in this case.
23.
by pkhuong 1y ago
https://en.wikipedia.org/wiki/P-value#History
24.
by pkhuong 1y ago
One easy slip-up with discussing p values in the context of a workflow or a decision-making process is that a process with p < 0.05 doesn't give us any bound on the actual ratio of actually good VS lucky changes. If we only consider
25.
by pkhuong 1y ago
> start reading the coredump from stdin How does that work with multi-TB mappings, as used by niche functionality like asan?
26.
by pkhuong 1y ago
You can run jemalloc configured with 16KB pages on a 4KB page system.
27.
by pkhuong 1y ago
And since view and indexes don't change the data, you can use tools like https://github.com/fsaintjacques/recordlite to automate schema management.
28.
by pkhuong 1y ago
From context, I thought he was talking about 1 in 31 eight-year olds ( https://www.cdc.gov/mmwr/volumes/74/ss/ss7402a1.htm?ACSTrack... )
29.
by pkhuong 1y ago
> Do you have examples for problems that are easier to solve in fixed-width SIMD? Regular expression matching and encryption come to mind.
30.
by pkhuong 1y ago
There's more to SIMD than BLAS. https://branchfree.org/2024/06/09/a-draft-taxonomy-of-simd-u... .

More ›