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  security  linux  google  psychology  i.redd.it  microsoft  vibecoding  meta  psypost.org  go  health  arstechnica.com  github  china  theverge.com  businessinsider.com  tomshardware.com 
Loading...

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

Data race freedom in OxCaml

7 days ago kcsrk.info ml

Introducing Incremental (2015)

7 days ago blog.janestreet.com logiclangs ml

why use F# for scripting and automation?

9 days ago iev.ee .net f# ml

A Path Not Taken for OxCaml

17 days ago joel.place ml plt

Comparing Objective Caml and Standard ML

3 days ago adam.chlipala.net

Testing MiniMax M2.7 via API on three real ML and coding workflows

4 days ago andlukyane.com api

What's the interview process like for ML/AI compiler intern roles?

8 days ago reddit.com compiler

Hypervisor role vs ML compiler startup

15 days ago reddit.com compiler

Rust as an alternative/Replacement to c++ in ML Systems

12 days ago reddit.com c++ rust

Building ML framework with Rust and Category Theory

9 days ago hghalebi.github.io rust

Reducing ML-KEM-768 encapsulation key sizes by 24 octets

22 days ago runxiyu.org cryptography

zyx v0.15.3 released - ML from scratch in Rust

9 days ago reddit.com release rust

Pre registration for ML benchmarks: hash the eval claim before you touch the test set

20 days ago falsify.dev hash

Scalable Packed Layouts for Vector-Length-Agnostic ML Code Generation

3 days ago arxiv.org compiler

I wrote a Jupyter kernel for a toy language to avoid rewriting my ML homework

18 days ago leavenha.github.io kernel

Built a Secure Hybrid Crypto Engine in Java (ML-KEM + ML-DSA + RSA/ECDSA) — started from PQC benchmarking work on a banking infrastructure

11 days ago reddit.com java

Beginner To Rust for ML

20 days ago reddit.com rust

Stop using Pandas .apply() for ML preprocessing: How I cut pipeline overhead by 35%

22 days ago reddit.com python

built a discord selfbot detector in rust, uses timing physics instead of ML

14 hours ago reddit.com discord rust

Built a real-time self-bot detector for Discord in async Rust - timing only, no ML

6 days ago reddit.com discord rust

Reimplementing the Space Protocol Stack from Scratch

38 days ago gazagnaire.org ml networking

A CSS Engine in OCaml

51 days ago gazagnaire.org css ml ocaml web

ML promises to be profoundly weird

46 days ago aphyr.com vibecoding

Exploring ML inference directly in Go (no Python, no CGO)

39 days ago hyperionhq.co go python

Let’s All Agree to Use Seeds as ML-KEM Keys (2024)

27 days ago words.filippo.io cryptography

ML supports existence of unrecognized transient astronomical phenomena

29 days ago arxiv.org

A bet on whether ML-KEM-768 or X25519 will break first

43 days ago github.com cryptography

I rebuilt search using physics instead of statistics. +18.5% NDCG@10. No ML. Yes its Open Source

50 days ago reddit.com rust

1SubMl: experimental ML-like programming language with a unified module and value language, and more

51 days ago github.com plt

ndatafusion: linear algebra and ML for DataFusion, powered by nabled

36 days ago reddit.com rust

More →