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  vibecoding  health  openai  github.com  psychology  techspot.com  psypost.org  release  tomshardware.com  apple  arstechnica.com  theguardian.com  show  linux  meta  game  google  video 
Loading...

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

The Second Golden Spike: Memory Safety Across the Valen/Rust Boundary

4 days ago verdagon.dev compiler performance plt rust

A Simple Language With Flow Typing (2021)

4 days ago ayazhafiz.com plt

The Era of Programming Languages Exploration is upon Us

2 days ago kirancodes.me plt vibecoding

Keeping Futhark off the GPU

3 days ago futhark-lang.org gpu plt

Building a RAG pipeline for semantic code search

29 hours ago blog.jetbrains.com editors plt vibecoding

Customization: Optimizing Compiler Technology for SELF, a Dynamically-Typed Object-Oriented Programming Language (1989)

2 days ago dl.acm.org compiler pdf performance plt

Typeclasses vs Modules

4 days ago sm2n.ca haskell ml plt

Rust to WGSL transpiler `wgsl-rs` released

4 days ago renderling.xyz graphics plt release rust

A Design Space Exploration of Async/Await

26 days ago cel.cs.brown.edu plt rust

Why isn't mutable a subtype of immutable, or vice versa?

17 days ago crumbles.blog plt

The Golden Spike, and Resurrecting the Vale(n) Programming Language

18 days ago verdagon.dev compiler plt rust

Named and Optional Arguments are Awesome

15 days ago botahamec.dev plt rust

Rust: When Empty Isn't Bottom

27 days ago ettolrach.com plt rust

A First Futamura Projection

13 days ago blog.veitheller.de plt

Do not let your type system reason about aliasing in your programming language

12 days ago futhark-lang.org plt

CTTI is Exponential, RTTI is Linear

33 days ago gingerbill.org compiler plt

A few good ideas in programming languages

23 days ago prydt.xyz plt

What makes Lisp difficult to read?

7 days ago paultm.nl lisp plt

Design your programming languages right (2024)

13 days ago blog.veritates.love plt

We Should Be Able to Change Our Languages

10 days ago jimmyhmiller.com plt vibecoding

A defense of object-orientated programming

31 days ago codeandcake.dev plt

Union vs sum types

15 days ago viralinstruction.com plt rust

Type inference has usability problems (2019)

27 days ago austinhenley.com plt

Lambda MicroEgg

15 days ago philipzucker.com formalmethods lambda plt

Dependent if expressions without dependent types

33 days ago haskellforall.com plt

Type Systems You Might Not Know (But Will Love)

20 days ago wearedevelopers.com plt video

Kythe, a pluggable, language-agnostic ecosystem for building tools that work with code

21 days ago kythe.io editors plt

The Robot Framework language

34 days ago docs.robotframework.org plt

How I Wrote a Forth (Without Knowing How)

20 days ago vtrlx.ca concatenative plt

evocation - Call forth the blue-green flame of computation from the universe, weave its energies into a fabric, that we may share our blood with it

14 days ago code.irenes.space concatenative plt universe

More →