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  show  health  microsoft  apple  theverge.com  google  security  neuroscience  release  china  nature.com  psypost.org  trump  linux  go  arstechnica.com  brain 

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

3 months ago github.com ml plt

A mechanically verified garbage collector for OCaml [pdf]

2 months ago kcsrk.info formalmethods ml ocaml pdf

Why do frame pointers matter for OCaml?

2 months ago lambdafoo.com compiler ml ocaml

The First Wasm_of_ocaml Release is Out

2 months ago tarides.com ml release wasm

OCaml GADTs for Authentication Tokens

3 months ago dev.to ml ocaml

It's time to become an ML engineer

2 months ago blog.gregbrockman.com

Rewriting Slipshow in OCaml: The undo-able monad

3 months ago choum.net ml monad ocaml

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

3 months ago youtube.com ai chatgpt gpt llm ml video

ML compiler interview prep

2 months ago reddit.com compiler

Running ML models in Elixir using Pythonx

2 months ago samrat.me ai elixir

Interview tips for ML compiler engineer positions?

3 months ago reddit.com compiler

ReScript: A Better Typed JavaScript?

2 months ago youtube.com javascript ml plt video

GitHub - perpetual-ml/perpetual: A self-generalizing gradient boosting machine which doesn't need hyperparameter optimization

3 months ago github.com github

New Javascript AI/ML framework in Sundown

3 months ago github.com javascript

scikit-fingerprints - Python library for computing molecular fingerprints and molecular ML

2 months ago reddit.com python

Smolmodels: a library that generates ML models based on natural language task descriptions

3 months ago reddit.com python

Using ML and AI for stock price prediction

2 months ago blog.michaelrbparker.com ai

Is ML/DL Really a Part of Computer Science?

2 months ago reddit.com

Guidance for a ML programming

2 months ago youtube.com

Introducing Bento, Snap's ML Platform

3 months ago eng.snap.com

Looking for mentor; Data or Ai/ML Compilers/Optimizers

3 months ago reddit.com compiler

Preparation for AI & ML Bachelor!

3 months ago amsterdam.tech ai

A better build system for OCaml

3 months ago blog.janestreet.com ml ocaml

CCL: Categorical Configuration Language

4 months ago chshersh.com ml plt

The Untouched Goldmine of F#

4 months ago rm4n0s.github.io .net f# ml

Podcast: Type Theory Forall

4 months ago typetheoryforall.com audio ml plt

Porting PFP from Haskell to OCaml

4 months ago github.com haskell ml ocaml

Multicore Property-Based Tests for OCaml 5: Challenges and Lessons Learned

3 months ago tarides.com ml ocaml testing

Raising vitamin D levels above 30 ng/mL (ideally 40–70 ng/mL) lowers the risk of major diseases and improves overall health

3 months ago mdpi.com health

Kleisli, a functional query system

3 months ago citeseerx.ist.psu.edu database ml pdf plt

More →