Viewing profile — phlip9

Lexe is next-generation Bitcoin infrastructure: self-custodial wallets and SDKs that are easy to use, always online, and hosted for free. Your keys are protected by secure enclaves…

I'm hoping we get there too with io_uring. It looks like the last few kernel release have made a lot of progress with zero-copy TCP rx/tx, though NIC support is limited and you nee…

Benches look promising! My main concern is validating correctness; implementing good concurrency primitives is always challenging. Have you looked into testing against a purpose-bu…

Super cool project. Looks like the short-term target use-case is running a Linux-compatible OS in an Intel TDX guest VM with a significantly safer and smaller TCB. Makes sense. Thi…

Exactly, it should use a separator. Consider a more realistic example, like http280 or h3443. Totally ambiguous.

Maintenance is much more practical when you use the versions upstream tests in their CI and not whatever mishmash of ancient/silently incompatible deps that each distro separately …

Can definitely recommend eza (prev. exa). I've used it as an ls replacement for a long time with zero problems. If anyone's using nix home-manager, here's my config for inspiration…

Agreed. A while back I played around with fuzzcheck [1], which let's you write coverage-guided, structure-aware property tests, but the generation is smarter than just slamming a f…

Congrats on the release! I love the focus on devex w/ typescript and autocomplete. That's probably one of my biggest pain points with Nix -- writing any non-trivial package always …

Interesting thought. Maybe an LLM would build deeper insight with only one training language. On the other hand, the model might overfit with just one language -- maybe multilingua…

I don't know much about the TKey, but it looks like they have some kind of remote attestation protocol available? ( https://github.com/tillitis/tkey-verification/tree/main/cmd/... …

This looks pretty neat! I especially like how well it composes with other tools. Wonder how well it compares with fastmod [0]? That's what I've been using for large scale codemods/…

sccache only caches if builds are run from the same absolute path, so indeed different home dirs won't work

They're listed separately as West Bank and Gaza Strip

A related example out in the wild: Rust's `cargo bench` "winzorizes" the benchmark samples before computing summary statistics (incl. the mean). https://github.com/rust-lang/rust/b…

100% on board and super happy that `ring` is finally getting some love again (and funding!) For context: the ring repo's been a bit inactive lately and the v0.17 release looked lik…

As a serial tab hoarder, Vimium's SHIFT-T tab fuzzy search is what makes it manageable. : )

Yeah it's pretty awesome! I used GPT-4 last week to fix my corrupted SSD. Granted I already narrowed down the kernel logs to a few suspicious lines, but I just pasted those 10 line…

I think even heartbleed would be mitigated with (safe) Rust. IIRC heartbleed was caused by a missing bounds check, which allowed attackers to read past the message buffer and leak …

Languages with first class effects, like koka[1], require you to declare up-front what side effects (sample randomness, do I/O, abort, etc...) your function might cause. Then from …

AdGuardHome is pretty great. Run it on my OpenWRT router and miss it every time I use my phone away from home : )

similar: you can do SIMD "within" a single integer type with some fun bit hacks. ex: for an integer (u32, u64, u128), you can test "all at once" whether any byte == 0, or any nibbl…

Woah this looks cool! My current (clearly outdated) mental model requires fixed inputs for a zkp, e.g., some fixed view of the chain state, some encrypted inputs, etc... I'm curiou…

Ahh thanks for the link and sorry for the snark; the finite universe optimization is cool! [0] # Why is CRLite able to compress so much data? Bloom filters are probabilistic data s…