niftycent.com
NiftyCent
IT
Login
Mercato
Sconti

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

Creato 6mo | 21 dic 2024, 01:50:03


Accedi per aggiungere un commento

Altri post in questo gruppo

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:

25 giu 2025, 05:30:07 | Hacker news
PNG Is Back
PNG Is Back

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

Comments URL:

25 giu 2025, 05:30:05 | 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:

25 giu 2025, 05:30:05 | 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:

25 giu 2025, 05:30:04 | Hacker news
Thick Nickels
Thick Nickels

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

Comments URL:

25 giu 2025, 03:10:09 | 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-

25 giu 2025, 03:10:08 | 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

25 giu 2025, 03:10:07 | Hacker news
Techie
Techie