niftycent.com
NiftyCent
HU
Belépés
Piactér
Kedvezmények

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

Létrehozva 6mo | 2024. dec. 21. 1:50:03


Jelentkezéshez jelentkezzen be

EGYÉB POSTS Ebben a csoportban

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:

2025. jún. 25. 5:30:07 | Hacker news
PNG Is Back
PNG Is Back

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

Comments URL:

2025. jún. 25. 5: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:

2025. jún. 25. 5: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:

2025. jún. 25. 5:30:04 | Hacker news
Thick Nickels
Thick Nickels

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

Comments URL:

2025. jún. 25. 3: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-

2025. jún. 25. 3: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

2025. jún. 25. 3:10:07 | Hacker news
Techie
Techie