Loading...

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

Why AI systems don't learn – On autonomous learning from cognitive science

UC Irvine researchers bring down AI powered drones with painted umbrellas

Successes and Breakdowns in Everyday Non-Display Smart Glasses Use

A Reinforcement Learning Environment for Automatic Code Optimization in the MLIR Compiler

Researchers improve lower bounds for some Ramsey numbers using AlphaEvolve

Non-trivial error in physics paper found via Lean

Vectorization of Verilog Designs and its Effects on Verification and Synthesis

Speed at the cost of quality: Study of use of Cursor AI in open source projects (2025)

Transformers Are Bayesian Networks

A Rational Analysis of the Effects of Sycophantic AI

Isotopic Evidence for a Cold and Distant Origin of Interstellar Object 3I/Atlas

Language model teams as distributed systems

Flash-KMeans: Fast and Memory-Efficient Exact K-Means

Idempotent Slices with Applications to Code-Size Reduction

Fungal Electronics (2021)

Agents of Chaos

Bootstrapping Fuzzers for Compilers of Low-Resource Language Dialects Using Language Models

PolyBlocks: A Compiler Infrastructure for AI Chips and Programming Frameworks

Language Model Contains Personality Subnetworks

Speculative Speculative Decoding (SSD)

Unlocking Python's Cores:Energy Implications of Removing the GIL

CuTe Layout Representation and Algebra

SWE-CI: Evaluating Agent Capabilities in Maintaining Codebases via CI

Large-scale online deanonymization with LLMs (using HN posts)

Analyzing Latency Hiding and Parallelism in an MLIR-based AI Kernel Compiler

Reinforcement Learning from Human Feedback

Current Large Audio Language Models largely transcribe rather than listen

Package Managers à la Carte: a formal model of dependency resolution

130k Lines of Formal Topology: Simple and Cheap Autoformalization for Everyone?

Turing Completeness of GNU find: From mkdir-assisted Loops to Standalone Computation

More →