Feed aggregator

Article URL: https://digg.com/ai/bfr4bqhh

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

Points: 1

# Comments: 0

Article URL: https://www.sixthtone.com/news/1018567

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

Points: 1

# Comments: 0

Article URL: https://dallasexpress.com/national/h-1b-fraud-claims-back-in-spotlight-after-fox-segment-on-fake-degrees/

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

Points: 2

# Comments: 0

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

Points: 2

# Comments: 0

Article URL: https://arstechnica.com/tech-policy/2026/06/my-ssn-was-exposed-in-a-breach-at-columbia-a-school-i-have-no-connection-with/

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

Points: 1

# Comments: 0

Article URL: https://knowablemagazine.org/content/article/living-world/2026/low-protein-diet-animals-live-longer

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

Points: 3

# Comments: 0

Article URL: https://hardware.slashdot.org/story/26/06/06/1932216/new-power-banks-released-by-bmx-with-safer-semi-solid-state-batteries

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

Points: 1

# Comments: 0

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