frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Cargo-Geiger

https://github.com/geiger-rs/cargo-geiger
23•tosh•3h ago

Comments

Waterluvian•2h 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•2h 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•2h 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•1h 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•1h 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.

kibwen•38m ago
Penalizing the stdlib for using `unsafe` would be extremely counter-productive, because you could almost trivially remove all `unsafe` in the stdlib by moving those "unsafe" operations into codegen emitted by compiler (which is essentially how every other memory-safe language under the sun works, including Java, Python, etc.). Voila, no more unsafe in the stdlib... except now you have exactly the same code existing in a form that's both harder to inspect and doesn't benefit from the bevy of tools that exist to audit unsafe blocks in regular Rust code, meaning you have an implementation that's less safe in practice. And outside of the code contained in the stdlib, the majority of Rust crates don't use `unsafe` at all (exact proportion varying by domain; e.g. embedded use cases will probably all use `unsafe` somewhere).

Agency stole bestselling author's book, used AI to relaunch as their own

https://waxy.org/2026/06/the-wholesale-plagiarism-of-obscure-sorrows/
83•ridesisapis•33m ago•8 comments

SMPTE Makes Its Standards Freely Accessible

https://www.smpte.org/blog/smpte-makes-its-standards-freely-accessible-openingstandards-library-t...
69•zdw•1h ago•28 comments

UHF X11: X11 Built for VisionOS and Apple Vision Pro

https://www.lispm.net/apps/uhf-x11/
44•zdw•1h ago•6 comments

DOS Game "F-15 Strike Eagle II" reversing project needs DOS test pilots

https://neuviemeporte.github.io/f15-se2/2026/06/20/needyou.html
92•LowLevelMahn•3h ago•24 comments

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

https://github.com/oven-sh/WebKit/pull/249
34•gr4vityWall•1h ago•17 comments

CSSQuake

https://cssquake.com/
356•msalsas•7h ago•76 comments

Show HN: StartupWiki – A Free Alternative to Crunchbase

https://startupwiki.tech/
41•shpran•2h ago•8 comments

S‑CURVES a field guide to technology adoption · 1825–2026

https://escurves.com/
20•sapal•3d ago•2 comments

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

https://github.com/DatanoiseTV/ember-hackernews
42•sylwester•1h ago•8 comments

Show HN: Microcrad – Micrograd Reimplemented in C

https://github.com/oraziorillo/microcrad
33•oraziorillo•3d ago•6 comments

Vacation With An Artist – Mini-Apprenticeships with Artists in Their Studios

https://vawaa.com/
31•karakoram•3h ago•2 comments

Show HN: We post-trained a model that pen tests instead of refusing

https://www.argusred.com/cli
4•dk189•4h ago•0 comments

Web Browsers on PDAS

https://vale.rocks/posts/pda-browsers
30•robin_reala•4h ago•11 comments

Temporary Cloudflare Accounts for AI Agents

https://blog.cloudflare.com/temporary-accounts/
74•farhadhf•7h ago•53 comments

Bootimus – A Self-Contained PXE and HTTP Boot Server

https://bootimus.com
83•car•7h ago•31 comments

Where to Find the Colors Your Screen Can't Show You

https://moultano.wordpress.com/2026/06/19/where-to-find-the-colors-your-screen-cant-show-you/
364•moultano•15h ago•92 comments

The rise of South Korea’s weapons business

https://www.politico.com/news/magazine/2026/06/20/south-korea-weapons-dealer-trump-00959559
5•JumpCrisscross•6h ago•3 comments

VPN ban update for UK households as government looks at 'age-gate'

https://www.birminghammail.co.uk/news/midlands-news/vpn-ban-update-uk-households-34141063
208•iamnothere•4h ago•213 comments

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

https://www.sciencedaily.com/releases/2026/06/260617032207.htm
29•nryoo•1h ago•7 comments

From PGP to Mythos: a brief history of export controls that didn't stop anyone

https://techcrunch.com/2026/06/19/encryption-spyware-and-now-mythos-history-shows-why-cyber-expor...
116•Brajeshwar•4h ago•50 comments

Ask HN: Due to spam on GitHub, what platforms can I move my projects?

15•ciwolex•46m ago•16 comments

I Stored a Website in a Favicon

https://www.timwehrle.de/blog/i-stored-a-website-in-a-favicon/
262•theanonymousone•13h ago•90 comments

Mencius (2016)

https://scholarworks.iu.edu/iuswrrest/api/core/bitstreams/265d73a0-6bfa-45df-92ff-4e7d3f8be4b1/co...
16•jruohonen•2d ago•1 comments

Windows 11 New Media Player Uses 3.5x More RAM, Charges for Popular Video Codecs

https://www.extremetech.com/computing/windows-11s-new-media-player-uses-35x-more-ram-charges-for-...
122•tcp_handshaker•4h ago•57 comments

Cargo-Geiger

https://github.com/geiger-rs/cargo-geiger
24•tosh•3h ago•6 comments

Can you see three trees?

https://www.not-ship.com/can-you-see-three-trees/
275•Pamar•2d ago•130 comments

Ubisoft co-founder Claude Guillemot has died in a plane crash

https://www.reuters.com/world/ubisofts-co-founder-claude-guillemot-dies-plane-crash-2026-06-20/
106•drayfield•4h ago•55 comments

GPT-5.5 hallucinates 3x more than MIT-licensed GLM-5.2

https://arrowtsx.dev/bigger-models/
438•oshrimpton•1d ago•211 comments

Computed goto for efficient dispatch tables (2012)

https://eli.thegreenplace.net/2012/07/12/computed-goto-for-efficient-dispatch-tables
35•firephox•3d ago•14 comments

There are no instances in ATProto

https://overreacted.io/there-are-no-instances-in-atproto/
505•danabramov•1d ago•287 comments