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  vibecoding  show  psypost.org  psychology  web  theguardian.com  apple  video  java  arstechnica.com  health  security  microsoft  llm  go  i.redd.it  youtube.com 

Silicon-based aromatic compound synthesized for the first time ever

4 hours ago uni-saarland.de chemistry

Alice ML

2 years ago ps.uni-saarland.de ml plt

The Next Mainstream Programming Language: A Game Developer’s Perspective (2005)

3 years ago st.cs.uni-saarland.de game

Correlation between experience and efficacy of programmers [pdf]

3 years ago se.cs.uni-saarland.de pdf

Challenges of Resolving Merge Conflicts: A Mining and Survey Study

4 years ago se.cs.uni-saarland.de

Design and Analysis of Real-Time Systems: Static WCET Analysis (2013)

6 years ago embedded.cs.uni-saarland.de

LVC – Linear Verified Compiler

7 years ago ps.uni-saarland.de compiler

A comparison of adaptive radix trees and hash tables

7 years ago bigdata.uni-saarland.de hash

When do changes induce fixes? (On Fridays.) (2005)

7 years ago st.cs.uni-saarland.de

Formal Verification of a C0 Library for Strings (2006)

7 years ago cs.uni-saarland.de

Yesterday, my program worked. Today, it does not. Why? (1999)

8 years ago st.cs.uni-saarland.de

Theoretical Computer Science – An Introduction

8 years ago cs.uni-saarland.de

Advanced Coverage Criteria

8 years ago st.cs.uni-saarland.de

PDE-Based Image Compression

9 years ago mia.uni-saarland.de compression

A graph-based higher-order intermediate representation (demonstrated with Impala, a dialect of Rust)

10 years ago compilers.cs.uni-saarland.de rust

Impala: a Rust dialect that can partially evaluate functions at compile time and produce GPU code [PDF]

10 years ago compilers.cs.uni-saarland.de gpu pdf rust

Alice SML: Rich Support for Concurrent, Distributed and Constraint Programming

10 years ago ps.uni-saarland.de

Excellent lecture series on Database Technology from Professor Jens Dittich

11 years ago infosys.uni-saarland.de database