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  health  apple  video  psychology  psypost.org  youtube.com  linux  techcrunch.com  show  theguardian.com  web  trump  security  release  neuroscience  go  environment 

Nix Flakes, Part 1: An introduction and tutorial

3 years ago tweag.io tutorial

Linear-base makes writing Linear Haskell easy and fun

3 years ago tweag.io haskell

Linear types make performance more predictable (2017)

3 years ago tweag.io

Trustix: Distributed trust and reproducibility tracking for binary caches

3 years ago tweag.io

A tale of Template Haskell and cross compilation

3 years ago tweag.io haskell

Pure destination-passing style in Linear Haskell

4 years ago tweag.io haskell

Programming R at native speed using Haskell

4 years ago tweag.io haskell

Nickel: Better Configuration for Less

4 years ago tweag.io

Haskell's IDE tooling is about to get a lot better - Making GHCIDE smarter and faster

4 years ago tweag.io haskell

Markov Chain Monte Carlo (MCMC) Sampling, Part 1: The Basics

4 years ago tweag.io

Nix Flakes, Part 3: Managing NixOS systems

4 years ago tweag.io

Developing Python with Poetry & Poetry2nix: Reproducible flexible Python environments

4 years ago tweag.io python

Linear types are merged in GHC

4 years ago tweag.io

Nix Flakes, Part 1: An introduction and tutorial

4 years ago tweag.io tutorial

Code is Engineering; Types are Science

4 years ago tweag.io

How to make your papers run: Executable formal semantics for your language

4 years ago tweag.io

Ormolu: Announcing First Release [Haskell source code formatter]

5 years ago tweag.io haskell release

Why Haskell Is Important

5 years ago tweag.io haskell

The Sneakernet: Towards A Much Faster Internet

5 years ago tweag.io

Introducing lorri, your project's nix-env

5 years ago tweag.io

Mapping a Universe of Open Source Software

5 years ago tweag.io universe

Encode state transitions in types using linear types

6 years ago tweag.io

Streaming with linear types

6 years ago tweag.io

Funflow: typed resumable workflows

6 years ago tweag.io

Nix + Bazel = fully reproducible, incremental builds

6 years ago tweag.io

Bazel can now build Haskell

6 years ago tweag.io haskell

GHC compiler plugins in the wild: typing Java

7 years ago tweag.io compiler java

Encode state transitions in types using linear types

7 years ago tweag.io

Diversity through inline code

7 years ago tweag.io

Typing Nix

7 years ago tweag.io

More →