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

WebAssembly back end merged into GHC

24 months ago tweag.io

Hard User Separation with NixOS

24 months ago tweag.io

Threads and messages with Rust and WebAssembly

24 months ago tweag.io rust

Staged programming with typeclasses

24 months ago tweag.io

Functional programming from sets and functions

24 months ago tweag.io

A nub in the haystack

2 years ago tweag.io

Converting a polyglot project build to Bazel

2 years ago tweag.io

Worry-free NixOS refactors

2 years ago tweag.io

Construction and analysis of the build and runtime dependency graph of nixpkgs

2 years ago tweag.io

Optimizing Nickel's Array Contracts

2 years ago tweag.io

Four months into The Nix Book

2 years ago tweag.io

Functional Python, Part I: Typopædia Pythonica

2 years ago tweag.io python

Unit Test Your Nix Code

2 years ago tweag.io

Building Nix flakes from Rust workspaces

2 years ago tweag.io rust

Our Roadmap for Nix

2 years ago tweag.io

Nix: Taming Unix with Functional Programming

2 years ago tweag.io

Incremental Builds for Haskell with Bazel

2 years ago tweag.io haskell

Smooth, non-invasive Haskell Stack and Nix shell integration

2 years ago tweag.io haskell

Existential optics

2 years ago tweag.io

Union and intersection contracts are hard

2 years ago tweag.io

First release of Nickel

2 years ago tweag.io release

Improving Criterion.rs

2 years ago tweag.io

Trustix – Consensus and Voting

2 years ago tweag.io

Trustix: Good things come in trees

2 years ago tweag.io

The Varieties of the Haskelling Experience

2 years ago tweag.io

A Haskell memory leak in way too much detail with Cachegrind

3 years ago tweag.io haskell

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

3 years ago tweag.io

More →