Loading...

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

Decentralized social media ‘increases citizen empowerment’, says Oxford study

The "Community Notes" (formerly "Birdwatch") feature on X/Twitter did not significantly slow the spread of misinformation on X/Twitter, because it was too slow

The Design of a Self-Compiling C Transpiler Targeting POSIX Shell

Bloat beneath Python’s Scales: A Fine-Grained Inter-Project Dependency Analysis

Rhombus: A New Spin on Macros (2023)

Eliza in SNOBOL4

The Ultimate Conditional Syntax

Nulls: Revisiting null representation in modern columnar formats

Supporting Task Switching with Reinforcement Learning

Bridging Search and Recommendation in Generative Retrieval

A history of Clojure (2020)

Beyond Procedure Calls as Component Glue: Connectors Deserve Metaclass Status

A modest proposal: C++ resyntaxed (1996)

Accelerate RISC-V Instruction Set Simulation by Tiered JIT Compilation

(2010) Code Bubbles - Visualising and editing code in an infinite canvas using bubbles to contain code fragments (there's a video showing how it would work)

Building Visual Malware Dataset using VirusShare Data and Comparing Machine Learning Baseline Model to CoAtNet for Malware Classification

DRAMHiT: A Hash Table Architected for the Speed of DRAM (2023)

QUIC is not quick enough over fast internet

The Long Way to Deforestation: A Type Inference and Elaboration Technique for Removing Intermediate Data Structures

On the Operational Theory of the CPS-Calculus: Towards a Theoretical Foundation for IRs

The Lisp 2 Programming Language and System (1966) [pdf]

Hypermedia Controls: Feral to Formal (PDF: ACM HT'24)

Snapshottable Stores

GenAI diminishes creativity instead of inspiration

A systematic approach to deriving incremental type checkers (2020)

What does it mean to be a programming language, anyhow? (2021) [pdf]

Calendar Queues: A Fast O(1) Priority Queue Implementation (1988)

Compiling Loop-Based Nested Parallelism for Irregular Workloads

Don't Write, but Return: Replacing Output Parameters with Algebraic Data Types in C-to-Rust Translation

Just-In-Time Compilation on ARM—A Closer Look at Call-Site Code Consistency

More →