progscrape: buttondown.email/hillelwayne/archive/the-capability-tractability-tradeoff

The Capability-Tractability Tradeoff

2 years ago buttondown.email plt

What's higher-order about so-called higher-order references?

5 days ago williamjbowman.com plt

Linearity and uniqueness

3 days ago kcsrk.info plt

In which I have Opinions about parsing and grammars

3 days ago chiark.greenend.org.uk plt

A tour of upcoming RFCs for the Hare programming language

6 days ago harelang.org plt

public/protected/private is an unnecessary feature

5 days ago catern.com plt

Handling bidirectional control flow

4 days ago dl.acm.org pdf plt

Red Language Reference Manual

4 days ago iment.com historical plt

Recovering control flow structures without CFGs

2 days ago purplesyringa.moe java plt

Zero-Cost 'Tagless Final' in Rust with GADT-style Enums

5 days ago inferara.com plt rust

CLIPS: An Elevator Pitch

2 days ago ryjo.codes c plt

Binary Lambda Calculus

2 days ago gist.github.com lambda math plt

Smalltalk, Haskell and Lisp

47 hours ago storytotell.org haskell lisp plt

The next phase of jank's C++ interop

2 days ago jank-lang.org clojure compiler c++ plt

No More Shading Languages: Compiling C++ to Vulkan Shaders

4 days ago xol.io c++ graphics pdf plt vulkan

Why not object capability languages?

28 days ago blog.plan99.net

How to solve a bottleneck for CO2 capture and conversion: « Today’s carbon capture systems suffer a tradeoff between efficient capture and release, but a new approach developed at MIT can boost overall efficiency

17 days ago news.mit.edu chemistry mit release

Rye principles

37 days ago ryelang.org plt

Implement Your Language Twice

32 days ago futhark-lang.org plt

You can use C-Reduce for any language

31 days ago bernsteinbear.com plt

Algebraic Effects: Another mistake carried through to perfection?

29 days ago kjosib.github.io plt

Naked objects

28 days ago en.wikipedia.org plt

A case for intransitive operator precedence (2019)

26 days ago blog.adamant-lang.org plt

Writing that changed how I think about programming languages

26 days ago bernsteinbear.com plt

The penultimate conditional syntax

25 days ago dotat.at plt

Minus 100 points (2004)

25 days ago learn.microsoft.com plt

Data is code

24 days ago blog.information-superhighway.net plt

Introducing virtual package in MoonBit

23 days ago moonbitlang.com plt

Every programming language has its 'killer' domain

21 days ago huijzer.xyz plt

Why Algebraic Effects?

16 days ago antelang.org plt

Against Curry-Howard Mysticism

13 days ago liamoc.net plt

>progscrape ▒

All the news that's fit to scrape