Top Items | Scour

gagbo's Top Items

Towards Sound `unsafe` Rust – Rust Formal Methods Interest Group [video] Programming youtube.com

9 hours ago | Discuss: news.ycombinator.com | Via: Hacker News - Newest: "rust" Hacker News: Newest

Show HN: Unbug – Rust macros for programmatically invoking breakpoints Programming github.com

2 hours ago | Discuss: news.ycombinator.com | Via: Hacker News - Newest: "rust" Hacker News: Front Page Hacker News: Newest

Ask HN: Isn't there a lightweight and popular Rust? Programming news.ycombinator.com

20 hours ago | Discuss: news.ycombinator.com | Via: Hacker News - Newest: "rust" Hacker News: Newest

Announcing GitHub Secure Open Source Fund: Help secure the open source ecosystem for everyone OS github.blog

a day ago | Discuss: lobste.rs news.ycombinator.com | Via: Hacker News: Newest Lobsters Lobsters: Newest Stories The GitHub Blog

Open source tools that tell us what they do OS rubenerd.com

13 hours ago | Discuss: news.ycombinator.com | Via: Hacker News: Newest

K by Arthur Whitney(2005) PLT OS archive.vector.org.uk

12 hours ago | Discuss: news.ycombinator.com | Via: Hacker News: Newest

Boltz-1: fully open-source protein model matching AlphaFold 3 performance [pdf] OS gcorso.github.io

a day ago | Discuss: news.ycombinator.com | Via: Hacker News: Newest

Testing AI on language comprehension reveals insensitivity to underlying meaning PLT nature.com

7 hours ago | Discuss: news.ycombinator.com | Via: Hacker News: Newest

Display/KMS Meeting at XDC 2024: Detailed Report OS OS Keyboards melissawen.github.io

a day ago | Discuss: lobste.rs news.ycombinator.com | Via: Hacker News: Newest Lobsters Lobsters: Newest Stories

The Rust Foundation's 2nd bad draft trademark policy Programming diziet.dreamwidth.org

an hour ago | Discuss: lobste.rs news.ycombinator.com | Via: Hacker News - Newest: "rust" Hacker News: Newest Lobsters Lobsters: Newest Stories Lobsters: rust - Rust programming

Retraites : les députés approuvent en commission l’abrogation de la réforme de 2023 DC Réformes Élections lemonde.fr

2 hours ago | Via: Le Monde.fr - Actualités et Infos en France et dans le monde Politique : Toute l’actualité sur Le Monde.fr.

Software Security Analysis in 2030 and Beyond: A Research Roadmap [pdf] OS OS Programming mpi-softsec.github.io

14 hours ago | Discuss: news.ycombinator.com | Via: Hacker News: Newest

Impôts : certains propriétaires ont été taxés à tort sur les logements vacants, rapporte le fisc DC lemonde.fr

16 hours ago | Via: Le Monde.fr - Actualités et Infos en France et dans le monde Économie : Toute l’actualité sur Le Monde.fr.

Budget : l’Assemblée nationale rejette un nouveau texte de Michel Barnier DC lemonde.fr

13 hours ago | Via: Le Monde.fr - Actualités et Infos en France et dans le monde Politique : Toute l’actualité sur Le Monde.fr.

« Dans un contexte économique et social durci et d’intenses turbulences internationales, un renversement du gouvernement risquerait de déclencher une crise à ti... DC lemonde.fr

11 hours ago | Via: Politique : Toute l’actualité sur Le Monde.fr.

Page 2 »