pkhuong

pkhuong

قبل 5 أيامdiscuss

If you need a compact byte -> bit lookup table on x86, consider using the memory form of the bit test (BT) instruction.

pkhuong

الشهر الماضيdiscuss

kore-private-key.asc https://github.com/arunkatherashala/Kore/blob/release/v0.1.0... is pretty good too.

pkhuong

قبل 5 أشهرdiscuss

At least two "quantum" computing places built on SBCL.

pkhuong

قبل 6 أشهرdiscuss

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).

pkhuong

قبل 6 أشهرdiscuss

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"

pkhuong

قبل 6 أشهرdiscuss

I don't see any explanation of what niche this targets relative to pre-existing tools like Checked C, CMBC, or Frama C...

pkhuong

قبل 7 أشهرdiscuss

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.

pkhuong

قبل 7 أشهرdiscuss

I remember when Litestream not being a VFS was a plus https://news.ycombinator.com/item?id=29461406 ;)

pkhuong

قبل 8 أشهرdiscuss

> 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++.

pkhuong

قبل 9 أشهرdiscuss

> Won't it introduce risk of invalid memory access

no.

pkhuong

قبل 9 أشهرdiscuss

> 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.

pkhuong

قبل 9 أشهرdiscuss

The target audience knows what a waveform is.

pkhuong

قبل 10 أشهرdiscuss

SPMC ring buffer or SPMC "disruptor" aren't that bad. Multiple producers in a general ring buffer definitely introduce a lot of issues.

pkhuong

قبل 10 أشهرdiscuss

And this naturally extends to data replication.

pkhuong

قبل 10 أشهرdiscuss

RM Pro (and this new product) has a backlight. I print everything to pdf when I want to read on the remarkable.

Submissions

Size-optimized generic sorting for C & C++ without function pointers

comments