Top Items | Scour

SQL, Homomorphisms and Constraint Satisfaction Problems CS PLT philipzucker.com

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Page 2 »