Trending

Content tagged with "verification"

Show all

Hacker News

Top stories from the Hacker News community• Updated 4 minutes ago

HN

My first verified (imperative) program

markushimmel.de

166

TwoFx

4 days ago

code-review software-development code programming education verification

HN

Teaching Program Verification in Dafny at Amazon (2023)

dafny.org

52

Jtsummers

about 1 month ago

programming education verification amazon aws

HN

ReasoningGym: Reasoning Environments for RL with Verifiable Rewards

arxiv.org

90

t55

about 1 month ago

ai algorithms ai-ethics reinforcement-learning verification ai-research gamedev research

HN

Automated Verification of Monotonic Data Structure Traversals in C

arxiv.org

32

MarcoDewey

about 1 month ago

static-analysis algorithms verification data-structures c

Reddit

Top posts from tech subreddits• Updated 4 minutes ago

Reddit

X removes Linda Yaccarino's verified blue check the day after she resigned

techcrunch.com

3021

likwitsnake

about 16 hours ago

r/technology webdev twitter web3 news verification social-media security web2

Reddit

[P] Reasoning Gym: Reasoning Environments for Reinforcement Learning with Verifiable Rewards

reddit.com

6

OllieStanley

about 1 month ago

r/MachineLearning ai ai-ethics reinforcement-learning verifiable-rewards verification ai-research mlops research

Hugging Face Trending

Popular models from Hugging Face• Updated about 1 hour ago

No models found

Try removing the tag filter or searching for different content.

GitHub Trending

Popular repositories from GitHub• Updated less than a minute ago

No repositories found

Try removing the tag filter or searching for different content.