今日已更新 165 条资讯 | 累计 27340 条内容
关于我们

标签:#hackernews

找到 9390 篇相关文章

AI 资讯

Show HN: Submarius – Global water clarity for divers

Submarius started as just a dashboard for diving conditions, but I quickly realized that there is simply no API for water clarity, nor even a simple way to calculate it. Divers call it viz, and it is one of the most consequential factors for a diving experience. So I dove the viz rabbit-hole. I landed on a state-augmented ensemble kalman filter. More details on the /clarity page. My question for the HN audience is if anyone knows of a better way of doing this? There is a ton of satellite data to

2026-06-21 原文 →
AI 资讯

Show HN: TLA+ Process Studio

Disclaimer: This was made with LLMs. I made this tool to help understand large business processes that can be modelled as a single state machine. The core loop of this is to enable to walk stakeholders through discussing each step, adding comments, and reiterating with an LLM of their choice to generate the TLA+ syntax on the left. Users can click through the green state nodes to see how things work visually. You can see some sample state machines in the dropdown in the top left. The power would

2026-06-21 原文 →