Top New Best Ask Show Jobs

artagnon

1,571 karma · joined March 2, 2009

https://artagnon.com https://github.com/artagnon

submissions comments

Dark Age

artagnon.com·7 pts·artagnon·

The Deconstruction of Mathematical Reasoning

artagnon.com·1 pts·artagnon·

Bootstrapping Mechanical Correctness

artagnon.com·2 pts·artagnon·

Our Great Mutator

artagnon.com·2 pts·artagnon·

Conflating Ego with Intelligence

artagnon.com·1 pts·artagnon·

The Miserable Introvert

artagnon.com·17 pts·artagnon·

Fallacious Vocabulary Around Merit

artagnon.com·2 pts·artagnon·

AI and the War-Time Economy

artagnon.com·1 pts·artagnon·

The Vectorization-Planner (VPlan) in LLVM

artagnon.com·2 pts·artagnon·

The pedestrian technology underneath the hype

artagnon.com·1 pts·artagnon·

The Capitalist Wet Dream

artagnon.com·6 pts·artagnon·

Deficiencies in LLVM's LoopVectorize

artagnon.com·4 pts·artagnon·

Snake Defense Fanfic

archiveofourown.org·2 pts·artagnon·

An Opinionated Comparison of Cities

artagnon.com·12 pts·artagnon·

Introduce Rust into the Git Project

lore.kernel.org·3 pts·artagnon·

Converting the Kernel to C++

lore.kernel.org·79 pts·artagnon·

Low-hanging fruit

artagnon.com·24 pts·artagnon·

More than 500k under-35 in UK out-of-work due to long-term illness

theguardian.com·7 pts·artagnon·

Octoverse: The State of Open Source and the Rise of AI in 2023

github.blog·3 pts·artagnon·

Loco.rs: The Rails of Rust

shuttle.rs·2 pts·artagnon·

Intel proposes XeGPU dialect for LLVM MLIR

discourse.llvm.org·90 pts·artagnon·

Pylir – an MLIR-based AoT compiler for Python

github.com·2 pts·artagnon·

Firefly – an MLIR-based compiler and runtime for BEAM languages

github.com·2 pts·artagnon·

Show HN: Clayoven – beautiful website generator aimed at math-heavy sites

github.com·115 pts·artagnon·

Integer Set Library: Study Notes

artagnon.com·1 pts·artagnon·

No, the Singularity isn't coming – machine learning and common sense

artagnon.com·4 pts·artagnon·

Airbus to launch hydrogen-powered commercial aircraft by 2035

rfi.fr·3 pts·artagnon·

Lean versus Coq: The Cultural Chasm

artagnon.com·3 pts·artagnon·

Show HN: Clayoven – a minimalist website generator for math, code, and articles

github.com·149 pts·artagnon·

Entrain (1998)

ludix.com·2 pts·artagnon·

Page 1 of 2Next →