Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://rpi4-host.progscrape.com/
Trending tags: ai  rust  github.com  security  vibecoding  web  linux  psychology  reuters.com  go  psypost.org  google  apple  release  i.redd.it  tomshardware.com  microsoft  neuroscience  theguardian.com  health 

Vectorization of Verilog Designs and its Effects on Verification and Synthesis

51 days ago arxiv.org

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

54 days ago arxiv.org ai

Transformers Are Bayesian Networks

50 days ago arxiv.org

A Rational Analysis of the Effects of Sycophantic AI

2 months ago arxiv.org ai vibecoding

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

2 months ago arxiv.org

Language model teams as distributed systems

54 days ago arxiv.org

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

53 days ago arxiv.org

Idempotent Slices with Applications to Code-Size Reduction

59 days ago arxiv.org compiler

Fungal Electronics (2021)

59 days ago arxiv.org

Agents of Chaos

2 months ago arxiv.org

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

2 months ago arxiv.org compiler

PolyBlocks: A Compiler Infrastructure for AI Chips and Programming Frameworks

2 months ago arxiv.org ai compiler

Language Model Contains Personality Subnetworks

2 months ago arxiv.org

Speculative Speculative Decoding (SSD)

2 months ago arxiv.org ssd

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

2 months ago arxiv.org python

CuTe Layout Representation and Algebra

2 months ago arxiv.org compiler

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

2 months ago arxiv.org

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

2 months ago arxiv.org ai llm privacy

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

2 months ago arxiv.org ai compiler kernel

Reinforcement Learning from Human Feedback

3 months ago arxiv.org

Current Large Audio Language Models largely transcribe rather than listen

2 months ago arxiv.org ai audio

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

2 months ago arxiv.org compsci

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

2 months ago arxiv.org formalmethods pdf

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

2 months ago arxiv.org compsci gnu pdf turing

Chorba: A novel CRC32 implementation (2024)

2 months ago arxiv.org

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

2 months ago arxiv.org

CSLib: The Lean Computer Science Library

2 months ago arxiv.org formalmethods

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

2 months ago arxiv.org math vibecoding

The Appeal and Reality of Recycling LoRAs with Adaptive Merging

2 months ago arxiv.org

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

2 months ago arxiv.org flight

More →