phlip9

6 ms·

1.
Show HN: Lexe – Self-Custodial Lightning Nodes in TEEs, Python and Rust SDKs(blog.lexe.app)
5 points by phlip9 6mo ago|3 comments
2.
by phlip9 1y ago
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 need some finicky network iface setup to get the flow
3.
by phlip9 2y ago
Benches look promising! My main concern is validating correctness; implementing good concurrency primitives is always challenging. Have you looked into testing against a purpose-built concurrency model checker like tokio-rs/loom [1] or
4.
by phlip9 2y ago
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. This way you also postpone a lot of the HW driver development d
5.
by phlip9 2y ago
Exactly, it should use a separator. Consider a more realistic example, like http280 or h3443. Totally ambiguous.
6.
by phlip9 2y ago
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 decides to combine together.
7.
by phlip9 2y ago
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: programs.eza = { enable = true;
8.
Atomicless Per-Core Concurrency(mcyoung.xyz)
21 points by phlip9 2y ago|2 comments
9.
by phlip9 2y ago
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 fuzzer's `&[u8]` input into `Arbitrary`. It als
10.
by phlip9 2y ago
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 requires a ripgrep adventure through nixpkgs. Find
11.
by phlip9 2y ago
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 multilingual models generalize better?
12.
by phlip9 2y ago
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/... ). That's
13.
by phlip9 3y ago
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/refactors. ripgrep is ofc insanely fast so ri
14.
by phlip9 3y ago
sccache only caches if builds are run from the same absolute path, so indeed different home dirs won't work
15.
by phlip9 3y ago
They're listed separately as West Bank and Gaza Strip
16.
by phlip9 3y ago
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/blob/master&#x
17.
by phlip9 3y ago
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 like it stalled out. Thankfully there's been a burst
18.
by phlip9 3y ago
As a serial tab hoarder, Vimium's SHIFT-T tab fuzzy search is what makes it manageable. : )
19.
by phlip9 3y ago
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 lines in and asked for a fix. Pasting in GPT's arcane
20.
by phlip9 4y ago
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 secrets from nearby memory. Safe Rust would just panic (cras
21.
by phlip9 4y ago
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 another outer function, you can't call the effectf
22.
by phlip9 4y ago
AdGuardHome is pretty great. Run it on my OpenWRT router and miss it every time I use my phone away from home : )
23.
by phlip9 4y ago
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 nibble == 0, etc... like: [0] fn u32_an
24.
by phlip9 4y ago
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 curious to know more how Mina overcomes these limitations. OT
25.
by phlip9 4y ago
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 structures with an error rate due to data collisions
26.
by phlip9 4y ago
I can't wait for some big site certs to false positive in a CRL bloom filter and cause a big outage : )
27.
by phlip9 4y ago
btw the example image ( https://erock.imgs.sh/t/iceland ) 404's :(
28.
by phlip9 4y ago
From the article, it looks like the syzkaller fuzzer integration was stale and not working, so there might still be some juice to squeeze if someone can get that running again : )
29.
by phlip9 4y ago
separate cache lines not pages :)
30.
by phlip9 5y ago
I was a bit disappointed with linearity in QTT as I couldn't figured out how to create a safe API around a resizable array. The example given in the paper is a LinArray ( https://github.com/idris-lang/Idris2/bl

More ›