Home
Login
RSS Feed
ATOM Feed
Tag cloud
Les liens de StyMaar
toggle menu
Add link
Search
15567 links
710 results tagged
informatique
x
verus-lang/verus: Verified Rust for low-level systems code
State of the Union [May 3, 2024] · karpathy/llm.c · Discussion #344
QuState/PhastFT: A high-performance, "quantum-inspired" Fast Fourier Transform (FFT) library written in pure and safe Rust.
The server chose violence - Cliffle
Thread by @gf_256 on Thread Reader App – Thread Reader App
Programmez en toute sécurité en Rust avec l’assistant de preuve Why3 | Inria
xkcd: Sandboxing Cycle
xkcd: Two Key System
tree-shaking, the horticulturally misguided algorithm — wingolog
Lessons after a half-billion GPT tokens - Ken Kantzer's Blog
Life Universe
cranelift_frontend - Rust
Rigid Body Simulation | Benedikt Bitterli's Portfolio
Esteban K�ber :rust:: ""IO error", "couldn't write to…" - Gamedev Mastodon
Esteban K�ber :rust:: "Perhaps unsurprising observati…" - Hachyderm.io
Meta's new LLM-based test generator is a sneak peek to the future of development
LENIA : Une nouvelle forme de vie mathématique ! - YouTube
The power of two random choices
Maybe Getting Rid of Your QA Team was Bad, Actually. | by David Caudill | Dec, 2023 | Medium
We Could Fix Everything, We Just Don't
◄Older
page 1 / 36
Links per page:
20
50
100