Hacker News: DylanSp

Another termination issue (Semantics of the Futhark language)

DylanSp — Sun, 04 Jan 2026 16:00:14 +0000

Article URL: https://futhark-lang.org/blog/2026-01-04-another-termination-issue.html

Comments URL: https://news.ycombinator.com/item?id=46489175

Points: 2

# Comments: 0

New comment by DylanSp in "Ask HN: What are you working on? (Jan 2026)"

DylanSp — Sat, 03 Jan 2026 23:09:17 +0000

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/clues-by-sam-solver. It uses Playwright to read clues and submit guesses; I've got it working for all 50 puzzles in puzzle pack 1.

New comment by DylanSp in "A Tale of Two AI Failures: Debugging a Simple Bug with LLMs"

DylanSp — Sat, 29 Nov 2025 00:29:35 +0000

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 correct code would be written as

    "POST" + "\\n" + ...

Itiner-e – an open digital dataset of roads in the Roman Empire

DylanSp — Fri, 07 Nov 2025 22:48:54 +0000

Article URL: https://itiner-e.org/

Comments URL: https://news.ycombinator.com/item?id=45852164

Points: 4

# Comments: 0

New comment by DylanSp in "Stealing from Google"

DylanSp — Fri, 03 Oct 2025 00:09:24 +0000

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.

New comment by DylanSp in "American Airlines flying empty Airbus A321neo across the Atlantic 20 times"

DylanSp — Mon, 08 Sep 2025 23:09:44 +0000

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

New comment by DylanSp in "First thoughts on o3 pro"

DylanSp — Thu, 12 Jun 2025 16:47:00 +0000

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

New comment by DylanSp in "Ask HN: What are you working on? (May 2025)"

DylanSp — Tue, 27 May 2025 09:14:22 +0000

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 and tests with synthetic data, as well as tracking an application's evaluated performance over time as changes get made.

The Future of Customer Support Is Lies, I Guess

DylanSp — Thu, 22 May 2025 00:48:24 +0000

Article URL: https://aphyr.com/posts/387-the-future-of-customer-support-is-lies-i-guess

Comments URL: https://news.ycombinator.com/item?id=44057693

Points: 6

# Comments: 1

New comment by DylanSp in "A simple search engine from scratch"

DylanSp — Tue, 20 May 2025 17:33:22 +0000

Works now (I noticed the same issue).

The AWS Common Runtime (2023)

DylanSp — Fri, 14 Mar 2025 18:32:28 +0000

Article URL: https://aws.amazon.com/blogs/storage/improving-amazon-s3-throughput-for-the-aws-cli-and-boto3-with-the-aws-common-runtime/

Comments URL: https://news.ycombinator.com/item?id=43365696

Points: 1

# Comments: 0

New comment by DylanSp in "3,200% CPU Utilization"

DylanSp — Fri, 28 Feb 2025 19:36:39 +0000

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 footguns possible, but knowing "I should use these collections instead of the regular versions" is less error-prone than needing to take/release locks at every single use site.

New comment by DylanSp in "It is not a compiler error (2017)"

DylanSp — Mon, 24 Feb 2025 14:52:38 +0000

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

New comment by DylanSp in "Half-Life"

DylanSp — Sun, 23 Feb 2025 16:21:08 +0000

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 think the first posts that talk about them are the three "A New Force in Games" posts.

[1] https://www.filfre.net/2024/04/jedi-knight-plus-notes-on-an-... [2] https://www.filfre.net/2021/02/the-second-coming-of-star-war... [3] https://www.filfre.net/sitemap/

New comment by DylanSp in "Seeing Through the Spartan Mirage"

DylanSp — Wed, 19 Feb 2025 16:37:46 +0000

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 different approaches that modern historians take towards Sparta, particularly Steven Hodkinson's arguments that Sparta was more typical and less unusual compared to the other Greek poleis; following up on that work would probably be a useful counterpoint.

New comment by DylanSp in "A minimax chess engine in regular expressions"

DylanSp — Tue, 07 Jan 2025 17:25:23 +0000

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

New comment by DylanSp in "Indexing Code at Scale with Glean"

DylanSp — Wed, 01 Jan 2025 23:52:26 +0000

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 each symbol reference in C++ source, to enable dead code detection; that's going to require some sophisticated analysis.

New comment by DylanSp in "What would it take to add refinement types to Rust?"

DylanSp — Wed, 25 Dec 2024 14:46:49 +0000

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

New comment by DylanSp in "Four limitations of Rust's borrow checker"

DylanSp — Tue, 24 Dec 2024 14:34:41 +0000

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 2024 mentions that they were making progress on it, though the timeline has stretched out.

[1]: https://blog.rust-lang.org/inside-rust/2023/10/06/polonius-u...

[2]: https://smallcultfollowing.com/babysteps/blog/2024/06/02/the...

New comment by DylanSp in "Bit-twiddling optimizations in Zed's Rope"

DylanSp — Thu, 21 Nov 2024 22:37:09 +0000

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.