HNHacker News
TopNewBestAskShowJobs

mkw5053

699 karma · joined January 29, 2014

submissionscomments
mkw5053··on iPhone Duo
Hey other Mark Watson :)
mkw5053··on Three sites made 215,128 “best software” pages for AI. Perplexity cites them
They've raised $155M total now with the latest at a $1B valuation [1] from Lightspeed, Sequoia, Kleiner Perkins, Khosla, and NVIDIA.

And very impressive list of angels too: Guillermo Rauch (Vercel), Karim Atiyeh (Ramp), Andrew Karam (AppLovin) among others

Last I heard they're trying to reposition from AEO/GEO to "AI Marketer". No clue how that's going, I feel like the AEO/GEO stuff isn't super defensible at that valuation if for no other reason than I assume (hope) the spamming stops working.

[1] https://dealroom.co/news/126181-profound-raises-96m-at-1b-va...

mkw5053··on OpenAI Jalapeño: Better than Nvidia Blackwell
I genuinely curious who’s downvoting me and why. I do not understand this forum sometimes.
mkw5053··on OpenAI Jalapeño: Better than Nvidia Blackwell
Warning, this is a long comment! (I’m trying to stick to sourced facts here and not overstate what they mean)

I went down a rabbit hole after watching Dylan Patel on Dwarkesh today: https://www.youtube.com/watch?v=aV26V1UvkJw

I was initially just surprised by how bullish Dylan is on OpenAI/Anthropic and how bearish he is on China, despite Chinese labs getting closer to US SOTA while offering inference at dramatically lower prices.

So, I started digging while waiting for various day-job inference calls to return, ha.

Dylan says he spent years obsessively posting on hardware forums, moderating hardware subreddits, and running anonymous hardware blogs/videos before SemiAnalysis. But he also says most of that history is now gone, including from the Internet Archive, because he asked for it to be removed.[1]

In a 2024 interview he described his post-college job as “data science” around hurricane/earthquake/wildfire simulations for a financial company.[1] In a 2026 Sequoia interview he described himself as having been a “quant at a small quant risk firm” who generated $10M+ of “risk-free revenue.”[2] The Information reports that he declined to identify the employer and doesn’t list it on LinkedIn.[3]

Even harmless/silly stuff seems to drift. In February he said he kept bees for ~1.5 years. Today it was “few months, few months.”[4][5] I know, sort of silly and doesn't matter.

The Information reports that Patel owns stakes in ~20 startups in the same ecosystem SemiAnalysis covers, organized a $50M Fluidstack SPV, and is now targeting a $400M venture fund.[3][6]

And, in a 2022 HN discussion about SemiAnalysis disclosures, after saying his reports had moved smaller stocks by 20% in a day, Patel wrote: “If I thought I could move the stock, I'd make the position in the morning alongside my clients, and publish shortly after.”[7]

I don’t know that any of this is false or that anything improper happened (I’m definitely not claiming that). More that 1-2 of these things would just be odd. Taken together, though, they made me question how much trust I was putting in the broader story.

The dynamic of reminds me of crypto, WeWork, Theranos, Citron, etc. Once enough important people validate someone, things that would normally invite basic diligence somehow stop getting questioned.

[1] https://www.dwarkesh.com/p/dylan-jon

[2] https://sequoiacap.com/podcast/dylan-patel-of-semianalysis-w...

[3] https://www.theinformation.com/articles/dylan-patel-semianal...

[4] https://www.latent.space/p/dylanpatel-cooking

[5] https://www.dwarkesh.com/p/dylan-patel-3

[6] https://www.theinformation.com/briefings/exclusive-semianaly...

[7] https://news.ycombinator.com/item?id=31065646

mkw5053··on What's the best programming language for coding agents?
I try to capture as much as possible in types/schemas/constraints (then lint rules) and then only as a last resort write tests. And as few and complementary as possible. And I want a functional core with unit tests and imperative shell and not a bunch of complex mocks. ¯\_(ツ)_/¯
mkw5053··on Andy Pavlo joins ClickHouse to establish ClickHouse Labs
Ok now I need to know.
mkw5053··on U.S. debt-to-GDP ratio reaches 123%
I'd argue boomers are the main reason we're in this mess.

Boomers spent decades voting for politicians who promised low taxes, protected retirement benefits, and high government spending, then shifted the bill to younger generations.

mkw5053··on Show HN: CheapFoodMap – A map of good meals under $10
Yeah a quick glance and none of the ones I saw around my office are meals. I'm honestly not sure a $10 meal exists in SF anymore...
mkw5053··on Introduction to Formal Verification with Lean Part 1
If you like Lean, here are two more great, short books on proving things about your program (not with Lean, though):

1. https://mitpress.mit.edu/9780262527958/the-little-prover/

2. https://mitpress.mit.edu/9780262536431/the-little-typer/

David Thrane Christiansen, co-author of the second, also wrote Functional Programming in Lean (Lean 4) among many other tutorials and things.

mkw5053··on PenEcho: An Open-Source Canvas with AI
I’m not the author of the project, but I thought it was a really impressive. They also do some cool things to save on API tokens.
mkw5053··on The LLM Critics Are Right. I Use LLMs Anyway
We try to use types as much as possible. And if we can't, then lint rules, etc. Basically, get everything as far left in the SDLC as we can.

And, if/where we need tests, we write the source so they are few, high value, and complementary. Like actual unit tests, not complex with stuff like mocks just to generate trivial coverage.

