Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  rust  github.com  openai  vibecoding  health  release  apple  techspot.com  show  theguardian.com  psychology  psypost.org  google  arstechnica.com  linux  video  nature.com  youtube.com  game 
Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

Lists that keep track of their reversal

7 days ago grim.cargocut.org ml

Typeclasses vs Modules

7 days ago sm2n.ca haskell ml plt

Best Books/Courses/Channels to Leapfrog on AI/ML Material

35 hours ago lobste.rs ai ask

A study of sequence weighting at scale

18 days ago blog.janestreet.com ml

Hillingar - MirageOS Unikernels on NixOS

34 days ago ryan.freumh.org ml nix osdev security

Google’s Project Suncatcher to put ML infrastructure in space

14 days ago blog.google google

I’ve been building an ML framework in pure Go. It started as a side project in 2019 and has turned into Zerfoo

17 days ago reddit.com go

Coming from GPU kernels into ML/AI compilers (XLA, Triton compiler, MLIR-based stacks) — is the hiring bias against non-traditional compiler backgrounds real?

13 days ago reddit.com compiler gpu

Show HN: Open source ML programming language playground

36 days ago sw-ml-study.github.io show

Minarrow 0.18.0: build in Rust, run Python analytics and ML, bring the results back

29 days ago reddit.com python rust

Ask HN: Who is using FPGA for ML inference?

35 days ago news.ycombinator.com ask

Tangle – Visual ML Pipeline Editor

36 days ago tangleml.com

I built a native Rust ML IDE with offline self-contained installers

21 days ago i.redd.it rust

Interview questions for ML Compiler interview

36 days ago reddit.com compiler

Looking for guidance on ML systems / AI compilers

18 days ago reddit.com ai compiler

Rust for AI/ML in production

22 days ago reddit.com rust

interview question for ML Compiler role

36 days ago reddit.com compiler llvm

amazon ml challenge 2-26 (ml require python)

30 days ago reddit.com amazon python

We're eliminating centralized supercomputer bottlenecks for ML training using Burn, Zenoh, and LEO satellites. Seeking 2 Core Rust Co-Founders.

37 days ago reddit.com rust

Just the rumour of a bug is enough to find an exploit these days

41 days ago anil.recoil.org ml security vibecoding

Retrofitting a build system into a compiler

52 days ago dra27.uk compiler ml

Bonsai: Janestreet's UI Library

2 months ago github.com ml web

Guarded Methods in OCaml (2025)

2 months ago xvw.lol ml ocaml

A Primer to ML Compilers

2 months ago aramesh10.github.io compiler

AI Model Atlas – visualizing populations of ML models as interconnected 3D graph

55 days ago run.cosmograph.app 3d ai

Google says Go is ideal for AI-assisted engineering. Are you using it in production ML/AI?

58 days ago reddit.com go google

Coding group for Google's JAX-ML (an alternative to PyTorch)

55 days ago reddit.com google

Taking OCaml and Eio for a Spin

2 months ago mattjhall.co.uk ml ocaml

Why ML/OCaml are good for writing compilers (1998)

2 months ago flint.cs.yale.edu compiler ml

Why Rocq is better than Lean for program verification

2 months ago joomy.korkutblech.com compiler formalmethods ml plt

More →