Top Items | Scour

gagbo's Top Items

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

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

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

18 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

20 hours 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

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

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

10 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

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

What's New in the Windows Subsystem for Linux in November 2024 OS OS devblogs.microsoft.com

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

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

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

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

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

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

23 minutes ago | Via: 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

12 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

14 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

11 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

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

Workbrew makes open-source package manager Homebrew enterprise-friendly OS techcrunch.com

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

Page 2 »