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  vibecoding  openai  health  psypost.org  techspot.com  psychology  microsoft  theguardian.com  security  game  release  show  arstechnica.com  web  tomshardware.com  video  math 

An LLVM Pass for Automatic Skeletonization of MPI Applications

8 days ago hal.science compiler llvm

The GNU libc atanh is correctly rounded

6 months ago inria.hal.science gnu

How do you compute the midpoint of an interval? (2014)

15 months ago hal.science compsci pdf

Privacy implications of browsers’ (mis)implementations of Widevine EME (2023)

16 months ago hal.science privacy

Last fifty years of integer linear programming: Recent practical advances (2024)

16 months ago inria.hal.science

CODE beyond FAIR

20 months ago inria.hal.science science

A Modern Compiler for the French Tax Code

20 months ago inria.hal.science compiler

Optimized Code Generation for Parallel and Polyhedral Loop Nests using MLIR

24 months ago inria.hal.science compiler

Modern C - C23 edition

24 months ago inria.hal.science c

Kronos: Soviet Processor Family for High-Level Languages (2006) [pdf]

24 months ago inria.hal.science hardware historical osdev pdf

Decriminalizing Homosexuality: A Global Overview Since the 18th Century

2 years ago hal.science

Children's mental models of recursive LOGO programs (1985)

2 years ago telearn.hal.science

Trap spaces of Boolean networks are conflict-free siphons of their Petri net [pdf]

2 years ago amu.hal.science pdf

New Applications of Clifford's Geometric Algebra

2 years ago hal.science

Understanding the performance of mutual exclusion algorithms on modern multicore machines - 2018 doctoral thesis by now Oracle staff engineer Hugo Guiroux

2 years ago theses.hal.science algorithm

Rage Against The Glue: Beyond Run-Time Media Frameworks with Modern C++

2 years ago cnrs.hal.science c++ media pdf plt

Merkle Search Trees: Efficient State-Based CRDTs in Open Networks

2 years ago inria.hal.science compsci database distributed pdf

Tortured conference series thriving in computer science

2 years ago hal.science

Bit-Stealing Made Legal: Compilation for Custom Memory Representations Of Algebraic Data Types

2 years ago inria.hal.science compiler compsci plt

Bit-Stealing Made Legal

3 years ago inria.hal.science pdf plt

Merge Strategies: from Merge Sort to TimSort [pdf]

3 years ago hal.science pdf

Testing a Formally Verified Compiler

3 years ago hal.science compiler

Specifying and Verifying Higher-order Rust Iterators

3 years ago hal.science formalmethods rust

Testing a Formally Verified Compiler

3 years ago hal.science compiler

Paper on formally verifying iterators in Rust

3 years ago hal.science rust

Translation Validation of Tensor Compilers

3 years ago theses.hal.science compiler