progscrape: arxiv.org

Trending tags: ai rust github.com health theguardian.com release game security vibecoding reuters.com go linux i.redd.it windows meta web show apple openai psychology

Chorba: A novel CRC32 implementation (2024)

26 days ago arxiv.org

Evaluating AGENTS.md: are they helpful for coding agents?

37 days ago arxiv.org

CSLib: The Lean Computer Science Library

30 days ago arxiv.org formalmethods

Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on seL4

33 days ago arxiv.org math vibecoding

The Appeal and Reality of Recycling LoRAs with Adaptive Merging

27 days ago arxiv.org

A 26-Gram Butterfly-Inspired Robot Achieving Autonomous Tailless Flight

31 days ago arxiv.org flight

First Proof

46 days ago arxiv.org math pdf vibecoding

Fast KV Compaction via Attention Matching

33 days ago arxiv.org

A New Perspective on Drawing Venn Diagrams for Data Visualization

35 days ago arxiv.org

Turing Completeness of GNU find

28 days ago arxiv.org gnu turing

Vibe Coding Kills Open Source

47 days ago arxiv.org pdf vibecoding

SkillsBench: Benchmarking how well agent skills work across diverse tasks

36 days ago arxiv.org

A Framework for Time-Updating Probabilistic Forecasts

39 days ago arxiv.org

Large Language Model Reasoning Failures

32 days ago arxiv.org

Shifts in U.S. Social Media Use, 2020–2024: Decline, Fragmentation, Polarization (2025)

44 days ago arxiv.org media

Frontier AI agents violate ethical constraints 30–50% of time, pressured by KPIs

43 days ago arxiv.org ai

Beyond Smoothed Analysis: Analyzing the Simplex Method by the Book

51 days ago arxiv.org compsci

Hexagon-MLIR: An AI Compilation Stack For Qualcomm's Neural Processing Units (NPUs)

27 days ago arxiv.org ai compiler

Flip Distance of Convex Triangulations and Tree Rotation Is NP-Complete

24 days ago arxiv.org

Towards Autonomous Mathematics Research

37 days ago arxiv.org

Generalized on-policy distillation with reward extrapolation

39 days ago arxiv.org

Solving Package Management via Hypergraph Dependency Resolution

52 days ago arxiv.org pdf

Attention at Constant Cost per Token via Symmetry-Aware Taylor Approximation

49 days ago arxiv.org

Was Benoit Mandelbrot a hedgehog or a fox?

49 days ago arxiv.org

AutoOverlap: Enabling Fine-Grained Overlap of Computation and Communication with Chunk-Based Scheduling

47 days ago arxiv.org compiler

Psychometric Jailbreaks Reveal Internal Conflict in Frontier Models

47 days ago arxiv.org

Axe: A Simple Unified Layout Abstraction for Machine Learning Compilers