Hacker News with Generative AI: Verification

I verified DeepMind's AlphaEvolve matrix multiplication breakthrough with Claude (github.com/PhialsBasement)
Verification of Google DeepMind's AlphaEvolve 48-multiplication matrix algorithm, a breakthrough in matrix multiplication after 56 years.

Verification, Machine Learning, Matrix Multiplication, AI, DeepMind

30 points by Phiality 41 days ago | 0 comments

A tool to verify estimates, II: a flexible proof assistant (wordpress.com)
In a recent post, I talked about a proof of concept tool to verify estimates automatically.

Software, Tools, Proof Assistants, Estimates, Verification

69 points by jjgreen 49 days ago | 3 comments

Verification, the Key to AI (2001) (incompleteideas.net)
It is a bit unseemly for an AI researcher to claim to have a special insight or plan for how his field should proceed.

Artificial Intelligence, Research, Verification

36 points by anjneymidha 50 days ago | 6 comments

VerifAI – open-source generative search with verification (github.com/nikolamilosevic86)
VerifAI is a document-based question-answering systems that aims to address problem of hallucinations in generative large language models and generative search engines.

Generative AI, Open Source, Search Engines, Verification

10 points by nikolamilosevic 50 days ago | 1 comments

Step-by-step reasoning verifiers that think (arxiv.org)
Step-by-step verifiers -- also known as process reward models (PRMs) -- are a key ingredient for test-time scaling.

Artificial Intelligence, Machine Learning, Research, Reasoning, Verification

6 points by mkhalifa 56 days ago | 1 comments

RefinedRust: High-Assurance Verification of Rust Programs [video] (youtube.com)

Rust, Programming Languages, Software Development, Security, Verification

6 points by matt_d 60 days ago | 0 comments

Bluesky launches blue check verification (techcrunch.com)
Bluesky announced on Monday that it is rolling out blue check verification, confirming previous rumors that this feature was on its way to the platform.

Social Media, Verification, Twitter Alternative

8 points by DocFeind 67 days ago | 1 comments

A new form of verification on Bluesky (bsky.social)
Trust is everything. Social media has connected us in powerful ways, but it hasn’t always given us the tools to know who we’re interacting with or why we should trust them.

Social Media, Verification, Trust

384 points by ink_13 67 days ago | 296 comments

Verus: Verified Rust for low-level systems code (github.com/secure-foundations)
Verus is a tool for verifying the correctness of code written in Rust.

Rust, Programming Languages, Software, Security, Verification

158 points by mmcloughlin 68 days ago | 48 comments

Bluesky may soon add blue check verification (techcrunch.com)
Bluesky may soon get a new blue checkmark verification system, according to changes to the app’s public GitHub repository spotted Friday by reverse engineer alice.mosphere.at.

Social Media, Verification, Technology, GitHub, Open Source

12 points by evbogue 69 days ago | 1 comments

Angry users react to Bluesky's upcoming blue check mark verification system (neowin.net)
Bluesky recently added longer video uploads and introduced custom feeds for vertical videos. Now, the platform is getting another update that could bring a familiar, yet different, blue check verification system to the platform.

Social Media, Verification, Bluesky

15 points by bundie 70 days ago | 5 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 116 days ago | 80 comments

A mechanically verified garbage collector for OCaml [pdf] (kcsrk.info)

Programming Languages, Verification, Garbage Collection, OCaml

40 points by matt_d 121 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 121 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 131 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 152 days ago | 0 comments

Elon Musk criticizes Twitch streamer and removes their verification over dispute (twitter.com)

Social Media, Verification, Disputes, Elon Musk, Twitch

8 points by personjerry 162 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 235 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 242 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 251 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 263 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 289 days ago | 7 comments

Trust, but Verify (wikipedia.org)

Trust, Verification, Wikipedia

9 points by Bluestein 307 days ago | 1 comments

Formally verifying security properties of CHERI processors (cheriot.org)

Security, Processors, Computer Science, Verification

5 points by todsacerdoti 329 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 332 days ago | 14 comments

Prover-Verifier Games improve legibility of language model outputs (openai.com)