软件工程
研发流程、质量保障与团队协作
Show HN: A malleable and formally verified Web engine
Hello HN,I've been working on a new Web engine, build around two ideas:- use formal methods from day one. - make it modular.The modularity is orientated towards the following goals:- enabling shipping anywhere, includin…
Bernstein – open-source governance layer for AI agents
bernstein is the open-source governance layer for ai agents: a deterministic python scheduler runs them in parallel, with no model in the coordination loop, so the same plan replays byte-identically. it runs on policy a…
7 分钟 · Hacker News 最新Bernstein – open-source governance layer for AI agents
bernstein is the open-source governance layer for ai agents: a deterministic python scheduler runs them in parallel, with no model in the coordination loop, so the same plan replays byte-identically. it runs on policy a…
7 分钟 · Hacker NewsLATEST STORIES
最新内容
Show HN: I've logged my time every day since 2024, so I built an app for it精选导读
Tasks, calendar, time and energy — in one realistic daily plan.
We Won't "Just Hang Out"精选导读
What will we do after the Singularity? The standard answer is: “we’ll just hang
We Won't "Just Hang Out"精选导读
What will we do after the Singularity? The standard answer is: “we’ll just hang
Hackers identify ICE employees in data breach精选导读
ImmigrationHackers identify thousands of DHS employees in massive data breach
Ask HN: I Need Advice精选导读
Hello HN.I was laid off six months ago from my longest tenured job. Since then, I have been rotting. And I mean really rotting. I have been staying up late, sleeping in, skipping chores, neglecting my relationships, eat…
Concise/readable versions of OpenAI math dump精选导读
NotificationsYou must be signed in to change notification settings
What about Hyperpolitics精选导读
In this essay for Diggit Magazine, Ico Maly engages with Anton Jäger’s Hyperpolitics to explore the role of digital platforms in contemporary politics. His argument? We should take hyperpolitics seriously without mistak…
The Limit of Extraction: Why Behavioral Data Is Not Equivalent to Expertise精选导读
In the spring of 2026, a major technology corporation installed on the work computers of its American employees a system of continuous logging: cursor movements, clicks, keystrokes, periodic screenshots of the screen ac…
Google Home Speakers downloading massive amounts of data精选导读
The new Google Home Speaker has an issue where it downloads hundreds of gigabytes of data in the background for some owners.