jay retweeted
Sorry for reacting to finding out you’re gonna bury a cable by itself, instead of inside a conduit (so you can run additional cables later without digging it up all over again) by calling you a “dumbass.” I thought you already knew you’re a dumbass and merely sought to remind you
jay retweeted
DOOM now runs in Bend 2!
Copy the command to run it in your terminal from the README on GitHub:
github.com/eliesgalvira/bend…
Or run it directly with nix:
nix run github:eliesgalvira/bendoom
Available for Linux x86-64, Linux ARM64 and Apple Silicon macOS. Linux requires X11 or Xwayland.
Controls:
- WASD to move
- Left and right arrows to turn
- SHIFT to run
- CTRL to shoot
- SPACE to use doors, lifts, switches and to restart after dying
You play Hangar, the first level of the original shareware Doom, start to finish on Hurt Me Plenty. No menus, saves or other levels yet.
Some interesting tidbits:
- Maps, textures and palettes load at startup from a WAD file, Doom's asset format. WAD stands for "Where's All the Data?"
- The rendering targets a pixel-perfect match with Chocolate Doom
- The renderer is a pure function that updates its pixel buffer in place, thanks to affine types
- Bend 2’s dependent types let us prove that no sequence of inputs can move the player into a position that overlaps a solid wall.
jay retweeted
We’re disclosing HEIF Heist, a months-long investigation into libheif that allowed us to hack OpenAI, Slack, Meta, GitHub Ent, Rails, Next.js, ImageMagick, and many more.
It was literally xkcd #234, one obscure image library beneath a huge number of apps. 🧵
jay retweeted
Bend 2 is here!
It is a new programming language that blocks AI mistakes via *proof checking* - the same technique big AI labs used to solve open math problems, like Navier-Stokes.
It is also very fast, and runs on GPUs.
Watch the video. Link in the comments.
RELEASE DAY
After almost 10 years of hard work, tireless research, and a dive deep into the kernels of computer science, I finally realized a dream: running a high-level language on GPUs. And I'm giving it to the world!
Bend compiles modern programming features, including:
- Lambdas with full closure support
- Unrestricted recursion and loops
- Fast object allocations of all kinds
- Folds, ADTs, continuations and much more
To HVM2, a new runtime capable of spreading that workload across 1000's of cores, in a thread-safe, low-overhead fashion. As a result, we finally have a true high-level language that runs natively on GPUs!
Here's a quick demo:
jay retweeted
Two scientists walk into a bar.
"I'll have H20," says the 1st.
"I'll have H20, too," says the 2nd.
Bartender gives them water because he's able to distinguish the boundary tones that dictate the grammatical function of homonyms in coda position and pragmatic context.
jay retweeted
Single 4 ms frame out of 40K waiting for processing. Sun disk in Hα (normal), Sun prominence at 2h in Hα (huge), Moon in Hα (black), thin clouds near the horizon in Hα (blurry), airplane [seems to check out as Ethiopian cargo plane] with exhaust plume in Hα (clearly visible).
