Hacker News with Generative AI: Verification

Elon Musk criticizes Twitch streamer and removes their verification over dispute (twitter.com)
Social Media, Verification, Disputes, Elon Musk, Twitch
8 points by personjerry 1 day ago | 2 comments
Python Logic Simulation Library (github.com/cjdrake)
SeqiLog (pronounced seh-kwi-log) is a Python library for logic design and verification.
Python, Logic Simulation, Libraries, Design, Verification
93 points by mediisoccuspupa 75 days ago | 6 comments
Crux, a Precise Verifier for Rust and Other Languages (arxiv.org)
We present Crux, a cross-language verification tool for Rust and C/LLVM.
Programming Languages, Verification, Rust, C/LLVM
100 points by belter 82 days ago | 13 comments
Google Scholar has a "verified email" for Sir Isaac Newton (bleepingcomputer.com)
It's true: Google Scholar profile of the renowned former physicist and polymath, Sir Isaac Newton bears a "verified email" note.
Google Scholar, Science, Academics, Verification, History
5 points by gaws 91 days ago | 0 comments
Formally verifying tiny bits of QEMU using Frama-C, Richard W.M. Jones, 2020 [video] (youtube.com)
Verification, Software, Programming, QEMU, Frama-C
9 points by todsacerdoti 103 days ago | 0 comments
We verify the correctness of a spreadsheet engine (rowzero.io)
Spreadsheets are a really interesting software domain, because they have a ton of overlapping features.
Software, Spreadsheets, Verification
71 points by breckognize 129 days ago | 7 comments
Trust, but Verify (wikipedia.org)
Trust, Verification, Wikipedia
9 points by Bluestein 146 days ago | 1 comments
Formally verifying security properties of CHERI processors (cheriot.org)
Security, Processors, Computer Science, Verification
5 points by todsacerdoti 169 days ago | 0 comments
The Hitchhiker's Guide to Logical Verification [pdf] (2023) (browncs1951x.github.io)
Logic, Verification, Computer Science, Education, Research
100 points by nextos 172 days ago | 14 comments
Prover-Verifier Games improve legibility of language model outputs (openai.com)
Generative AI, Language Models, Verification, Security
139 points by davidbarker 185 days ago | 29 comments
EU officials say X's paid-for blue check deceives users and breaks law (theregister.com)
EU Law, Social Media, Verification, Deception
12 points by LinuxBender 187 days ago | 3 comments
EU charges X with deceiving users via blue checkmark, draws Musk's ire (reuters.com)
EU, Social Media, Elon Musk, Verification
15 points by gostsamo 189 days ago | 4 comments
Reverse Engineering the Verification QR Code on My Diploma (obrhubr.org)
Reverse Engineering, Security, Education, Verification
77 points by obrhubr 197 days ago | 23 comments
CBMC: C bounded model checker (2021) (cprover.org)
Software, Programming, Verification, Formal Methods
106 points by fanf2 259 days ago | 31 comments
Dafny is a verification-aware programming language (github.com/dafny-lang)
Programming Languages, Verification, Software Development
107 points by r9295 269 days ago | 35 comments
X won't let users hide their blue checks anymore (engadget.com)
Social Media, Verification, Twitter
26 points by ulrischa 281 days ago | 16 comments
X's Premium users can no longer hide their blue checks (theverge.com)
Social Media, Twitter, Verification, Platforms, User Features
25 points by mfiguiere 281 days ago | 8 comments