progscrape: github.com

Mathematical manuscripts and supporting proof artifacts produced by OpenAI

5 days ago github.com math openai vibecoding

Adobe Creative Suite Cleanroom Port to Rust

6 days ago github.com adobe rust vibecoding

Mold Linker Version 3.0.0 Release – Rewritten in Rust

7 days ago github.com release rust vibecoding

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

3 days ago gist.github.com compiler plt rust

Codex CLI installs a persistent, self-updating background daemon by default

an hour ago github.com

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

18 hours ago github.com microsoft rust

I spent almost 3 years porting Paint.NET from C# to JavaScript

22 hours ago github.com c# .net javascript

A minimal Rust TUI for managing GitHub repos and branches

44 hours ago github.com github rust

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

22 hours ago github.com ai

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

31 hours ago github.com go

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

6 days ago github.com ai

Turn a WiFi 7 Router into a 320Msps Software Defined Radio Receiver

7 hours ago github.com wifi

1.99.0 miscompilation with FFI bool return type on x86_64

5 days ago github.com rust

Zprof has been ported to Zig 0.17.0!

3 days ago github.com zig

Clean room implementation of Adobe products

5 days ago github.com adobe

OpenAI just dropped 700 preprints of mathematical proofs and counterexamples

5 days ago github.com openai

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

3 days ago github.com rust

zig microbenchmarking harness - updated to 0.17, cpu pinning, better gnuplot, etc.

24 hours ago github.com zig

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

33 hours ago github.com javascript

Veda: The First Agentic Hobby Operating System

4 days ago github.com

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

40 hours ago github.com ai show

Show HN: PS2 games statically recompiled to WebAssembly

13 hours ago github.com game show

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

5 days ago github.com java

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

30 hours ago github.com game release show vibecoding

Qt An E2EE post-quantum messenger core in Rust (10k connections on 124MB RAM

20 hours ago github.com rust

Pared - remove unwanted Apple Intelligence models without disabling SIP

6 days ago github.com apple mac show vibecoding

OpenAI Withdraws 3 Math Papers

4 days ago github.com math openai

rapl v0.4.0 Enjoyable, composable, hackable N-dimensional arrays for Rust.