The V Programming Language 0.4(vlang.io)

54 points by modinfo 3 years ago | 39 comments

The V Programming Language(vlang.io)

18 points by klaussilveira 1 year ago | 20 comments

QEMU with VirtIO GPU Vulkan Support(gist.github.com)

224 points by GalaxySnail 1 year ago | 47 comments

MLX: NumPy like framework for Apple Silicon by Apple(ml-explore.github.io)

131 points by dagmx 2 years ago | 12 comments

VSCodium – Open-source binaries of VSCode(vscodium.com)

417 points by Brajeshwar 3 years ago | 205 comments

Homepage of VSCodium, a project distributing free/libre open source, MIT-licensed binaries of Microsoft's VS Code editor.

Vinix – A modern operating system written in V(vinix-os.org)

82 points by hggh 1 month ago | 55 comments

What every developer should know about GPU computing(codeconfessions.substack.com)

422 points by Anon84 3 years ago | 149 comments

A Substack primer by Abhinav Upadhyay explaining GPU architecture and computing concepts for software developers familiar mainly with CPUs.

15,000 lines of verified cryptography now in Python(jonathan.protzenko.fr)

447 points by todsacerdoti 1 year ago | 142 comments

Blog post by Jonathan Protzenko describing how CPython now uses the formally verified HACL* library for all its default hash and HMAC algorithms.

Claude Code can debug low-level cryptography(words.filippo.io)

446 points by Bogdanp 11 months ago | 199 comments

Filippo Valsorda's blog post on using Claude Code to debug his new Go implementation of the ML-DSA post-quantum signature algorithm.

Nvidia Warp: A Python framework for high performance GPU simulation and graphics(github.com)

453 points by jarmitage 2 years ago | 125 comments

GitHub repository for NVIDIA Warp, a Python framework for writing high-performance GPU simulation and graphics code.

GPT-5: Key characteristics, pricing and system card(simonwillison.net)

609 points by Philpax 1 year ago | 270 comments

Simon Willison's blog post covering GPT-5's key characteristics, its place in the OpenAI model family, pricing, and notes from the system card.

Exapunks (2018)(zachtronics.com)

317 points by yu3zhou4 3 months ago | 109 comments

Official Zachtronics page for Exapunks, a 2018 programming puzzle game about hacking with EXA agents, featuring a gameplay trailer.