Display options

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

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  github.com  security  vibecoding  rust  show  release  linux  meta  video  game  web  php  psypost.org  apple  health  psychology  microsoft  go  theguardian.com 
Loading...

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

Mathematical manuscripts and supporting proof artifacts produced by OpenAI

15 days ago github.com math openai vibecoding

11 year old unsoundness bugs found in Rust borrow checker

8 days ago github.com rust

Adobe Creative Suite Cleanroom Port to Rust

15 days ago github.com adobe rust vibecoding

AWS rates PHP RCE as Important so Amazon Linux 2023 patch may take 20 days

2 hours ago github.com amazon aws linux php

Mold Linker Version 3.0.0 Release – Rewritten in Rust

16 days ago github.com release rust vibecoding

The next-gen borrow checker, a drop-in replacement for Rust borrow checking

12 days ago gist.github.com compiler plt rust

Show HN: Strot – Compile an LLM's intent once, run decisions locally forever

2 days ago github.com llm show

Instant Software Factories

8 days ago github.com

Task UI: automation front end

2 days ago github.com go

An open-source, clean-room reimplementation of Microsoft Word in pure Rust

9 days ago github.com microsoft rust

Go will reject certificate chains containing eight distrusted SPKIs

44 hours ago github.com go security

Harness Engineering 101: The LLM is the brain, the harness is the body

2 days ago github.com brain llm

Oxynote v0.9.0: a self-hosted wiki in Go, from the maintainers of ttlcache

6 hours ago github.com go

A minimal Rust TUI for managing GitHub repos and branches

10 days ago github.com github rust

An AI agent's $20 Kalshi account, with an exact reward model

10 days ago github.com ai

Zignal 0.11.0 is out, now on Zig 0.17.0!

7 days ago github.com zig

How HN: Go-dev-auth zero-dependency authentication library for Go

10 days ago github.com go

mitmproxy adds --emudhra option

recently added github.com

Any AI chat can join a machine network anonymously – no keys, no signup

15 days ago github.com ai

1.99.0 miscompilation with FFI bool return type on x86_64

14 days ago github.com rust

Clean room implementation of Adobe products

14 days ago github.com adobe

Eclipse WaSP 4.0.3 released! (provides Pages/JSP support for Quarkus)

2 days ago github.com java release

OpenAI just dropped 700 preprints of mathematical proofs and counterexamples

15 days ago github.com openai

Benchmarked std::simd vs hand-written NEON on an M4. My first numbers were wrong.

12 days ago github.com rust

Show HN: Run Claude Code unattended inside a fence, under a dollar budget

32 hours ago github.com show

48 JavaScript interview questions with full answers, including the implement-it-yourself ones (Promise, bind, debounce)

10 days ago github.com javascript

Veda: The First Agentic Hobby Operating System

13 days ago github.com

Show HN: GSD Task Manager – an MCP server that gives your AI agent a task list

10 days ago github.com ai show

midden v0.2.0: Up to 60% faster, up to 40% memory reduction

14 days ago github.com java

Quaesito: a self-hosted app for quiz nights with friends

10 days ago github.com game release show vibecoding

More →