HackerTrans
TopNewTrendsCommentsPastAskShowJobs

akshayshah

no profile record

Submissions

New Logic for Programmers (and the future of this newsletter)

buttondown.com
2 points·by akshayshah·il y a 2 mois·0 comments

Antithesis – The Deterministic Computer

mack.work
10 points·by akshayshah·il y a 6 mois·0 comments

Catalog of reliability properties for blockchains (Antithesis)

antithesis.com
1 points·by akshayshah·il y a 8 mois·0 comments

Keeping Master Green at Scale

dl.acm.org
2 points·by akshayshah·il y a 10 mois·0 comments

Chroma Technical Report: Generative Benchmarking

research.trychroma.com
3 points·by akshayshah·il y a 10 mois·0 comments

comments

akshayshah
·le mois dernier·discuss
It's strange to see this project on Github: the repository is basically just a README and Github sponsors config, without any source code I can see. Does the Polyform Shield license checked into the repository apply to the released artifacts? Are the the released artifacts trustworthy enough to have access to my microphone?
akshayshah
·le mois dernier·discuss
These days, he’s also working on Hegel - bringing test case reduction and PBT to more languages.

https://hegel.dev
akshayshah
·il y a 3 mois·discuss
This is very cool! I’m most interested in the protobuf runtime - Rust has historically used Prost, which doesn’t pass the protobuf compliance test suite and isn’t Google-maintained. Google’s priority internally is cpp interop, so they use unsafe for protobuf - which the community is understandably not excited about.

(For full disclosure, I started the ConnectRPC project - so of course I’m excited about that part of the announcement too.)
akshayshah
·il y a 3 mois·discuss
And https://arxiv.org/pdf/2310.10688 if you want the full paper.
akshayshah
·il y a 4 mois·discuss
Whoops, bad link formatting: https://x.com/patrickc/status/2015562569105465347
akshayshah
·il y a 4 mois·discuss
To be fair, the name was a joking response to https://x.com/patrickc/status/2015562569105465347…and then the temporary skunkworks name stuck, as it always does.
akshayshah
·il y a 5 mois·discuss
There’s a whole section on this on TFA: https://celbyexample.com/execution-cost/
akshayshah
·il y a 5 mois·discuss
I’d be surprised by this: GitHub pretty famously used Vitess, and I’d be surprised if each shard were too big for modern hardware. Based on previous reporting [0], they’re running out of space in the main data center and new management is determined to move to Azure in a hurry. I’d bet that these outages are a combination of a worsening capacity crunch in the old data center and…well, Azure.

[0]: https://thenewstack.io/github-will-prioritize-migrating-to-a...
akshayshah
·il y a 6 mois·discuss
In broad strokes, I think this is similar to Bitdrift (https://bitdrift.io) - though they’re focused on mobile observability.
akshayshah
·il y a 6 mois·discuss
Alas! Once again, I’ve learned what happens when I assume.
akshayshah
·il y a 6 mois·discuss
Totally fair. At least in part, I blame the choice of <em> and <strong>: it's really not clear what the hierarchy between them is, so I just think of them as the online versions of italic and bold.

<mild> and <strong>, or <em> and <emem> (or <double-em>, or <very-em>) might have been clearer, but at this point we'll never know.

Edit: apparently <i> has been redefined to be "the idiomatic text element" rather than just italic - so perhaps it's a semantically appropriate choice here after all! https://developer.mozilla.org/en-US/docs/Web/HTML/Reference/...
akshayshah
·il y a 6 mois·discuss
I like Markdown, and generally agree that it strikes a nice balance between correctness and usability...

...but it's delicious that this blog post also demonstrates an ambiguity in Markdown: how to handle intra-word emphasis. In the rendered output, "mark_up_" and "mark_down_" were probably intended to be "mark<em>up</em>" and "mark<em>down</em>", but the underscores were instead rendered literally.

I do appreciate that Markdown's solution to ambiguities like this is dead simple - just inline some HTML.
akshayshah
·il y a 7 mois·discuss
At least per the Redis docs, clusters acknowledge writes before they're replicated: https://redis.io/docs/latest/operate/oss_and_stack/managemen...

The docs explicitly state that clusters do not provide strong consistency and can lose acknowledged data.
akshayshah
·il y a 7 mois·discuss
No. Redpanda has made a lot of noise about this over the years [0], and Confluent's Jack Vanlightly has responded in a fair bit of detail [1].

[0]: https://www.redpanda.com/blog/why-fsync-is-needed-for-data-s...

[1]: https://jack-vanlightly.com/blog/2023/4/24/why-apache-kafka-...
akshayshah
·il y a 8 mois·discuss
Rapid is excellent. It also integrates with the standard library's fuzz testing, which is handy to persist a high-priority corpus of inputs that have caused bugs in the past.

Testing/quick is adequate for small things and doesn't introduce new dependencies, but it's also frozen. Many years ago, the Go team decided that PBT is complex enough that it shouldn't be in stdlib.

Here's a small example of a classic PBT technique used in a very practical Go project: https://github.com/connectrpc/connect-go/blob/cb2e11fb88c9a6...
akshayshah
·il y a 8 mois·discuss
Sibling comments have already mentioned some common strategies - but if you have half an hour to spare, the property-based testing series on the F# for Fun and Profit blog is well worth your time. The material isn’t really specific to F#.

https://fsharpforfunandprofit.com/series/property-based-test...
akshayshah
·il y a 9 mois·discuss
Sometimes, sure - but sometimes, passing around a fat wrapper around a DB cursor is worse, and the code would be better off paginating and materializing each page of data in memory. As usual, it depends.
akshayshah
·il y a 9 mois·discuss
Very cool! Using “object storage for primary durability” seems difficult for any OLTP workload that’s latency-sensitive - there’s a fundamental tradeoff between larger batch sizes to control write costs and smaller batches to reduce latency. This hurts OLTP workloads especially badly because applications often make multiple small writes to serve a single user-facing request. How does EloqKV navigate this tradeoff?

Also, I’d love to see:

- A benchmark that digs into latency, throughput, and cost for a single workload. Most of the benchmarks I saw are throughput-only.

- Some explanation of the “patented 1PC protocol.” Your website [1] suggests that you treat single EBS volumes as high-durability, replicated storage, which seems unusual to me - apart from io2 volumes, EBS is designed for less than 3 nines of durability [2].

[1]: http://www.eloqdata.com/blog/2025/07/15/data-substrate-detai...

[2]: https://aws.amazon.com/ebs/features/
akshayshah
·il y a 9 mois·discuss
I'm no expert in corporate finance, but whether or not OpenAI goes bankrupt feels like the wrong question to me (in thinking about this loan). Wouldn't a bank be more concerned with (1) the likelihood that OpenAI can raise another round of financing from which to repay the bank, and (2) the likelihood that OpenAI will have assets worth >10B when/if they do eventually declare bankruptcy?

The bank's risk seems quite a bit lower than the VC's risk.
akshayshah
·il y a 10 mois·discuss
TFA goes into this in some depth: there's an option to subscribe for one month with a one-time payment. After the month is up, your account automatically reverts to the free plan and you get an email with your fonts attached.