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

Show HN: Tiny Hoare logic verifier using SMT

Article URL: https://github.com/namin/metaprogramming/tree/master/lectures/5-smt

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

Points: 7

# Comments: 1

https://github.com/namin/metaprogramming/tree/master/lectures/5-smt

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


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

Ostatné príspevky v tejto skupine

We Hacked Burger King: How Auth Bypass Led to Drive-Thru Audio Surveillance
We Hacked Burger King: How Auth Bypass Led to Drive-Thru Audio Surveillance

Article URL: https://bobdahacker.com/blog/rbi-hacked-drive-thrus/

Comments URL:

6. 9. 2025, 15:30:14 | Hacker news
996
996

Article URL: https://lucumr.pocoo.org/2025/9/4/996/

Comments URL: https://news.y

6. 9. 2025, 15:30:13 | Hacker news
DuckDuckGo founder: AI surveillance should be banned
DuckDuckGo founder: AI surveillance should be banned

Article URL: https://gabrielweinberg.com/p/ai-surveillance-should-be-banned

Comments URL:

6. 9. 2025, 15:30:12 | Hacker news
Oldest Recorded Transaction
Oldest Recorded Transaction

Article URL: https://avi.im/blag/2025/oldest-txn/

Comments URL: https://news.ycomb

6. 9. 2025, 15:30:11 | Hacker news
Why Language Models Hallucinate
Why Language Models Hallucinate

Article URL: https://openai.com/index/why-language-models-hallucinate/

Comments URL:

6. 9. 2025, 13:20:11 | Hacker news
Let us git rid of it, angry GitHub users say of forced Copilot features
Let us git rid of it, angry GitHub users say of forced Copilot features

Article URL: https://www.theregister.com/2025/09/05/github_copilot_complaints/

Comments URL:

6. 9. 2025, 13:20:09 | Hacker news
A Software Development Methodology for Disciplined LLM Collaboration
A Software Development Methodology for Disciplined LLM Collaboration

Article URL: https://github.com/Varietyz/Disciplined-AI-Software-Development

Comments URL:

6. 9. 2025, 13:20:08 | Hacker news
Techie
Techie