Show HN: Hsrs – Type-Safe Haskell Bindings Generator for Rust
What type of 'C2 on a sleep cycle' do they leave behind? Novel Chinese spy group found in critical networks in Poland, Asia
A type-safe, realtime collaborative Graph Database in a CRDT
OpenAI now gets to decide which type of product assassin it will become
Type Construction and Cycle Detection
Parse, Don't Validate and Type-Driven Design in Rust
NASA chief classifies Starliner flight as "Type A" mishap, says agency made mistakes
Type-based alias analysis in the Toy Optimizer
"The launcher sucks, let's call it what it is," Epic Game Store boss says, promising a year of big improvements to speed, new "forum-type" social features, more
Typechecking is undecidable when 'type' is a type (1989) [pdf]
Find 'Abbey Road when type 'Beatles abbey rd': Fuzzy/Semantic search in Postgres
The new Razr Fold is Motorola's first foray into book-style foldables, but which type of foldable do you prefer?
Heart and Kidney Diseases and Type 2 Diabetes May Be One Ailment
How to write type-safe generics in C
Show HN: Encore – Type-safe back end framework that generates infra from code
The X-Files: Resist or Serve is a forgotten fright, and the type of tie-in gem we sadly don't see anymore
Google's new Gemini 2.5 Computer Use model can click, type, and scroll
Automated Lean Proofs for Every Type
Parrot – type-safe SQL in Gleam, supports SQlite, PostgreSQL and MySQL
Cannabis use associated with quadrupled risk of developing type 2 diabetes
