news newest ask show jobs

Open Source @Github

fp.

Open in hackernews

I Tried to Verify Rust OSS with Lean 4 and Found Many Bugs

https://medium.com/@Koukyosyumei/i-tried-to-formally-verify-popular-rust-projects-with-lean-4-but-found-more-bugs-than-i-expected-5badd0017b7c

4•syumei•1h ago

Comments

andriy_koval•6m ago

From the article, it is not clear how exactly verification using Lean uncovered those bugs.

It more looks like he started making assumptions about external dependencies, and start adding tests for testing those dependencies, and that's where bugs popped up.

If one anti-malware software is good, does that make two better?

https://devblogs.microsoft.com/oldnewthing/20261008-00/?p=112762/

1•ibobev•3m ago•0 comments

One way of thinking about access specifiers in C++/WinRT implementation types

https://devblogs.microsoft.com/oldnewthing/20261009-00/?p=112764/

1•ibobev•3m ago•0 comments

C++ futures part 1: The mental model

https://devblogs.microsoft.com/oldnewthing/20261012-00/?p=112767/

1•ibobev•4m ago•0 comments

New tool lets you simply back up your Android APK before upgrades

https://howtotrainyourrobot.com/new-simple-tool-for-android-app-version-backup-apksafepassage/

1•programmin•4m ago•0 comments

Agents are your newest insiders. Security must move at their speed

https://www.microsoft.com/en-us/security/blog/2026/10/19/agents-are-your-newest-insiders-security...

1•speckx•5m ago•0 comments

Error -80045: Apple broke iCloud sign-in for everyone

https://gregakespret.substack.com/p/apple-broke-icloud-sign-in-for-everyone

2•DeGi•6m ago•1 comments

Building and testing a config management orchestrator for Windows

https://blog.janestreet.com/config-management-orchestrator-for-windows/

1•vzhou842•7m ago•0 comments

Show HN: Quorus – Claude Code and Codex in one room, reviewing each other's work

https://github.com/Quorus-dev/Quorus

1•chasemonkey•8m ago•0 comments

Genera for the Initiated: Inside Symbolics Lisp Machines [video]

https://www.youtube.com/watch?v=W2fGKjFoaOg

1•matt_d•9m ago•0 comments

Running 10 million Codex CLIs on one server – LFI processes

https://kapteko.com/running-10-million-codex-clis-on-one-server-lfi-processes/

1•fessguid•9m ago•0 comments

We built VGI instead of waiting for Arrow Flight 2.0

https://query.farm/blog/why-we-built-vgi-instead-of-waiting-for-arrow-flight-2-0/

1•rustyconover•10m ago•0 comments

Short Class Warfare; Long Age Warfare

https://longorshortcapital.com/short-class-warfare-long-age-warfare.htm

1•7777777phil•10m ago•0 comments

Raw Chicken, Malnutrition and Fear: Pregnancy in ICE Detention Camps

https://www.themarshallproject.org/2026/10/14/texas-ice-woman-pregnant-immigrant

2•paimapi•11m ago•0 comments

Toward RL on mixed-precision, mixed-accelerator samplers

https://modal.com/blog/toward-rl-on-mixed-precision-mixed-accelerator-samplers

1•birdculture•11m ago•0 comments

Scrawl – Show an agent the problem. Press ⌥⇧S, talk, click, and draw

https://scrawl.kitlangton.com/

1•rahimnathwani•11m ago•0 comments

Pentoniq Tube Synth for macOS

https://github.com/johnrpenner/Pentoniq

1•johnrpenner•11m ago•1 comments

Elements of AI Course

https://www.elementsofai.com/

1•saikatsg•11m ago•0 comments

Is Chocolate Still Chocolate?

https://www.grubstreet.com/article/chocolate-hersheys-reeses-conspiracy.html

1•cspags•12m ago•1 comments

'I suffer with my wallet': American voters weigh in on the midterms

https://www.ft.com/content/d375cde1-ec37-4c5e-87ab-a3a655e879d8

1•mraniki•12m ago•1 comments

More engineers should consider working in sales

https://posthog.com/blog/being-in-a-sales-role-has-made-me-a-better-software-engineer

2•mooreds•12m ago•0 comments

The Robot I Didn't Expect to Build

https://spectrum.ieee.org/agility-robotics-digit-5-redesign

1•bojackh•12m ago•0 comments

Safebox technology and the 4th Amendment in 2026: do we have a right to privacy?

https://safebots.ai/legal.html

1•EGreg•13m ago•0 comments

Nvidia Nemotron 3.5 Super VL Powers Specialized Agents with Multimodal Reasoning

https://developer.nvidia.com/blog/nvidia-nemotron-3-5-super-vl-powers-specialized-agents-with-mul...

1•peter_d_sherman•14m ago•0 comments

AI agents are only as good as the personal information you share

https://apnews.com/article/meta-muse-openai-dot-ai-privacy-449734d41d3750aad7038b761faa49c9

3•billybuckwheat•15m ago•0 comments

Persistent activation / dysfunction of SARS-CoV-2 specific T cells in long Covid

https://www.biorxiv.org/content/10.64898/2026.10.14.759221v1

2•thenerdhead•17m ago•0 comments

Incident File Hosting Errors

https://blog.pypi.org/posts/2026-09-08-file-hosting-errors/

1•bucket2015•18m ago•0 comments

The American creative who devoted his career to an imaginary Swiss art school

https://www.swissinfo.ch/eng/culture/the-american-creative-who-devoted-his-career-to-an-imaginary...

4•theanonymousone•19m ago•0 comments

Musk pledges to give a share of his SpaceX company to 'every kid in America'

https://apnews.com/article/musk-spacex-anthropic-donation-ai-b3312da37a0e340be275295073055e00

5•jethronethro•19m ago•0 comments

Faster by Design: Performance Engineering in the MS JDBC Driver for SQL Server

https://devblogs.microsoft.com/java/faster-by-design-performance-engineering-in-the-microsoft-jdb...

1•theanonymousone•19m ago•0 comments

Fatal Dog Attacks

https://www.fataldogattacks.org/

1•handfuloflight•19m ago•0 comments