mkw5053··on Are we offloading too much of our thinking to AI?
1. I loved the Paper Menagerie

2. I just picked up Exhalation by Ted Chiang from SFPL like 3 hours ago, perfect timing it seems (although they only had a large font edition, which is somehow more difficult to read)

mkw5053··on Actegories
He also has an excellent online/PDF version of the material[0]. All of it is really mind opening stuff, and fun!

[0] https://bartoszmilewski.com/2014/10/28/category-theory-for-p...

mkw5053··on LARP – Revenue infrastructure for serious founders
What is this style/design called? I keep seeing it pop up more and more (and have to assume it's a side effect of vibe coding).
mkw5053··on Billion Dollar PDFs
The facebook pitch deck is a broken link

edit: same with youtube

mkw5053··on Redeploying Fable 5
Huge bummer. So what's the point of an anthropic subscription? Or is this just the end of subscriptions? Looking forward to gpt-5.6 (assuming we can still use our subscriptions there).
mkw5053··on Ask HN: Are you still using a Vision Pro?
I use it about once every 3 months now to watch content while laying in bed when I don't think it'll annoy my wife too much
mkw5053··on Hacker News, Sans AI
Are you using AI to figure out what's about what's AI and what's not?
mkw5053··on Ask HN: What is your (AI) dev tech stack / workflow?
I use these exact principles (which change):

  1. No overengineering. Minuscule complexity. Always pick the smallest
     implementation that works. No speculative features, no defensive code
     for impossible cases, no premature abstraction.

  2. Lean on tools, libraries, vendors, and existing internal patterns so
     we maintain the least complexity ourselves. Before any real
     implementation decision, default to discovery (official docs, recent
     trusted expert sources, etc).

  3. Shift left in the SDLC. For every check, pick the cheapest
     deterministic mechanism upstream. Hierarchy: types, then lint, then
     DB constraints, then build-time checks, then deterministic CI, then
     tests we maintain.

  4. Tests are not exempt from minimum-complexity discipline. Don't write
     tests for the sake of coverage. Tests must be few, complementary, and
     valuable. If a type, lint rule, DB constraint, or build-time check
     already proves something, a test that re-asserts the same guarantee
     is duplication: extra source to maintain, drifts from reality, adds
     CI latency.

  5. Compound engineering. When you teach me a rule, build the prevention
     into artifacts (AGENTS.md, lint, hooks, reviewer prompts) so it
     applies automatically going forward. Don't rely on memory.

  6. Prefer functional, pure, immutable. Mutation is a smell unless inside
     a contained scope with a clear reason. Arrow functions plus
     reduce/map/filter over for-loops with let.

  7. Parse, don't validate. Boundary inputs become typed values via Zod
     (or similar); downstream code carries the type. No scattered
     re-validation.

  8. Functional core, imperative shell. I/O at the edges; domain logic
     pure.

  9. Keep going. Don't stall on ceremony. Make forward progress.
mkw5053··on Ask HN: What is your (AI) dev tech stack / workflow?
Claude code + very opinionated type script. Try to push as much as possible as far left in the SDLF (types -> lint rules -> tests -> md) and try to improve the dev ex after every single PR.
mkw5053··on US's big bet on quantum computing may not be legal
The eviction moratorium is probably the strongest example available, and I don't think it's a good one for Biden. But one controversial episode doesn't establish a precedent for systematic noncompliance with court orders. If anything, it stands out precisely because it was unusual enough to generate criticism across the political spectrum.

Sources:

https://www.lawfaremedia.org/article/anatomy-screw-biden-evi...

https://www.supremecourt.gov/opinions/20pdf/21a23_ap6c.pdf

mkw5053··on Dynamic Workflows in Claude Code
Very cool. What % of the CC team's engineering would you say goes into QoL (as opposed to new feature development)? Obviously some live in a grey area, while others are more clear like making CI faster.
mkw5053··on Dynamic Workflows in Claude Code
Wow, almost like the good old days of /ultrathink are back. Feels simultaneously like just yesterday and a lifetime ago.
mkw5053··on Toxic chemical leak at a manufacturing facility in Orange County
Where are all of the humanoid robots? Get them in there with whatever the oil and gas industry uses for tapping pipes/containers under pressure. I'm only half kidding.
mkw5053··on Green card seekers must leave U.S. to apply, Trump administration says
I think you hit the nail on the head. It maps directly to much of their coalition’s rhetoric, accusations, policy agenda, and behavior these days, including, but not limited to, their obsession with pedophilia.
mkw5053··on Trump Mobile exposed customers' personal data
I would not have believed you if you had told me they had the engineering and operations talent to prevent personal data leaks, among many other things.
mkw5053··on Anthropic/Blackstone enterprise AI venture acquires Fractional AI
https://www.businesswire.com/news/home/20260520809828/en/The...
mkw5053··on Graduates are booing pep talks on AI at college commencements
I believe Anthropic has stopped hiring junior and mid eng. So if they're an indication of what's the come (or is already here)
mkw5053··on Graduates are booing pep talks on AI at college commencements
Especially after the first 1-2 got booed, you'd think those that had them scheduled later would have done another pass on their draft...

Or better yet, reflected on their world view and the reception.

mkw5053··on Claude subscription changes coverage of `claude -p`
Out of curiosity, how are you using it and for what?
Page 1 of 7Next →