Display options

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

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  github.com  rust  trump  health  go  show  web  tesla  arstechnica.com  medicine  environment  theguardian.com  psychology  apple  neuroscience  linux  release  psypost.org  youtube.com 
Loading...

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

Why F#?

35 hours ago batsov.com .net f# ml

Roguetype: The first ever roguelike written in the OCaml type system

24 hours ago github.com ml ocaml plt

xorq: new open source framework simplifies multi-engine ML pipelines

33 hours ago reddit.com python

From where should i start AI & ML?

19 hours ago reddit.com ai go

Pushing the opam-repository into a sustainable repository

7 days ago blog.robur.coop ml

owi: Cross-language Bugfinder

22 days ago github.com formalmethods ml

The Brat virtual machine

18 days ago gitlab.com compiler ml show

Upgrading Semgrep from OCaml 4 to OCaml 5

21 days ago semgrep.dev ml ocaml performance

OCaml Game Engine: ECS

22 days ago edwardwibowo.com game ml ocaml

Functional vs Data-Driven development: a Case-Study in Clojure & OCaml

24 days ago kirancodes.me clojure lisp ml ocaml

Career pivot into ML Compilers

14 days ago reddit.com compiler

Four Lectures on Standard ML (1989) [pdf]

3 days ago cs.tufts.edu pdf

Optimizing ML training with metagradient descent

8 days ago arxiv.org

Low responsiveness of ML models to critical or deteriorating health conditions

7 days ago nature.com

Using traditional ML and LLMs to analyze Executive Orders (1789 – 2025)

20 days ago blog.hyperarc.com llm

A decision maker's guide to Typed Functional Languages by Evan Czaplicki

12 days ago youtu.be elm haskell ml video

Usage of ISLP Library for Python/ML

4 days ago reddit.com python

Any thoughts on ML compiler eng job at meta for Reality Labs vs MTIA?

19 days ago reddit.com compiler meta

Volga - Real-Time Data Processing Engine for AI/ML

7 days ago reddit.com python

Rust-based files reorganization CLI — new version 0.2.0 with RAG & ML

5 days ago reddit.com rust

Which ML packages would you recommend for the year 2025?

18 days ago reddit.com python

Neut Programming Language

40 days ago vekatze.github.io ml plt

polysubml-demo: A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference

54 days ago github.com ml plt

A mechanically verified garbage collector for OCaml [pdf]

34 days ago kcsrk.info formalmethods ml ocaml pdf

Why do frame pointers matter for OCaml?

37 days ago lambdafoo.com compiler ml ocaml

The First Wasm_of_ocaml Release is Out

40 days ago tarides.com ml release wasm

OCaml GADTs for Authentication Tokens

47 days ago dev.to ml ocaml

It's time to become an ML engineer

41 days ago blog.gregbrockman.com

Rewriting Slipshow in OCaml: The undo-able monad

56 days ago choum.net ml monad ocaml

Andrej Karpathy: Deep Dive into LLMs Like ChatGPT [video]

56 days ago youtube.com ai chatgpt gpt llm ml video

More →