Hacker News

Subscribe to Hacker News feed
Hacker News RSS
Updated: 34 sec ago

Show HN: I made TypeScript's type inference more strict (and smarter)

Mon, 04/21/2025 - 11:47pm

As a TypeScript developer, I often found myself wishing the type system could do more—*especially when omitting or modifying deeply nested properties* inside complex objects and arrays.

For instance, what if I want to remove a deeply nested field like `user.profile.email` and also something like `user.posts[].meta.shares` from a type?

TypeScript doesn't really provide a built-in way to do that.

So I built *DeepStrictTypes* — a utility that lets you *omit deeply nested keys*, even inside arrays, with full type inference and strictness.

Here’s an example:

```ts type Example = { user: { id: string; profile: { name: string; age: number; email: string; }; posts: { title: string; content: string; meta: { likes: number; shares: number; }; }[]; }; };

// Remove 'user.profile.email' and 'user.posts[].meta.shares' type Omitted = DeepStrictOmit< Example, 'user.profile.email' | 'user.posts[*].meta.shares' >; ```

The resulting type:

```ts { user: { id: string; profile: { name: string; age: number; }; posts: { title: string; content: string; meta: { likes: number; }; }[]; }; } ```

Works great for: - Cleaning up types for API responses - Dynamically transforming deeply nested data - Improving type safety when handling structured JSON

[https://github.com/kakasoo/deepstricttypes](https://github.com/kakasoo/deepstricttypes) Would love your feedback or ideas for improvements!

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

Points: 1

# Comments: 0

Categories: Hacker News

Lig – Linear Issues GitFlow

Mon, 04/21/2025 - 11:40pm

Article URL: https://github.com/erickhun/lig

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

Points: 1

# Comments: 0

Categories: Hacker News

Code for Komiko AI Anime&Comic Generator

Mon, 04/21/2025 - 11:39pm
Categories: Hacker News

Show HN: A logic system where inference and operators emerge only from recursion

Mon, 04/21/2025 - 11:34pm

RCX is a recursion-only formal system. It assumes nothing — no logic, no types, no operators. Structures emerge from ∅ by recursive pressure. When recursion stalls, minimal fixes lead to operator emergence. Paradox doesn’t explode — it seals. Logic is not built-in; it’s an effect.

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

Points: 1

# Comments: 0

Categories: Hacker News

Show HN: Juno – A Slack bot that gives everyone their own Executive Assistant

Mon, 04/21/2025 - 11:32pm

Hey HN! We just opened the waitlist for Juno — an AI-powered Slack bot that acts like a personal executive assistant for every member of your team.

But here’s where it gets interesting: These assistants don’t just work for individuals — they collaborate with each other across your team. That means: •Your 1:1s are automatically scheduled because Juno coordinated calendars with your teammate’s assistant •Your manager gets a written update based on your real progress — no extra work from you •You stay in flow because Juno handles check-ins and reminders behind the scenes It’s like giving everyone on your team their own chief of staff, without the overhead.

What Juno does today: Writes and delivers updates Coordinates calendars across teammates Tracks progress and helps prep for what’s next Reduces Slack noise — respectfully

Privacy is built in. You control what’s shared and when. No micromanaging. No new tools to learn. Just seamless, async alignment.

We’d love feedback on the idea, implementation, and where you’d find this most useful. If you want early access, we’re opening up slots gradually: https://www.usejuno.xyz

Happy to answer questions!

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

Points: 1

# Comments: 0

Categories: Hacker News

MCC Interim Linux

Mon, 04/21/2025 - 11:27pm
Categories: Hacker News

Vehicle Maintenance Log

Mon, 04/21/2025 - 11:11pm

Article URL: https://vehiclemaintenancelogapp.com

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

Points: 2

# Comments: 2

Categories: Hacker News

Flat origami is Turing complete (2023)

Mon, 04/21/2025 - 11:09pm

Article URL: https://arxiv.org/abs/2309.07932

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

Points: 1

# Comments: 1

Categories: Hacker News

The Rambling Radio Guy

Mon, 04/21/2025 - 11:05pm
Categories: Hacker News

Pages