Top New Best Ask Show Jobs

remexre

1,588 karma · joined October 12, 2016

PhD student at https://melt.cs.umn.edu/

Researcher at https://www.sift.net/

Email is concat ["me@", username, ".com"]

submissions comments

CHERIoT Rust: Status update #0

rust.cheriot.org·3 pts·remexre·

Anthropic: Who's in Charge? Disempowerment Patterns in Real-World LLM Usage

arxiv.org·2 pts·remexre·

Clicks Power Keyboard

clicks.tech·1 pts·remexre·

Scaling Latent Reasoning via Looped Language Models

arxiv.org·84 pts·remexre·

Fzz Buzz Without I, I,;, or:?

remexre.com·3 pts·remexre·

Auditing Electron Apps with Bananatron

muffin.ink·3 pts·remexre·

Rustc Implements "Super Let"

github.com·1 pts·remexre·

Catgrad: A categorical deep learning compiler

catgrad.com·77 pts·remexre·

Clang now more aggressively uses undefined behavior on pointer addition overflow

github.com·4 pts·remexre·

The Open Source Evolvable Hardware Project

evolvablehardware.org·2 pts·remexre·

The Rocq Prover

rocq-prover.org·4 pts·remexre·

A Minimal TTL Processor for Architecture Exploration (1994)

bradrodriguez.com·2 pts·remexre·

SeqDiffuSeq: Text Diffusion with Encoder-Decoder Transformers

arxiv.org·1 pts·remexre·

O-expressions: An alternative to s-expressions for extensible syntax

breuleux.net·5 pts·remexre·

The Organization of Networks in Plan 9

doc.cat-v.org·6 pts·remexre·

Rustc: Add do yeet expressions to allow experimentation in nightly

github.com·78 pts·remexre·

Claudian Letters

en.wikipedia.org·1 pts·remexre·

Capsicum(4)

freebsd.org·2 pts·remexre·

Common Lisp HyperSpec: Notes about Style for [Comments]

lispworks.com·1 pts·remexre·

The Next 700 Module Systems [pdf]

github.com·4 pts·remexre·

Elementary Programming

michaelpj.com·1 pts·remexre·

Dealing with Developers

medium.com·4 pts·remexre·

“The Other America” (1967)

youtube.com·2 pts·remexre·