Display options

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

Feedback? Email [email protected]

progscrape https://rpi4-host.progscrape.com/
Trending tags: ai  rust  github.com  vibecoding  health  theguardian.com  game  meta  openai  show  web  tomshardware.com  windows  sciencealert.com  i.redd.it  microsoft  psychology  techspot.com  release  apple 
Loading...

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

Bonsai: Janestreet's UI Library

7 days ago github.com ml web

Guarded Methods in OCaml (2025)

8 days ago xvw.lol ml ocaml

A Primer to ML Compilers

4 days ago aramesh10.github.io compiler

Taking OCaml and Eio for a Spin

21 days ago mattjhall.co.uk ml ocaml

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

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

Why Rocq is better than Lean for program verification

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

Xavier Leroy on programming, languages and formal verification

15 days ago youtube.com formalmethods ml video

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

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

Syntax with Purpose in a Programming Language

28 days ago youtube.com ml rant video

Advanced Compiler and Runtime Optimizations for ML Workloads

20 days ago apxml.com compiler

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

34 days ago 30papers.com

Vendor-agnostic ML inference on production edge devices

13 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

28 days ago i.redd.it rust

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

38 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!

30 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)

32 days ago reddit.com rust wasm

The feature in OxCaml that more languages should steal

43 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

46 days ago medium.com ml ocaml rust vibecoding

OCaml 5.5.0 released

50 days ago discuss.ocaml.org compiler ml ocaml release

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

41 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

51 days ago interestingengineering.com

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

49 days ago mcipetition.com meta

TIRx: An Open Compiler Stack for Evolving Frontier ML Kernels

48 days ago tvm.apache.org compiler

I indexed 669 GB of my GoPro videos using my M1 Max computer and local ML models

57 days ago news.ycombinator.com video

Built an open-source compiler that converts PyTorch models to spiking networks designed for chip designers who need software pipelines without ML expertise

49 days ago i.redd.it compiler

Why ML compilers are worth billions in the age of AI agents

46 days ago open.substack.com ai compiler

Loop Unrolling in the ML Era

53 days ago hiraditya.github.io compiler

More →