Chris Henson
4.7K posts

Chris Henson
@_chenson__
CS PhD student @DrexelCCI working on formalization in Lean. Maintainer of https://t.co/waYLdE0QGI. Formerly Quant Finance at Bank of America.







wow wow wow holy BASED I love Patrick Massot and I have been saying that for a year












This is a really good area for academics to target, BTW, if you feel worried about competing with industry but still want to make a big impact on the field


Programming languages, a domain that does not have deep established cultural history, quickly adopted syntax formatting and highlighting, because those things are better for readability. Math notation has a much deeper cultural history, and also did a similar thing: math notation is inherently a very 2D language, because that's better for readability. I think it's reasonable to believe that the underlying advantages of these styles are likely also at least sometimes true for written text. Prose is one-dimensional because we historically have such a strong tradition of wanting spoken text and written text to correspond to each other. Now, we get an opportunity to re-evaluate that convention, and we discover that patterns other than one-dimensional linear prose are more reader-friendly, of which bullet points are a major one. I think this is all a healthy development.


@redixhumayun I personally hate it. Commit authorship (to me) is about responsibility and knowledge, it’s who you go to when something breaks or when you’re trying to understand something. I would be fine seeing only Claude for autonomous commits, this version just muddies the waters.

OpenAI acquired Astral, the team behind uv, ruff, and ty. Fun fact: Claude is the #6 contributor to uv. Curious if Anthropic will ban them from using Claude since the team is joining OpenAI. Congrats to the Astral team who built incredible Python tools!





1/8 Two days ago, @Liam06972452 prompted GPT-5.4 Pro using our workflow that had been working for the Erdős problems thus far, and was able to eventually obtain a solution to epoch.ai/frontiermath/o…: chatgpt.com/share/69ae3b99…







5.2 acres of land in Italy, a working olive grove that produces oil, private woodland, a renovated stone farmhouse and an 80m² cellar. €260k ($300k). A lot of people are rethinking where they live and how they live. This is what that looks like in practice. A courtyard with a wood oven and grape pergola. Three connected structures, 150m² (1,615 sq ft) of living space, 2 beds and 2 baths. Get Starlink, run your business from anywhere, add solar panels, collect your water. You're largely off-grid. One hour from Rome if you ever get bored and need the city. Is this the kind of property that starts making more sense the more the world changes?








