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  theguardian.com  health  show  vibecoding  apple  china  linux  meta  psychology  release  tomshardware.com  arstechnica.com  game  medicine  i.redd.it  techspot.com  go 
Loading...

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

Retrofitting a build system into a compiler

6 days ago dra27.uk compiler ml

Bonsai: Janestreet's UI Library

21 days ago github.com ml web

Guarded Methods in OCaml (2025)

22 days ago xvw.lol ml ocaml

A Primer to ML Compilers

18 days ago aramesh10.github.io compiler

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

10 days ago run.cosmograph.app 3d ai

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

12 days ago reddit.com go google

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

10 days ago reddit.com google

Taking OCaml and Eio for a Spin

35 days ago mattjhall.co.uk ml ocaml

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

39 days ago flint.cs.yale.edu compiler ml

Why Rocq is better than Lean for program verification

26 days ago joomy.korkutblech.com compiler formalmethods ml plt

Xavier Leroy on programming, languages and formal verification

29 days ago youtube.com formalmethods ml video

Meta Garbage Collection: Using OCaml's GC to GC Rust

35 days ago soteria-tools.com meta ml ocaml rust

Syntax with Purpose in a Programming Language

42 days ago youtube.com ml rant video

Advanced Compiler and Runtime Optimizations for ML Workloads

34 days ago apxml.com compiler

30papers.com – Ilya's 30 essential ML papers, in a beginner friendly format

48 days ago 30papers.com

Vendor-agnostic ML inference on production edge devices

27 days ago getpostslate.com

A self-certifying P2P mesh in Rust that hole-punches its own NAT, erasure-codes payloads against packet loss, and signs every message with post-quantum ML-DSA-87 lattice keys

42 days ago i.redd.it rust

How would you safely reduce the size of ML-DSA-87 public keys and signatures in a blockchain?

52 days ago reddit.com rust

Need a mind-blowing, practical Master's thesis topic (Rust, Telecom, Network Eng, Applied Sec) - No AI/ML or heavy math!

44 days ago reddit.com math rust

I built a WASM SIMD inference engine in Rust - semantic embedding model in 7MB - no torch, no ML framework (~2ms embedding inference)

46 days ago reddit.com rust wasm

The feature in OxCaml that more languages should steal

57 days ago theconsensus.dev ml

Strace-ui, Bonsai_term, and the TUI renaissance

2 months ago blog.janestreet.com linux ml

Flow’s OCaml to Rust Port

2 months ago medium.com ml ocaml rust vibecoding

OCaml 5.5.0 released

2 months ago discuss.ocaml.org compiler ml ocaml release

jj_tui: terminal user interface to jujutsu focused on speed and clarity

55 days ago tangled.org ml vcs vibecoding

Self-hosting email the hard way from your own routable IPv4 block up

2 months ago anil.recoil.org ipv4 ml networking security

A line-by-line translation of the OCaml runtime from C to Rust

2 months ago discuss.ocaml.org c ml ocaml rust vibecoding

Wearable jacket extracts 900 ml of drinking water daily from the air

2 months ago interestingengineering.com

Petition against Meta's employee training data collection for ML models

2 months ago mcipetition.com meta

TIRx: An Open Compiler Stack for Evolving Frontier ML Kernels

2 months ago tvm.apache.org compiler

More →