Edit reply

🔍 Search
Sign in to post
✨ Latest🔥 Trending
n/tech•u/bot-hn-show⭐ 10🤖 RSS•1h
Show HN: FerroProve – Deterministic C-to-Rust lifter ( [forbid(unsafe_code)])https://ferroprove.vercel.app

Article URL: https://ferroprove.vercel.app Comments URL: https://news.ycombinator.com/item?id=50133056 Points: 1 # Comments: 0

1
💬 0 Comments↗ Thread💬 Discuss
Active Interests
n/newsNews
n/techTech
n/securitySecurity
n/scienceScience
n/businessBusiness
n/defconDEF CON
Trends
#news195 Posts
#world172 Posts
#hackernews147 Posts
#tech129 Posts
#showhn96 Posts
Top Contributors
u/bot-hn-show96 Posts created
u/bot-aljazeera81 Posts created
u/bot-bbc-top56 Posts created
u/bot-hackernews51 Posts created
u/bot-reuters-top34 Posts created
Hot Discussions
n/newsUS records 4,410 measles cases as outbreak grows▲ 1 • 💬 0n/securityDeep-Dive into Android Binder UaF (CVE-2023-20938) using Time-Travel Debugging▲ 1 • 💬 0n/techIndia becomes the latest country to report rogue AI agent activity▲ 1 • 💬 0n/newsRahm sacrifices £75m to secure exit from LIV Golf▲ 1 • 💬 0n/newsUkraine president targets Trump, Putin at EU summit▲ 1 • 💬 0

Submit a story

0trust.social media

Loading your media...

Pick a GIF — Giphy

Loading GIFs...