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  github.com  rust  vibecoding  meta  apple  game  show  health  theguardian.com  psychology  release  linux  psypost.org  video  go  media  arstechnica.com  security  javascript 

PDF Oxide - Fast PDF library in Rust with Python bindings (0.8ms, 100% pass rate)

34 days ago reddit.com pdf python rust

Generalized Sequential Probability Ratio Test for Families of Hypotheses [pdf]

38 days ago sites.stat.columbia.edu pdf

Elvish as She Is Spoke [pdf]

44 days ago elvish.org pdf

Palm OS User Interface Guidelines (2003) [pdf]

32 days ago cs.uml.edu design mobile pdf

Declarative, Inquisitive, then Imperative (2017) [pdf]

41 days ago forth.org pdf

LCM: Lossless Context Management [pdf]

41 days ago papers.voltropy.com pdf vibecoding

Paged Out Issue #8 [pdf]

39 days ago pagedout.institute ai pdf security

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

39 days ago arxiv.org formalmethods pdf

New Nick Bostrom Paper: Optimal Timing for Superintelligence [pdf]

45 days ago nickbostrom.com pdf

A case study in PDF forensics: The Epstein PDFs

54 days ago pdfa.org pdf

Data breach: DOGE 'accidentally' leaked the whole Social Security database [pdf]

53 days ago storage.courtlistener.com database pdf

PCB Rework and Repair Guide [pdf]

44 days ago intertronics.co.uk pdf

On being sane in insane places (1973) [pdf]

56 days ago weber.edu pdf

Something Big Is Coming (Annotated by Ed Zitron) [pdf]

44 days ago dropbox.com pdf

What Every Programmer Should Know About Memory [pdf]

52 days ago people.freebsd.org pdf

On being sane in insane places (1973) [pdf]

56 days ago weber.edu pdf

Disrupting malicious uses of our [OpenAI] models

30 days ago cdn.openai.com openai pdf vibecoding

There Will Come Soft Rains (1950) [pdf]

57 days ago btboces.org pdf

Network Applications of Bloom Filters: A Survey [pdf]

57 days ago eecs.harvard.edu pdf

Finding forall-exists Hyperbugs using Symbolic Execution

41 days ago dl.acm.org formalmethods pdf

Solving Package Management via Hypergraph Dependency Resolution

57 days ago arxiv.org pdf

Relational Programming in miniKanren: Techniques, Applications, and Implementations (2009)

49 days ago scholarworks.iu.edu logiclangs pdf

Sony Jumbotron Image Control System (1998) [pdf]

46 days ago pro.sony pdf sony

How to squeeze a lexicon (2001) [pdf]

54 days ago marcinciura.wordpress.com pdf

Where does engineering go? Retreat findings and insights [pdf]

45 days ago thoughtworks.com go pdf vibecoding

Defining Safe Hardware Design [pdf]

55 days ago people.csail.mit.edu hardware pdf plt

What every compiler writer should know about programmers (2015) [pdf]

45 days ago complang.tuwien.ac.at compiler pdf

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

33 days ago arxiv.org compsci gnu pdf turing

Vibe Coding Kills Open Source

52 days ago arxiv.org pdf vibecoding

Zero Knowledge (About) Encryption: A Comparative Security Analysis of Three Cloud-based Password Managers

41 days ago eprint.iacr.org encryption pdf security

More →