alex's Top Items

Past Hour Day Week Month

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

19 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

9 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

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

The Rust Foundation's 2nd bad draft trademark policy RPL 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

Bivariate Coppersmith Algorithm CS CV boogiemath.org

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

U of T computational imaging researchers harness AI to fly with light in motion CV web.cs.toronto.edu

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

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

12 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

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

A Shiny New Programming Language PLT RPL CV CS hackster.io

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

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

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

Using gRPC for (local) inter-process communication – F. Werner's Research Page DS mpi-hd.mpg.de

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

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

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

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

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

Scalability Essentials for APIs in High-Traffic Services DS CS devrx.io

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

Page 2 »