Jonathan Slenders

[Jonathan Slenders @jonathan_s]

@teej_dv Maybe actors and actor interfaces. Something like @ponylang has.

[Jonathan Slenders @jonathan_s]

@levelsio That looks like a channel airco, uncommon for a house, and needs bigger, insulated pipes compared to HVAC. It doesn't solve CO2 levels. Usually it's multi-split airco plus separate HVAC (gebalanceerde ventilatie).

[Jonathan Slenders @jonathan_s]

@levelsio Pretty sure new buildings in Belgium should have HVAC and it's often installed during house renovations. Mostly to cope with increased humidity as a result of adding insulation, but it should deal with CO2 levels. No need to open windows.

[Jonathan Slenders @jonathan_s]

@gvanrossum Overall, this would help me a lot. I would need a bit of time to play with the proof of concept Mypy implementation.

[Jonathan Slenders @jonathan_s]

@1st1 Not sure if it's serious. I did actually miss this a couple of times so far, but the workaround is easy enough. But like Armin, I'd really love more focus on cheap userspace threads (with cancellation).

[Jonathan Slenders @jonathan_s]

@rockorager @mitsuhiko Any ANSI escape would indicate a tty. Many processes however perform tty-related syscalls before producing any output, or conditionally enable vt100 based rendering if either stdin or stdout is a tty. What exactly would you like to achieve?

[Yury Selivanov @1st1]

⏰ New PEP alarm! ⏰

Limitations in software engineering are meant to be broken. For years I was bothered with the gap between Python and TypeScript: one has incredibly dynamic and powerful runtime, the other has incredibly dynamic and powerful type system.

So why not both? 🔥

[Jonathan Slenders @jonathan_s]

@raymondh @property Actually, I even stopped using `property` at all, unless there is no other way and can't be happier. Access to unbound methods; ability to add parameters if I have to and clear separation between data and OO-interface.

[Jonathan Slenders @jonathan_s]

@unclebobmartin So, do you mean that types are redundant for the AI, because given a good test suite, that information is already encoded in the tests? (trying to understand, not sure I agree)

[Jonathan Slenders @jonathan_s]

"You are being misled about renewable energy technology." - https://t.co/Ha3TzSKYCN

[Jonathan Slenders @jonathan_s]

@willmcgugan Yes, polymorphic functions, but in that case, the caller is not supposed to know which precise implementation it's calling, so there is no way to statically assume it's one specific implementation where the result is always `None`. So there is little to statically verify.

[Jonathan Slenders @jonathan_s]

@willmcgugan If a function has `-> None`, does it not always have no meaning? This could be enforced by a type checker without introducing a different annotation.

[Mitchell Hashimoto @mitchellh]

I answer about a dozen or so emails every week from students and early stage founders. One of the most common red flags I see are people who want to be a founder for the sake of it and are chasing ideas or guessing. It's so common I have a canned response. Here it is:

(Starting the canned response here)

I’m sorry to say it sounds like you’re searching for an idea. Or, you have a solution in need of a problem. Or, you just like the idea of being a founder (for whatever reason).

This isn’t what you want to hear, but go get a job and work for awhile. If you have a solution that needs market validation, then work in the industry that you think that market exists. Immerse yourself in some industry, it really doesn’t matter what one, because they’re all so filled with problems that need to be solved that you can choose anything.

It only takes one or two years.

Then your problem isn’t going to be wondering “is this a good idea?” “What is a good idea?” Etc. The problem is going to be: which of these 10 obviously good ideas won’t be solved unless I do it, and which do I want to spend the next 10 years of my life working on? That’s the real hard question.

Remember, the key questions a VC is going to ask you and you should ask yourself is: “Why this? Why now? Why you?” You should have full confidence in all of them. The easy part is confidence in all of them. Then the hard part is executing fast enough and hoping the market moves with you with external factors that are mostly out of your control. :)

Don’t search for an idea. Let one come to you. Go get a job.

I’m sorry to tell you that, but it’s the advice I think you need to hear. Like I said, it won’t take long, one or two years or so. But that one or two years of working is going to save you more years of your life most likely wasting your time on the easy part (finding the idea). Plus, you’ll get paid for it.

[Jonathan Slenders @jonathan_s]

@willmcgugan If the amount of data is small, then a Pydantic based table structure serialized to JSON works great. Very fast, easy to add constraints, typed out of the box. Make all data frozen if you want (immutable copy on write). Only disadvantage is that it doesn't scale beyond megabytes.

[Jonathan Slenders @jonathan_s]

@1st1 That's great! I wish you and the team the best.

[Jonathan Slenders @jonathan_s]

@willmcgugan I'd really want libghostty Python bindings for this. The Pyte library is the best we currently have. Trying to reimplement a terminal emulator is IMHO a wast of time unless you're really okay with a subset, too many details that are hard to get right.

[Jonathan Slenders @jonathan_s]

@mitchellh I'd love to see Python bindings for libghostty as a substitute for the Pyte library. Maybe then I will revive the pymux project so that we have a libghostty powered terminal multiplexer (tmux clone).

[Mitchell Hashimoto @mitchellh]

An excellent comprehensive review of the state of unicode handling in terminals in 2025. I'm happy to see Ghostty scored an overall 100/100! We work really hard on Unicode support and this report gives us a good roadmap for what we need to work on next. https://t.co/9rdyYpNAqr