progscrape: eprint.iacr.org/2019/926

Formal Verification of a Constant-Time Preserving C Compiler

5 years ago eprint.iacr.org c compiler

Vishap Oberon Compiler

8 hours ago github.com compiler

Systems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methods

7 days ago queue.acm.org aws

Type Checking in a static typed compiler

7 days ago reddit.com compiler

New here, my compiler (and ISA project)

47 hours ago github.com compiler

Running the "Reflections on Trusting Trust" Compiler

34 hours ago research.swtch.com compiler

When should a compiler expand garbage collection barriers?

3 days ago robcasloz.github.io compiler

Compiling Zig compiler to wasm32-wasi target.

3 days ago reddit.com compiler zig

Making a Brainf*** JIT Compiler in Rust

2 days ago youtube.com compiler rust video

certicoq: A Verified Compiler for Gallina, Written in Gallina

2 days ago github.com compiler formalmethods

'Please leave feedback': how constant online reviews are changing our brains

7 days ago theguardian.com

Quaker Parents Were Ahead of Their Time

4 days ago theatlantic.com

Arkansas Social Media Age Verification Law Blocked By Federal Judge

7 days ago engadget.com media

Federal judge declares Arkansas social media age-verification law unconstitutional

6 days ago arkansasadvocate.com media

Learn electricity and electronics fundamentals without taking a formal course

4 days ago simonmonk.org

Thinking like a compiler: places and values in Rust

35 hours ago steveklabnik.com compiler plt rust

First time intern of an AI company please help!

2 days ago reddit.com ai

Humbug - a GUI-based AI development tool with an integrated prompt compiler

5 days ago reddit.com ai compiler python

C++26: variadic friends

6 days ago sandordargo.com c++

Writing C for Curl

47 hours ago daniel.haxx.se c plt

Memory Safety for C++

33 hours ago github.com c++

A rough survey of compilation, recompilation, and compile-time evaluation

4 days ago scattered-thoughts.net plt

What is the best way to implement dynamically typed variables in C++?

5 days ago reddit.com compiler c++

Linux ARM64 stable compiler is now PGO/BOLT optimized, and up to 30% faster

5 days ago reddit.com compiler linux rust

Compiling C to PowerPoint [video]

4 days ago youtube.com c video

Make C string literals const?

2 days ago gustedt.wordpress.com c

AnuDB – C++ document store using RocksDB

7 days ago github.com c++

A little C with your Rust

5 days ago docs.rust-embedded.org c rust

HLS live stream from Opencv C++

10 hours ago funvisiontutorials.com c++

shorty: a C++ library for concise lambdas

9 hours ago github.com c++

Cómo crear un Servicio REST en C++

recently added emanuelpeg.blogspot.com c++

>progscrape ▒

All the news that's fit to scrape