alex's Top Items

Past Hour Day Week Month

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

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

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

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

DBSP: Automatic Incremental View Maintenance for Rich Query Languages CS PLT DS muratbuffalo.blogspot.com

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

Bivariate Coppersmith Algorithm CS CV boogiemath.org

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

Nominal for Storing, Structural for Manipulating PLT RPL CS welltypedwitch.bearblog.dev

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

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

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

Show HN: Built JSONLogic in Rust in 5hrs with GitHub Copilot as pair programmer RPL github.com

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

A graph convolutional neural network with adaptive feature and topology learning CV CS nature.com

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

Generative AI Usage and Exam Performance [pdf] GA PG CV arxiv.org

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

QK Norm and the Curious Case of Logit Drift CV rossjtaylor.com

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

The Prequel to SQL is SEQUEL PLT CS buttondown.com

a day ago  |  Discuss: lobste.rs   news.ycombinator.com  |  Via: Hacker News: Newest   Lobsters   Lobsters: Newest Stories   Lobsters: databases - Databases (SQL, NoSQL)

Display/KMS Meeting at XDC 2024: Detailed Report DS UE melissawen.github.io

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

Bluesky, Decentralisation, and the Distribution of Power DS SIOT fediversereport.com

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

Linode Launches Distributed Edge Computing in 10 new regions DS linode.com

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

Page 2 »