Hacker News
An argument for a dynamic root of trust in mission-critical systems (2024)
Article URL: https://militaryembedded.com/cyber/cybersecurity/an-argument-for-a-dynamic-root-of-trust-in-mission-critical-systems
Comments URL: https://news.ycombinator.com/item?id=43758939
Points: 1
# Comments: 0
Forecaster reacts: METR's bombshell paper about AI acceleration
Article URL: https://peterwildeford.substack.com/p/forecaster-reacts-metrs-bombshell
Comments URL: https://news.ycombinator.com/item?id=43758936
Points: 1
# Comments: 0
Christian "TheoBros" Are Building a Tech Utopia in Appalachia
Article URL: https://www.motherjones.com/politics/2025/04/christian-theobros-are-building-a-tech-utopia-in-appalachia/
Comments URL: https://news.ycombinator.com/item?id=43758933
Points: 1
# Comments: 0
Bloat – Rob Pike [slides]
Show HN: I made TypeScript's type inference more strict (and smarter)
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
JEDEC finalizes HBM4 standard with major bandwidth and efficiency upgrades
Lig – Linear Issues GitFlow
Article URL: https://github.com/erickhun/lig
Comments URL: https://news.ycombinator.com/item?id=43758894
Points: 1
# Comments: 0
Code for Komiko AI Anime&Comic Generator
Article URL: https://github.com/Story-Engine-Inc/Komiko
Comments URL: https://news.ycombinator.com/item?id=43758890
Points: 1
# Comments: 0
MIT 6.S191 (Liquid AI): Large Language Models [video]
Article URL: https://www.youtube.com/watch?v=_HfdncCbMOE
Comments URL: https://news.ycombinator.com/item?id=43758877
Points: 1
# Comments: 0
Show HN: A logic system where inference and operators emerge only from recursion
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
Show HN: Juno – A Slack bot that gives everyone their own Executive Assistant
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
MCC Interim Linux
Article URL: https://en.wikipedia.org/wiki/MCC_Interim_Linux
Comments URL: https://news.ycombinator.com/item?id=43758849
Points: 1
# Comments: 0
Car found in hangar of sunken WWII ship
Article URL: https://www.miamiherald.com/news/nation-world/national/article304627226.html
Comments URL: https://news.ycombinator.com/item?id=43758835
Points: 4
# Comments: 0
In depth with Windows 11 Recall–and what Microsoft has (and hasn't) fixed
Article URL: https://arstechnica.com/gadgets/2025/04/in-depth-with-windows-11-recall-and-what-microsoft-has-and-hasnt-fixed/
Comments URL: https://news.ycombinator.com/item?id=43758830
Points: 1
# Comments: 0
Measuring the response latency of OpenAIs WebRTC-based Realtime API
Article URL: https://webrtchacks.com/measuring-the-response-latency-of-openais-webrtc-based-real-time-api/
Comments URL: https://news.ycombinator.com/item?id=43758802
Points: 1
# Comments: 0
Vehicle Maintenance Log
Article URL: https://vehiclemaintenancelogapp.com
Comments URL: https://news.ycombinator.com/item?id=43758766
Points: 2
# Comments: 2
Flat origami is Turing complete (2023)
Article URL: https://arxiv.org/abs/2309.07932
Comments URL: https://news.ycombinator.com/item?id=43758762
Points: 1
# Comments: 1
Martin Schwartz and the importance of stupidity in science [audio]
Article URL: https://bsky.app/profile/nightsciencepod.bsky.social/post/3lnd2sxabec26
Comments URL: https://news.ycombinator.com/item?id=43758759
Points: 1
# Comments: 1
The Rambling Radio Guy
Article URL: https://solderandsignal.com/engineers-journal.html
Comments URL: https://news.ycombinator.com/item?id=43758731
Points: 1
# Comments: 0
New ChatGPT Models Seem to Leave Watermarks on Text
Article URL: https://www.rumidocs.com/newsroom/new-chatgpt-models-seem-to-leave-watermarks-on-text
Comments URL: https://news.ycombinator.com/item?id=43758730
Points: 4
# Comments: 0