niftycent.com
NiftyCent
SK
Prihlásiť sa
Marketplace
Zľavy

Teaching Program Verification in Dafny at Amazon (2023)

Article URL: https://dafny.org/blog/2023/12/15/teaching-program-verification-in-dafny-at-amazon/

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

Points: 7

# Comments: 3

https://dafny.org/blog/2023/12/15/teaching-program-verification-in-dafny-at-amazon/

Vytvorené 1mo | 3. 6. 2025, 0:20:05


Ak chcete pridať komentár, prihláste sa

Ostatné príspevky v tejto skupine

LooksMapping
LooksMapping

Article URL: https://looksmapping.com/

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

4. 7. 2025, 7:20:16 | Hacker news
Zig breaking change – initial Writergate
Zig breaking change – initial Writergate

Article URL: https://github.com/ziglang/zig/pull/24329

Comments URL: https://

4. 7. 2025, 7:20:15 | Hacker news
The Rise of Whatever
The Rise of Whatever

Article URL: https://eev.ee/blog/2025/07/03/the-rise-of-whatever/

Comments URL:

4. 7. 2025, 7:20:13 | Hacker news
Major reversal in ocean circulation detected in the Southern Ocean
Major reversal in ocean circulation detected in the Southern Ocean

Article URL: https://www.icm.csic.es/en/news/major-reversal-ocean-circul

4. 7. 2025, 7:20:13 | Hacker news
WASM Agents: AI agents running in the browser
WASM Agents: AI agents running in the browser

Article URL: https://blog.mozilla.ai/wasm-agents-ai-agents-running-in-your-browser/

Comments URL:

4. 7. 2025, 7:20:12 | Hacker news
Google says "not a security vulnerability", quickly fixes without attribution
Google says "not a security vulnerability", quickly fixes without attribution

Article URL: https://groups.google.com/g/certificate-transparency/c/u8SsXgSFbz4/m/CThyzj-QBAAJ

<

4. 7. 2025, 7:20:11 | Hacker news
What is going on in Unix with errno's limited nature
What is going on in Unix with errno's limited nature

Article URL: https://utcc.utoronto.ca/~cks/space/blog/unix/ErrnoWhySoLimited

Comments URL:

4. 7. 2025, 7:20:09 | Hacker news
Techie
Techie