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  health  vibecoding  rust  github.com  openai  apple  psychology  china  psypost.org  techspot.com  show  security  neuroscience  tomshardware.com  microsoft  sciencealert.com  game  video  java 
Loading...

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

A study of sequence weighting at scale

3 days ago blog.janestreet.com ml

Google’s Project Suncatcher to put ML infrastructure in space

4 hours ago blog.google google

Hillingar - MirageOS Unikernels on NixOS

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

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

3 days ago reddit.com go

Show HN: Open source ML programming language playground

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

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

14 days ago reddit.com python rust

Ask HN: Who is using FPGA for ML inference?

20 days ago news.ycombinator.com ask

Tangle – Visual ML Pipeline Editor

22 days ago tangleml.com

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

7 days ago i.redd.it rust

Interview questions for ML Compiler interview

22 days ago reddit.com compiler

Looking for guidance on ML systems / AI compilers

4 days ago reddit.com ai compiler

Rust for AI/ML in production

8 days ago reddit.com rust

interview question for ML Compiler role

22 days ago reddit.com compiler llvm

amazon ml challenge 2-26 (ml require python)

16 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.

22 days ago reddit.com rust

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

27 days ago anil.recoil.org ml security vibecoding

Retrofitting a build system into a compiler

37 days ago dra27.uk compiler ml

Bonsai: Janestreet's UI Library

52 days ago github.com ml web

Guarded Methods in OCaml (2025)

53 days ago xvw.lol ml ocaml

A Primer to ML Compilers

49 days ago aramesh10.github.io compiler

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

41 days ago run.cosmograph.app 3d ai

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

43 days ago reddit.com go google

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

41 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

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

Xavier Leroy on programming, languages and formal verification

2 months ago youtube.com formalmethods ml video

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

2 months ago soteria-tools.com meta ml ocaml rust

Syntax with Purpose in a Programming Language

2 months ago youtube.com ml rant video

Advanced Compiler and Runtime Optimizations for ML Workloads

2 months ago apxml.com compiler

More →