progscrape: github.com

Mathematical manuscripts and supporting proof artifacts produced by OpenAI

8 days ago github.com math openai vibecoding

11 year old unsoundness bugs found in Rust borrow checker

2 days ago github.com rust

Adobe Creative Suite Cleanroom Port to Rust

9 days ago github.com adobe rust vibecoding

Mold Linker Version 3.0.0 Release – Rewritten in Rust

10 days ago github.com release rust vibecoding

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

6 days ago gist.github.com compiler plt rust

Wayland desktop for Linux with skeuomorphic design

7 hours ago github.com linux

Instant Software Factories

2 days ago github.com

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

3 days ago github.com microsoft rust

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

3 days ago github.com c# .net javascript

A minimal Rust TUI for managing GitHub repos and branches

4 days ago github.com github rust

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

3 days ago github.com ai

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

4 days ago github.com go

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

9 days ago github.com ai

1.99.0 miscompilation with FFI bool return type on x86_64

8 days ago github.com rust

Clean room implementation of Adobe products

8 days ago github.com adobe

OpenAI just dropped 700 preprints of mathematical proofs and counterexamples

8 days ago github.com openai

Zprof has been ported to Zig 0.17.0!

6 days ago github.com zig

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

6 days ago github.com rust

sslx: A fast, modern alternative to OpenSSL's CLI

10 hours ago github.com openssl security vibecoding

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

4 days ago github.com javascript

Veda: The Agentic-Native Operating System Supports GCC and OpenGL

7 days ago github.com graphics opengl

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

4 days ago github.com ai show

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

4 days ago github.com zig

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

8 days ago github.com java

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

4 days ago github.com game release show vibecoding

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

3 days ago github.com rust

Pared - remove unwanted Apple Intelligence models without disabling SIP

9 days ago github.com apple mac show vibecoding

OpenAI Withdraws 3 Math Papers

7 days ago github.com math openai

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