Hacker News

Article URL: https://www.lms.ac.uk/news/leiden-declaration-on-ai-and-mathematics

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

Points: 4

# Comments: 1

Article URL: https://www.ardel.io/blog/the-3am-problem

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

Points: 2

# Comments: 0

Article URL: https://sassafrasbeefarm.wordpress.com/2026/01/03/beekeeper-watching-the-blooms/

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

Points: 1

# Comments: 0

Article URL: https://steadypair.com/blog/finish-the-underside/

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

Points: 2

# Comments: 0

Article URL: https://julienreszka.com/blog/what-actually-works-for-dating-in-2026/

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

Points: 2

# Comments: 0

Article URL: https://findnix.eu

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

Points: 1

# Comments: 1

Article URL: https://gavinray97.github.io/blog/building-from-zero-after-addiction-prison-felony

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

Points: 2

# Comments: 0

Hello! Wanted to share Typol, a thin static typing layer around Polars that lets you enforce columnar schemas. We've been hesitant in the past to go with dataframes for processing reporting data, especially with Pandas, due to the long-term maintainability burden of tooling not understanding the data we're processing, or the library itself. Polars is well typed and encourages constructing shapes up rather than modifying in-place, so adding schema typing to it seemed like a natural extension. If Polars DataFrames are dicts, then Typol's are TypedDicts.

With Typol, it's easy to define your schemas, which should feel familiar if you're moving from dataclass-style code or from Polars' own schemas, and then build well-typed Polars expressions on these that enforce: (1) valid columns are referenced, (2) column values are used in a valid way for their type, and (3) expressions generate target valid columns in resulting schemas with the correct type.

class Account(tp.Shape): name = tp.dimension(str) website = tp.dimension(str) uid = tp.dimension(int) # Works, with the type: Expr[Account, Account, str] email_address = accounts.s.name.str.to_lowercase() + "@" + accounts.s.website # Caught statically: # Unsupported `+` operation: `BoundDimension[Account, int]` + `Literal["@"]` email_address = accounts.s.uid + "@" + accounts.s.website These types are checked statically using ty, which supports spelling the intersection types needed to infer join results, with a little dynamic enforcement filling in where static analysis can't reach. This allows you to make use of tooling both to check and guide your code (dot completion coming in handy). Existing tools, like Pandera, do provide dynamic verification of dataframe shapes. Whilst this can be good, it bites you at runtime which is well after a problem should be caught, and doesn't provide any tooling benefit.

Typol is great for production data processing pipelines, where narrowing your data to well-defined schemas at each processing stage can be appropriate and powerful. It's not well suited to a lot of data science, where columns generally get added and dropped quite freely. It covers most core Polars expression operations (laziness, arithmetic, strings, datetimes, lists, filtering, joins, aggregations), but we'd love to extend it further, and we'd love for you to try it out!

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

Points: 1

# Comments: 0

Article URL: https://github.com/onecommons/unfurl

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

Points: 1

# Comments: 1

Article URL: https://www.youtube.com/watch?v=4LfDuyqmsts

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

Points: 1

# Comments: 0

Article URL: https://boomurl.com

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

Points: 1

# Comments: 1

Article URL: https://www.youtube.com/watch?v=Jj7Q7OqaW4A

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

Points: 1

# Comments: 0

Article URL: https://www.kjzz.org/politics/2026-06-04/desalinated-ocean-water-gets-one-step-closer-to-helping-arizona-with-drought-troubles

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

Points: 1

# Comments: 0

Article URL: https://citizenlab.ca/researchers-uncover-espionage-in-mobile-networks/

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

Points: 1

# Comments: 0

Article URL: https://arxiv.org/abs/math/9205211

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

Points: 1

# Comments: 0

Article URL: https://hyperdash.com/asset/spcx-hyperliquid

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

Points: 1

# Comments: 1

Article URL: https://eng.snap.com/codepal

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

Points: 1

# Comments: 0

Article URL: https://github.com/Kayvan-Zahiri/state-of-ats-2026

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

Points: 1

# Comments: 1

Article URL: https://github.com/mmkumar5401/GraphRag

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

Points: 2

# Comments: 0

Article URL: https://www.amazon.com/Blue-Screen-Peter-Gustafson-Defragmented/dp/B084QL16YT

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

Points: 2

# Comments: 0