Display options

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

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  github.com  rust  health  china  arstechnica.com  neuroscience  theguardian.com  psychology  show  google  psypost.org  environment  linux  theverge.com  release  game  go  brain  apple 

Crossing the Impossible FFI Boundary, and My Gradual Descent Into Madness

4 months ago verdagon.dev rust

Crossing the impossible FFI boundary, and my gradual descent into madness

5 months ago verdagon.dev compiler plt

Higher RAII, and the Seven Arcane Uses of Linear Types

7 months ago verdagon.dev plt

Exploring Seamless Rust Interop for Newer Languages, Part 1

6 months ago verdagon.dev plt rust

Borrow Checking, RC, GC, and the Eleven () Other Memory Safety Approaches

7 months ago verdagon.dev rust

Vale's first prototype for immutable region borrowing

17 months ago verdagon.dev performance plt prototype rust

Making C++ safe without borrow checking, reference counting, or tracing GC

17 months ago verdagon.dev c++

What Vale taught me about linear types, borrowing, and memory safety

18 months ago verdagon.dev plt

Memory Safety Without Borrow Checking, Reference Counting, or Garbage Collection

18 months ago verdagon.dev rust

The Link Between Generics, Compile Times, Type-Erasure, Cloud Building, and Hot-Code Reloading

18 months ago verdagon.dev

How to Survive Your Project's First 100k Lines

19 months ago verdagon.dev

Implementing Vale's Region Borrowing, and its Unexpected Quest

19 months ago verdagon.dev plt

Memory Safety Approaches Speed Up and Slow Down Development Velocity

23 months ago verdagon.dev

Implementing a New Memory Safety Approach, Part 1

24 months ago verdagon.dev

Zero-Cost Memory Safety with Vale Regions (Preview)

2 years ago verdagon.dev

Hash Codes, Non-Determinism, and Other Eldritch Horrors

2 years ago verdagon.dev hash

When to use memory safe languages

2 years ago verdagon.dev

Vale's Hybrid-Generational Memory

2 years ago verdagon.dev

Vale's "Fearless FFI", for Memory Safety, Safer Dependencies, and Supply-Chain Attack Mitigation

2 years ago verdagon.dev

Heisenbugs: The most elusive kind of bug, and how to capture them with Perfect Replayability

2 years ago verdagon.dev

Vale 0.2 Released: Higher RAII, Concept Functions, Const Generics, FFI, Modules, Faster Compiles, set Keyword

2 years ago verdagon.dev release

A Tale of Yak Shaving: Accidentally Making a Language, for an Engine, for a Game

2 years ago verdagon.dev game

Surprising Weak-Ref Implementations: Swift, Obj-C, C++, Rust, and Vale

2 years ago verdagon.dev c++ rust swift

Vale's Higher RAII, the pattern that saved me a vital 5 hours in the 7DRL Challenge

2 years ago verdagon.dev

Seamless, Fearless, and Structured Concurrency

2 years ago verdagon.dev concurrency

Data Races in Python, Despite the Global Interpreter Lock

2 years ago verdagon.dev python