alex's Top Items

Past Hour Day Week Month

Finite State Languages by Chomsky and Miller (1958) PLT RPL sciencedirect.com

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

Dependent Type Checker in Python PLT CS RPL stephendiehl.com

3 days ago  |  Discuss: news.ycombinator.com  |  Via: Hacker News: Newest

Show HN: A real-world xtask sample for developing Rust projects RPL github.com

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

YOLO Unraveled: A Clear Guide CV opencv.ai

3 weeks ago  |  Discuss: news.ycombinator.com  |  Via: Hacker News: Newest

Show HN: I made a Rust library for simplified validation RPL github.com

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

POPL Paper–Formalising Graphs with Coinduction PLT CS doisinkidney.com

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

Rusthw: Fast, scalable, AI-powered "Hello, World " utility written in Rust RPL PLT CS github.com

3 weeks ago  |  Discuss: news.ycombinator.com  |  Via: Hacker News - Newest: "rust"   Hacker News: Newest

Noodles: A bioinformatics I/O library written in Rust RPL CS PLT github.com

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

Actuate UI: Rust native, declarative, and borrow-checker friendly UI framework RPL PLT github.com

3 days ago  |  Discuss: news.ycombinator.com  |  Via: Hacker News - Newest: "rust"   Hacker News: Newest

Audio Decomposition – open-source seperation of music to constituent instruments CM matthew-bird.com

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

Recreating the CVM algorithm for estimating distinct elements gives problems CS CV PG paddy3118.blogspot.com

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

Compilers for Free (2013) PLT RPL CS PG tomstu.art

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

toasty: An async ORM for Rust RPL CS PLT github.com

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

Charon: An Analysis Framework for Rust RPL PLT arxiv.org

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

Scientists Establish the Best Algorithm for Traversing a Map CS wired.com

3 days ago  |  Via: Wired

« Page 1 | Page 3 »