Display options

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

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  rust  github.com  show  google  microsoft  health  web  china  apple  psychology  security  java  linux  psypost.org  neuroscience  theverge.com  arstechnica.com  javascript  theguardian.com 

Formal or not formal? That is the question in AI for theorem proving

56 days ago xenaproject.wordpress.com ai formalmethods vibecoding

Bare Metal (The Emacs Essay)

2 months ago waxbanks.wordpress.com emacs

The Unix Executable as a Smalltalk Method [pdf]

2 months ago programmingmadecomplicated.wordpress.com pdf plt unix

Sharp Bilinear Filters: Big Clean Pixels for Pixel Art

2 months ago bumbershootsoft.wordpress.com art graphics

QNX Resource Manager in Rust: Message Passing and Resource Managers

2 months ago membarrier.wordpress.com osdev rust

Eight Million Copies of Moby-Dick (2014)

59 days ago thevoltablog.wordpress.com

How to Use Zorn's Lemma (2008)

55 days ago gowers.wordpress.com

Reverse engineering a 27MHz RC toy communication using RTL SDR

2 months ago nitrojacob.wordpress.com

Oskar Speck's 1932 Kayak Journey from Germany to Australia

2 months ago nswskc.wordpress.com australia

A whirlwind introduction to dataflow graphs (2018)

2 months ago fgiesen.wordpress.com

Digital ID – The New Chains of Capitalist Surveillance

2 months ago theslowburningfuse.wordpress.com

Gephi Lite v1.0

2 months ago gephi.wordpress.com

Dosbian: Boot to DOSBox on Raspberry Pi

2 months ago cmaiolino.wordpress.com raspberry-pi

Picturing Mathematics

2 months ago mathenchant.wordpress.com

Vancouver Stock Exchange: Scam capital of the world (1989) [pdf]

2 months ago scamcouver.wordpress.com pdf

Upgrading Our Way Through OpenGL 1.x

2 months ago bumbershootsoft.wordpress.com graphics opengl

Beyond horizons: world-record long-distance photograph 443 km, Finestrelles, Pyr

2 months ago beyondrange.wordpress.com

Prussian Blue

2 months ago johncarlosbaez.wordpress.com

Radioactive Pottery and Glassware (2010)

2 months ago carlwillis.wordpress.com

Microsoft Surface Pen Compatibility / Interoperability FAQ (2024)

2 months ago dancharblog.wordpress.com microsoft

LoC is a dumb metric for functions

2 months ago theaxolot.wordpress.com

Comprehension debt: A ticking time bomb of LLM-generated code

2 months ago codemanship.wordpress.com vibecoding

Test Driven Development: Bad Example

2 months ago theaxolot.wordpress.com

Be An Agnostic Programmer

3 months ago theaxolot.wordpress.com

C# Will Become F# – Gautier Talks About Microsoft Technology

3 months ago gautiertalksmicrosoft.wordpress.com c# f# microsoft

Ceiling division and mip map sizes

2 months ago fgiesen.wordpress.com graphics

It is actually surprising that Earley can efficiently parse C, ambiguities and all

2 months ago wareya.wordpress.com c plt

Creating a database of motivated proofs

2 months ago gowers.wordpress.com database

How to get samples back from Mars

3 months ago caseyhandmer.wordpress.com

Contracts for C

3 months ago gustedt.wordpress.com c

More →