软件工程
研发流程、质量保障与团队协作
My LLM confirmed a booking that was never saved
Conte você e cada pessoa da equipe que vai usar o Wello1
Show HN: I built a Lovable Alternative that runs in the browser
Hey HN,we built playplanet.dev, a Lovable alternative that lets you build and run full stack apps entirely in the browser, no server needed. We run it on a Linux like system compiled to WebAssembly and then use a runtim…
3 分钟 · Hacker News 最新
Resilience4cata – retries and circuit breakers written at compile time
Annotation-driven resilience for plain Java 21+: retry, hedging, circuit breaker, rate limiter, adaptive concurrency limit, timeout, bulkhead and fallback, declared with annotations that work without Spring, CDI, Aspect…
10 分钟 · Hacker News 最新LATEST STORIES
最新内容
Who needs AI psychosis? I gave myself VR psychosis精选导读
Modern life is an impossible luxury. You have a king’s ransom of salt and spices in your home, clumpy from neglect. These were once worth their weight in gold, and abundance has relegated them to the slithy toves of ALD…
Owning the Harder Problems精选导读
I’ve spent much of my career working on complex problems where getting the product right meant understanding the underlying system, not just building the interface.
Show HN: Advaita Vedanta – Offline Books for Android精选导读
Make room for a little stillness. Read Vedanta and spiritual classics in a calm library designed for thoughtful study.
At 14 Justine Tunney published software. Now she makes AI models run from a file精选导读
暂无摘要
How the Nobel Became the Nobel精选导读
Ragnar Sohlman exhales, shakily, with a briefcase in one hand and a pistol in the other.
Which musical styles do smart people prefer?精选导读
暂无摘要
Police are using AI to pull over drivers for 'suspicious' behavior精选导读
暂无摘要
A 28-Year-Old DOGE Operative Gutted USAID. HR Had No Record of Him Working There精选导读
For at least two months, USAID senior staff had no knowledge of how Lewin, who appeared at the agency one day as a policymaker on an obscure detail from the General Services Administration, could have suddenly begun wie…
Classification of Finite Simple Groups Formalized in Lean精选导读
A new group theory result that came out of this formalization project is reported in this paper. While formalizing the first-generation proof, we found counterexamples to a closure assertion used in a published route to…