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  vibecoding  health  openai  techspot.com  psypost.org  microsoft  theguardian.com  psychology  security  release  show  game  math  linux  arstechnica.com  web  video 
Loading...

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

Valen's Memory Safety: A New Kind of Borrow Checking

45 hours ago verdagon.dev compiler plt

Equality Saturation: An “Incomplete” Project

4 days ago blog.sigplan.org compiler

Adding Go's defer to the TypeScript Compiler

4 days ago healeycodes.com compiler go javascript typescript

The next-gen borrow checker, a drop-in replacement for Rust borrow checking

3 days ago gist.github.com compiler plt rust

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

11 days ago verdagon.dev compiler performance plt rust

From NP-complete to O(N^2) to O(nlogn): Codegen strategies for case statements.

11 days ago arxiv.org compiler

Refinement E-Graphs

8 days ago philipzucker.com compiler formalmethods

Compiling my favourite language to Web Assembly with no JDK in sight

7 days ago wasmcoffee.com compiler java web

Papers for new compiler devs

42 hours ago reddit.com compiler

Beyond learning: when does it actually make sense to write a custom native backend instead of using LLVM/Cranelift?

3 days ago reddit.com compiler

Chasing a -O2 pessimization in antcc

recently added 386s.org c compiler

Rat's Register Allocator

5 days ago hexrat.cc compiler performance

Goose: a stack allocation flat data structure language

5 days ago reddit.com compiler

What is new in LLVM 23?

9 days ago developer.arm.com compiler llvm

Assignment Syntax Thoughts and Questions

7 days ago reddit.com compiler

Communication Between the Compiler, the Build System, and Beyond

6 days ago shrub.industries compiler

My LLVM contribution w/o using Ai got merged

2 days ago reddit.com ai compiler llvm

How My Python Compiler Beat CPython (Without a JIT)

8 days ago reddit.com compiler python

Two ARM64-specific compiler optimization bugs, in GCC 15/16 and Rust, hit curl

7 days ago mastodon.social compiler rust security

Gleam doesn't compile to Erlang source anymore

7 days ago gleam.run compiler erlang gleam

Inside the Mojo compiler

6 days ago youtube.com compiler video

as someone who's trying to become a C++ dev for a day job, how do i get into compilers for the fun of it?

27 hours ago reddit.com compiler c++

What skills are required in a compiler engineer role in an industry?

2 days ago reddit.com compiler

Compiler engineering, MLIR, and LLVM IR are what I want to work on.

4 days ago reddit.com compiler llvm

Making React Context Cheap with React Compiler

39 hours ago jjenzz.com compiler javascript react web

Beating the compiler (2024)

12 days ago mattkeeter.com compiler

Ocaml or haskell?

40 hours ago reddit.com compiler haskell ocaml

A small website to track all the fuzzing and Miri campaigns for my compiler :)

2 days ago i.redd.it compiler

Zeroization, part 1: Wiping can make things worse

5 days ago 00f.net compiler security

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

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

More →