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  security  github.com  meta  health  apple  tomshardware.com  psychology  arstechnica.com  release  php  sciencealert.com  web  neuroscience  psypost.org  techspot.com  game  show  microsoft 
Loading...

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

The Exponential Time Hypothesis Is False [pdf]

27 hours ago github.com math pdf

Mathematical manuscripts and supporting proof artifacts produced by OpenAI

21 days ago github.com math openai vibecoding

11 year old unsoundness bugs found in Rust borrow checker

14 days ago github.com rust

Adobe Creative Suite Cleanroom Port to Rust

21 days ago github.com adobe rust vibecoding

Type Server Protocol

30 hours ago github.com

Picasa Photo Viewer Rebuilt for Linux, Project Named Licasa

5 days ago github.com linux

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

6 days ago github.com amazon aws linux php

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

3 days ago github.com show

Mold Linker Version 3.0.0 Release – Rewritten in Rust

22 days ago github.com release rust vibecoding

Incremental rust builds up to 92x faster than cargo/rustc

21 hours ago github.com rust

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

18 days ago gist.github.com compiler plt rust

systemd adds support for programs written in Rust

27 hours ago github.com rust

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

8 days ago github.com llm show

One Must Fall 2097 Remastered

3 days ago github.com

Jukebox-OS: Deterministic time-travel replay and ACID tool sandbox for AI agents

2 days ago github.com ai

PyTorch-native TPU back end for vLLM

8 days ago github.com

Instant Software Factories

15 days ago github.com

Task UI: automation front end

8 days ago github.com go

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

15 days ago github.com microsoft rust

Go will reject certificate chains containing eight distrusted SPKIs

7 days ago github.com go security

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

8 days ago github.com brain llm

Gitoxide in October

5 days ago github.com rust

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

6 days ago github.com java

A minimal Rust TUI for managing GitHub repos and branches

17 days ago github.com github rust

A comprehensive SMTP toolkit and library for Go

2 days ago github.com go smtp

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

16 days ago github.com ai

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

6 days ago github.com go

Zignal 0.11.0 is out, now on Zig 0.17.0!

13 days ago github.com zig

Rust rules for the Please build system

2 days ago github.com rust

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

16 days ago github.com go

More →