niftycent.com
NiftyCent
US
Login
Marketplace
Discounts

Compiling C to Safe Rust, Formalized

Article URL: https://arxiv.org/abs/2412.15042

Comments URL: https://news.ycombinator.com/item?id=42476192

Points: 59

# Comments: 11

https://arxiv.org/abs/2412.15042

Created 6mo | Dec 21, 2024, 1:50:03 AM


Login to add comment

Other posts in this group

PicoEMP: low-cost Electromagnetic Fault Injection (EMFI) tool
PicoEMP: low-cost Electromagnetic Fault Injection (EMFI) tool

Article URL: https://github.com/newaetech/chipshouter-picoemp

Comments URL:

Jun 25, 2025, 5:30:07 AM | Hacker news
PNG Is Back
PNG Is Back

Article URL: https://www.programmax.net/articles/png-is-back/

Comments URL:

Jun 25, 2025, 5:30:05 AM | Hacker news
How renewables are saving Texans billions
How renewables are saving Texans billions

Article URL: https://www.theclimatebrink.com/p/how-renewables-are-saving-texans

Comments URL:

Jun 25, 2025, 5:30:05 AM | Hacker news
Gemini CLI: your open-source AI agent
Gemini CLI: your open-source AI agent

Article URL: https://blog.google/technology/developers/introducing-gemini-cli/

Comments URL:

Jun 25, 2025, 5:30:04 AM | Hacker news
Thick Nickels
Thick Nickels

Article URL: https://thick-coins.net/?_bhlid=8a5736885893b7837e681aa73f890b9805a4673e

Comments URL:

Jun 25, 2025, 3:10:09 AM | Hacker news
Managing time when time doesn't exist
Managing time when time doesn't exist

Article URL: https://multiverseemployeehandbook.com/blog/temporal-resources-managing-

Jun 25, 2025, 3:10:08 AM | Hacker news
Build your first iOS app on Linux / Windows
Build your first iOS app on Linux / Windows

Article URL: https://xtool.sh/tutorials/xtool/first-app/

Comments URL: http

Jun 25, 2025, 3:10:07 AM | Hacker news
Techie
Techie