Viewing profile — DylanSp

First time I've heard of so_reuseport, which is interesting. The important parts of the setup seem to be that + peering; is peering built-in to PgBouncer and simple to set up?

They're very small on desktop as well.

I've been learning the basics of using Z3 by creating a solver for the daily puzzle game Clues By Sam (very fun game; https://cluesbysam.com/ ). Repo is https://github.com/DylanSp/…

Echoing the others who say they can't understand the bug/difference; only thing I can think of is that the input string needed the escape sequence for a newline in it? So the corre…

Thanks for the explanation - I was deeply confused by this article's premise. I've never worked with Next.js or Astro, so I didn't have the background.

To be slightly more specific - training pilots that can train/certify other pilots.

Not gender-related; the correct form for the possessive is "its" without an apostrophe, not "it's".

I'm working on an app for easily conducting and organizing evals for LLM-powered applications. The core idea is making it easy for domain experts to review examples of interactions…

Works now (I noticed the same issue).

It's not a perfect situation, but C# has some dedicated collection classes for concurrent use - https://learn.microsoft.com/en-us/dotnet/api/system.collecti... . There's still some…

This is definitely a big factor. I've found one compiler bug, but it was in a feature that had been added all of two months earlier (optional chaining in Typescript 3.7).

The same author has full articles on Jedi Knight [1] and X-Wing/TIE Fighter. [2]. If you go through his archives [3], he's also written a lot about LucasArts' adventure games; I th…

Take a look at the links and sources mentioned in his retrospective on the Sparta series: https://acoup.blog/2022/08/19/collections-this-isnt-sparta-r... . Devereaux mentions some …

The bug with a-file moves has been fixed: https://github.com/carlini/regex-chess/issues/1 .

It sounds like the indexing time/complexity is increased a lot by the amount of detailed data they're storing. They mention determining which `using` statement is used to resolve e…

Haskell's Ord typeclass is for ordering; it just represents types that have a total order, it doesn't represent ranges.

Case 1 is definitely addressed by the Polonius-related work. There's a post [1] on the official Rust blog from 2023 about that, and this post [2] from Niko Matsakis' blog in June 2…

It's outlined in their previous post on the Rope/SumTree data structure they use, which this article links to: https://zed.dev/blog/zed-decoded-rope-sumtree .

Looks like he's been continuing to work on it. GitHub repo: https://github.com/davidlattimore/wild List of his blog posts, a couple of which are about wild: https://davidlattimore.…

Looks like it was an offhand tweet from 2013: https://web.archive.org/web/20220805112242/https://twitter.c... . I got that from a comment on the first Antithesis post on HN, https:…

My guess would be that it would take too much extra design work. Making the current upper stage reusable is necessary for the HLS contract anyways, and they've got a lot of work to…