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  openai  vibecoding  github.com  health  techspot.com  psychology  arstechnica.com  theguardian.com  linux  psypost.org  apple  release  show  nature.com  google  security  compiler  microsoft 
Loading...

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

A tale of four theorem provers, or: A (reasonably) opinionated comparison of Isabelle/HOL, Lean, HOL4, and Agda

16 hours ago blueberrywren.dev design plt

There are many themes, but this one is yours

19 hours ago earendil.com a11y design vibecoding

Is COSMIC DE mogging KDE Plasma?

3 days ago thelibre.news design kde linux

Apple's "Clean Design" Is Stupidity When It Comes to Hiding Fire Extinguishers

6 days ago gadgetreview.com apple

The hidden design compromises of Docker layers

7 days ago loige.co docker virtualization

GPT-Synopsys: Frontier Intelligence to Revolutionize Chip Design

8 days ago news.synopsys.com

Mozilla met with Microsoft to discuss their harmful design practices

2 days ago reddit.com microsoft mozilla

API design question: should a 407 from a proxy check be Ok or Err?

7 days ago reddit.com api proxy rust

OTel-Native by Design – Building Products That Export to Any Observability Stack

24 hours ago opentelemetry.io

Show HN: SVG Spark – 10 client-side SVG design and dev tools

31 hours ago svg-spark.vercel.app show svg

Arjan's Software Design Mastery Course Reviews

7 days ago reddit.com python

Traits, the programming language i am working on it just gets traits so any kind of idea you can share over it syntax design i will try to add some of them.

7 days ago i.redd.it compiler

How good is AI at SWE systems design?

3 days ago reddit.com ai

Ideas on modernizing the open-source desktop

16 days ago lwn.net design

Vintage Scientific Papers with LaTeX

30 days ago github.com design

Scott Jenson: Are we going to use the same Desktop UX forever? [video]

20 days ago youtube.com design video

A Design Space Exploration of Async/Await

30 days ago cel.cs.brown.edu plt rust

Apple's Dimensional Drawings

26 days ago developer.apple.com apple design

evergarden

28 days ago evergarden.moe design

Klassik Revives the KDE 3 Desktop on Modern Plasma 6

12 days ago linuxiac.com design kde

Intuitive equals familiar

11 days ago dl.acm.org design pdf

That About Wraps It Up for Stock Mac UI

17 days ago inessential.com design mac

CleanShot’s bulldozed settings

20 days ago unsung.aresluna.org design mac

What would a serious AI product look like?

11 days ago blog.glyph.im a11y ai design vibecoding

xkcd-font: The xkcd font

27 days ago github.com design font

Lifestreams: a storage model for personal data (1996)

18 days ago ee.columbia.edu compsci design pdf

PlayBook: A Programmable Paper Notebook [video]

24 days ago youtube.com art design video

The new Firefox design is here

10 days ago blog.mozilla.org firefox

How to write an effective software design document

29 days ago refactoringenglish.com

Imperial Colors Manifesto

35 days ago qum.cz design satire

More →