progscrape: www.cis.upenn.edu/~bcpierce/tapl

Types and Programming Languages

3 months ago cis.upenn.edu

The Past, Present & Future of Programming Languages

2 days ago youtube.com historical video

What are the best ways to learn Python and other programming languages?

7 days ago reddit.com python

The Past, Present & Future of Programming Languages • Kevlin Henney

3 days ago youtu.be

Testing Frameworks and Mini-Languages

7 days ago matttproud.com go testing

Typecheck and composite data types

18 hours ago reddit.com compiler

Levels of configuration languages

2 days ago beza1e1.tuxen.de plt

I created an open source project to reduce log size by 90%. Should I create it in Java, Python and other programming languages too?

6 days ago github.com java python

IR Basic Types

8 days ago reddit.com compiler

Faking ADTs and GADTs in Languages That Shouldn't Have Them

12 days ago blog.jle.im

Compiling rust code into other languages?

11 days ago reddit.com rust

rust-query 0.4, new fancy structural types and other features

21 hours ago blog.lucasholten.com rust

About the difference between programming and coding

4 days ago reddit.com

Syntactic Musings on View Types

9 days ago blog.yoshuawuyts.com plt rust

Zog v0.19.0 release! Custom types, reusable custom validations and much more!

11 days ago reddit.com go release

Building a Community for Programming Help and OS Support

5 days ago oreonproject.org

Looking for dsa mentor and programming buddies in js

25 hours ago nosite.com

Animated Video on Java Data Types & Variables — Feedback on the Explanation and Animation Style?

3 days ago youtube.com java video

Any reason(s) to specify parameter types?

9 days ago reddit.com python

Hypothetical programming language

12 days ago docs.google.com

Goodbye Computer Programming

10 days ago medium.com

Elliptical Python Programming

4 days ago susam.net python satire

Of Kind Chess and Wicked Programming: How AI Influences Our Creativity

36 hours ago amenji.io ai

How to prevent a robot uprising with types

21 hours ago typeconf.dev

C3 Programming Language : A Smarter, Safer Way Beyond C Programming

5 days ago frontbackgeek.com c

Hasochism: The pleasure and pain of dependently typed Haskell programming [pdf] (2013)

6 days ago personal.cis.strath.ac.uk haskell pdf

When does it make sense to mix Rust with other languages?

43 hours ago reddit.com rust

forint | A crate for invoking macros with integer types.

4 days ago crates.io rust

Vibe programming on steroids

8 days ago youtube.com

Notes on Literate Programming

6 days ago literateprogramming.com compsci

Suffering-Oriented Programming (2012)

3 days ago nathanmarz.com

>progscrape ▒

All the news that's fit to scrape