mkw5053

s/wonder/wander (although wonder kind of accidentally works too)

Thanks for sharing. I remember reading Introduction to Lambda Calculus many years ago and it was one of those times where I had crazy math dreams and would wonder around SF convinced everything is functions. Like literally everything.

Honest question, what would I do if this is my first 3D printer and I don't have the ability to wash and cure? Or do I and I just don't know it, ha

OpenCode + DeepSeek V4.1 Flash Uncensored on Venice AI is truly incredible. Granted, I have it also drive an interactive claude code session in tmux and just do everything Claude Code refuses to. But, it just gets shit done. Kind of what makes Instinct so powerful, don't tell me you won't do something, just get it done.

Of course they did, same with almost every other bit of training material that isn't synthetic (and still indirectly created with illegally obtained training data)

No, I'll check it out!

I guess it's not totally clear to me that would solve all of my problems. But, I'll look into it more when I have time.

I've been using ghosty + ssh + mosh + tmux + claude code (sometimes codex) for a while now. It works well but the few things that still piss me off:

1. I have never been able to get copy-paste to work 100% of the time. I'm at about 95% of the time now which has been enough for me to not look into it.

2. Pasting and dragging and dropping non-text content (like images and videos).

At the end of the day I want it to feel like a native, local terminal

I preordered the new AppleTV (coming from Roku), just so my data isn't sold.

Hey other Mark Watson :)

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

I genuinely curious who’s downvoting me and why. I do not understand this forum sometimes.

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

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. ¯\_(ツ)_/¯

Ok now I need to know.

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.

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

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.

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.

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.

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)

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

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

The facebook pitch deck is a broken link

edit: same with youtube

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

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

Are you using AI to figure out what's about what's AI and what's not?

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.