Hacker News with Generative AI: Verification

BBC Verify: What satellite images reveal about Myanmar's quake (bbc.com)
The military government in Myanmar has said at least 2,000 people were killed in the 7.7 magnitude earthquake that hit last Friday.

Myanmar, Earthquakes, Satellite Imagery, Verification, News

7 points by diwank 1 day ago | 0 comments

Ask HN: How much employee resume verification is done in practice? (ycombinator.com)
We all know that it's commonplace to 'put your best foot forward' on resumes as an employee, and sometimes this can lead into bending the truth a little bit.

Human Resources, Employment, Hiring Practices, Verification

47 points by NewUser76312 29 days ago | 80 comments

Programming Languages, Verification, Garbage Collection, OCaml

40 points by matt_d 34 days ago | 4 comments

Long division verified via Hoare logic (cofault.com)
Let's formally verify the venerable long-division algorithm.

Verification, Algorithms, Mathematics

114 points by ndanilov 35 days ago | 60 comments

YouTube asks channel owner to verify phone, permanently overwrites personal info (reddit.com)
Hello Reddit. My name is Ebi. I'm an independent VTuber from the UK, and I really need your help. 🙇‍♀️

YouTube, Privacy, Verification, VTubers

403 points by Tijdreiziger 44 days ago | 274 comments

Verifying FPGA using Free OS tools and frameworks (hackster.io)
When working with FPGA, before we put the design on hardware we need to be able to verify it lets take a look at how we can do this.

FPGA, Hardware, Verification, Open Source

6 points by signalhound 65 days ago | 0 comments

Social Media, Verification, Disputes, Elon Musk, Twitch

8 points by personjerry 75 days 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 149 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 156 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 165 days ago | 0 comments

Verification, Software, Programming, QEMU, Frama-C

9 points by todsacerdoti 177 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 203 days ago | 7 comments

Trust, Verification, Wikipedia

9 points by Bluestein 220 days ago | 1 comments

Security, Processors, Computer Science, Verification

5 points by todsacerdoti 243 days ago | 0 comments

Logic, Verification, Computer Science, Education, Research

100 points by nextos 245 days ago | 14 comments