Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://rpi4-host.progscrape.com/
Trending tags: ai  github.com  rust  vibecoding  security  health  release  theguardian.com  psychology  i.redd.it  go  reuters.com  psypost.org  biology  google  linux  compiler  china  iran  tomshardware.com 
Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

Everything Should Be Typed: Scalar Types Are Not Enough

5 days ago sot.dev plt rust

Lean proved this program correct; then I found a bug

5 days ago kirancodes.me formalmethods plt security vibecoding

Lisette a little language inspired by Rust that compiles to Go

15 days ago lisette.run go plt rust

A tail-call interpreter in (nightly) Rust

13 days ago mattkeeter.com plt rust

Embed You a ponyc for Great Good

4 days ago ponylang.io plt

Reflections on 30 years of HPC programming

5 days ago chapel-lang.org performance plt

EsoNatLangs Bring the Complexity of Natural Language into Code

2 days ago esoteric.codes plt

1SubML: Plan vs Reality

11 days ago blog.polybdenum.com plt

Lenses in Rust and My Solution

29 hours ago lambdalemon.gay plt rust

1SubMl: experimental ML-like programming language with a unified module and value language, and more

16 days ago github.com plt

What is a property?

11 days ago alperenkeles.com haskell plt

Why Lean?

14 days ago leodemoura.github.io plt

Linear types proposal for Hare

17 days ago yerinalexey.srht.site plt

Borrow-checking surprises

10 days ago scattered-thoughts.net plt rust

MoonBit 0.9: Introducing First-Class Formal Verification

5 days ago moonbitlang.com plt release vibecoding

Slap: Functional Concatenative Language with a Borrow Checker?

15 days ago taylor.town concatenative plt

Meet Kiki - an array language

8 days ago eli.li apl plt

Formal Methods

16 days ago formalmethods.dk formalmethods plt

The thrilling adventures of Lovelace and Babbage

4 days ago archive.org book design historical plt

Red-black tree in Lean 4 prover with everything proved

17 days ago rentry.co formalmethods plt

Single Module Lambda Calculus from Simply Typed to Martin Lof Type Theory

4 days ago github.com haskell lambda plt

Validating Hare’s Sort Module using Symbolic Execution

16 days ago notes.8pit.net formalmethods plt

Formal typing rules and presentation materials for Swift 6.2's concurrency type system, focusing on Capability and Region

3 days ago github.com concurrency plt swift

DSTs Are Just Polymorphically Compiled Generics

18 days ago faultlore.com plt rust swift

Functional Algorithms, Verified

15 days ago in.tum.de algorithm formalmethods pdf plt

Retargeting JIT compilers by using C-compiler generated executable code (2004)

12 days ago cs.arizona.edu compiler concatenative pdf plt

Activating Two Trap Cards at Once, or: A Gentle Response to the Popularity of Vibecoding

16 days ago gist.github.com ai math plt python vibecoding

No Semicolons Needed

31 days ago terts.dev plt

What category theory teaches us about dataframes

20 days ago mchav.github.io database plt

Sir Tony Hoare has died

40 days ago lefenetrou.blogspot.com plt

More →