Display options

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

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  security  github.com  rust  meta  release  show  health  php  game  tomshardware.com  linux  arstechnica.com  sciencealert.com  brain  google  apple  psypost.org  go  web 
Loading...

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

Mathematical manuscripts and supporting proof artifacts produced by OpenAI

18 days ago github.com math openai vibecoding

11 year old unsoundness bugs found in Rust borrow checker

11 days ago github.com rust

Adobe Creative Suite Cleanroom Port to Rust

18 days ago github.com adobe rust vibecoding

Wild version 0.11.0 released

14 hours ago github.com mac release rust

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

3 days ago github.com amazon aws linux php

Show HN: Argus- open source security platform to protect against agentic attacks

7 hours ago github.com show

Mold Linker Version 3.0.0 Release – Rewritten in Rust

19 days ago github.com release rust vibecoding

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

15 days ago gist.github.com compiler plt rust

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

5 days ago github.com llm show

One Must Fall 2097 Remastered

11 hours ago github.com

PyTorch-native TPU back end for vLLM

5 days ago github.com

Instant Software Factories

12 days ago github.com

Task UI: automation front end

5 days ago github.com go

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

12 days ago github.com microsoft rust

Go will reject certificate chains containing eight distrusted SPKIs

4 days ago github.com go security

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

5 days ago github.com brain llm

Gitoxide in October

2 days ago github.com rust

Java based Numerical library (JNum-v0.2) This time even better and faster!

3 days ago github.com java

A minimal Rust TUI for managing GitHub repos and branches

14 days ago github.com github rust

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

13 days ago github.com ai

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

3 days ago github.com go

Zignal 0.11.0 is out, now on Zig 0.17.0!

10 days ago github.com zig

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

13 days ago github.com go

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

18 days ago github.com ai

1.99.0 miscompilation with FFI bool return type on x86_64

17 days ago github.com rust

Clean room implementation of Adobe products

17 days ago github.com adobe

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

5 days ago github.com java release

OpenAI just dropped 700 preprints of mathematical proofs and counterexamples

18 days ago github.com openai

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

16 days ago github.com rust

OpenSSL 4.1.0

36 hours ago github.com openssl release

More →