frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Cargo-Geiger

https://github.com/geiger-rs/cargo-geiger
20•tosh•2h ago

Comments

Waterluvian•1h ago
I worry a little that perfectly cromulent Rust will get a bad name when the culture tends towards “unsafe is bad.”

Is there real value in these statistics vs. an approach where the measure is test coverage of unsafe blocks?

ComputerGuru•1h ago
I agree that unsafe isn’t evil and shouldn’t be “avoided at all costs”, especially when using unsafe could be eg eliminated by the compiler (very common usage, actually!) or give you far superior codegen or code complexity.

But test coverage of unsafe blocks is not a meaningful metric. The best automated solution is standalone Miri runners exercising all branches of the code (via tests or otherwise) because tests on their own won’t catch things like out of counts reads or heap corruption unless you get lucky.

Waterluvian•1h ago
I agree about test coverage. I’d say it’s less bad but still doesn’t necessarily mean anything rigorous.

Short of formal verification, which I think is often going to be unreasonable, we generally have a spectrum of “less bad” options.

smasher164•21m ago
I think what would matter from this kind of measure is whether a project's use of unsafe actually has undefined behavior. Like the number of unsafe blocks is not really my concern as much as what the unsafe blocks are doing. If you build a single faulty abstraction via unsafe, anything that uses it is broken.

In my projects, it usually comes down to a scenario like needing to write inline assembly or invoke a foreign function, where there are close to zero guarantees the language can give me.

nu11ptr•12m ago
This looks interesting and useful (I haven't tried it yet), but it is important to realize that every single useful Rust program has unsafe. Every single one. Why? Stdlib usage is full of it, and it must be by definition of what it does. In the same way you can't have a useful program without some side effects, so also you can't really have a useful program without doing some level of I/O and FFI, and I/O/FFI is always going to use unsafe under the covers.

That said, there is value in limiting your own unsafe use, and there might be value in limiting unsafe in the crates you use. However, this is really a question of "who do I trust to use unsafe? How much? Under what circumstances?" and NOT "is okay to have any unsafe?" because any useful program will contain a lot of unsafe if traced far enough in its call paths.

Quantum Fisher Information in a Strange Metal

https://www.nature.com/articles/s41567-026-03298-0
1•bookofjoe•2m ago•0 comments

Magnitude: A coding agent that runs on open models

https://magnitude.dev
1•ksec•6m ago•0 comments

Revised Rules of Engineering Leadership

https://lethain.com/revised-rules-of-engineering-leadership/
1•zdw•8m ago•0 comments

Exosomes in nanomedicine: A cell-free therapeutic intervention in burn wounds

https://pmc.ncbi.nlm.nih.gov/articles/PMC11462792/
1•CharlesW•10m ago•0 comments

Mark Rober demonstrate relay attacks by "stealing a car" [video]

https://www.youtube.com/watch?v=h0EGCnBjTVk
2•kidbomb•11m ago•2 comments

The ability to regrow body parts is dormant in mammals, not lost

https://www.sciencedaily.com/releases/2026/06/260617032207.htm
2•nryoo•14m ago•0 comments

Was lucky to have tested fable 5 on chess-bench

https://www.chess-bench.com
1•hardikvora•17m ago•0 comments

Claude Guillemot, co-founder of Ubisoft, dies in plane crash

https://www.cbsnews.com/news/claude-guillemot-dies-age-69-ubisoft-assassins-creed/
1•iugtmkbdfil834•19m ago•0 comments

Floppy Disk Piracy: How Software Was Shared Before the Internet

https://comuniq.xyz/post?t=1280
1•01-_-•19m ago•0 comments

I improved my old project "ScoreCast" after 3 years

https://github.com/Costasgk/ScoreCast
1•costas_8•20m ago•1 comments

Dialog

https://dialog.org/
1•paulpauper•21m ago•0 comments

Are You in the Weights?

https://intheweights.com/p/peterboettke
1•paulpauper•21m ago•0 comments

Refik Anadol's Dataland, the first AI art museum

https://www.theartnewspaper.com/2026/06/18/refik-anadol-dataland-opens-los-angeles
1•paulpauper•22m ago•0 comments

AIPropel, AI-powered proposal generation for freelancers and agencies

https://www.aipropel.app/
1•omardakelbab1•23m ago•0 comments

Tangled: Knot-Stored Cob Proposal

https://leaflet.pub/p/did:plc:xasnlahkri4ewmbuzly2rlc5/3mmex6biynk2g
1•jeremyjh•23m ago•0 comments

That which is unique, breaks

https://map.simonsarris.com/p/that-which-is-unique-breaks
1•mmphosis•24m ago•0 comments

Shard your locks: benchmarking 6 Go cache designs

https://strebkov.dev/posts/shard-your-locks/
1•kluyg•25m ago•0 comments

You probably don't need event-driven architecture

https://openacme.org/blog/you-dont-need-event-driven
1•theanonymousone•25m ago•0 comments

I Stopped Trusting SSH Key Files

https://igorstechnoclub.com/why-i-stopped-trusting-ssh-key-files/
1•Tomte•28m ago•1 comments

How to Attract Bats to Your Backyard

https://www.batcon.org/bat-house-tips-tricks/
1•andsoitis•29m ago•0 comments

We built an internal data analytics agent

https://github.blog/ai-and-ml/github-copilot/how-we-built-an-internal-data-analytics-agent/
1•Brajeshwar•37m ago•0 comments

UHF X11: X11 Built for VisionOS and Apple Vision Pro

https://www.lispm.net/apps/uhf-x11/
11•zdw•37m ago•3 comments

Bun has an open PR adding shared-memory threads to JavaScriptCore

https://github.com/oven-sh/WebKit/pull/249
3•gr4vityWall•39m ago•0 comments

Lena Walks

https://www.nomadicmatt.com/
2•docscannerss•40m ago•0 comments

SMPTE Makes Its Standards Freely Accessible

https://www.smpte.org/blog/smpte-makes-its-standards-freely-accessible-openingstandards-library-t...
21•zdw•40m ago•7 comments

Before SpaceX IPO, investors in China acquired stakes

https://www.propublica.org/article/spacex-elon-musk-ipo-foreign-investors-china
1•joozio•41m ago•0 comments

Ember, a native iOS Hacker News reader I built around accessibility

https://github.com/DatanoiseTV/ember-hackernews
14•sylwester•41m ago•3 comments

Hoog: Europe Is Losing [video]

https://www.youtube.com/watch?v=C84Lnyv0gTs
1•Klaster_1•41m ago•0 comments

How I Work

https://www3.nccu.edu.tw/~jthuang/krugman.html
1•jruohonen•43m ago•0 comments

Kagi Small Web

https://github.com/kagisearch/smallweb
1•dgellow•43m ago•2 comments