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  apple  health  psychology  arstechnica.com  vibecoding  trump  environment  psypost.org  go  web  show  neuroscience  nature.com  security  china  llm  game 

Type-checking plugins, Part I: Why write a type-checking plugin?

3 years ago tweag.io

Exploring linear Traversable using generics

3 years ago tweag.io

Code is Engineering, Types are Science

3 years ago tweag.io

Towards a Content-Addressed Model for Nix

4 years ago tweag.io

Nix Flakes, Part 1: An introduction and tutorial

4 years ago tweag.io tutorial

Linear-base makes writing Linear Haskell easy and fun

4 years ago tweag.io haskell

Linear types make performance more predictable (2017)

4 years ago tweag.io

Trustix: Distributed trust and reproducibility tracking for binary caches

4 years ago tweag.io

A tale of Template Haskell and cross compilation

4 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

5 years ago tweag.io tutorial

Code is Engineering; Types are Science

5 years ago tweag.io

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

5 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

6 years ago tweag.io

Introducing lorri, your project's nix-env

6 years ago tweag.io

Mapping a Universe of Open Source Software

6 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

7 years ago tweag.io

Nix + Bazel = fully reproducible, incremental builds

7 years ago tweag.io

Bazel can now build Haskell

7 years ago tweag.io haskell

More →