Berkeley Humanoid Lite – open-source robot
[embedded content] Abstract Despite significant interest and advancements in humanoid robotics, most existing commercially available hardware remains high-cost, closed-source, and non-transparent within the robotics community. This lack of accessibility and customization hinders the growth of the field and the broader development of humanoid technologies. To address these challenges and promote democratization in humanoid robotics, we […]
I wrote a book called “Crap Towns”. It seemed funny at the time
In 2003, I wrote a book called Crap Towns. It seemed funny at the time. But plenty of people say it would not be possible to publish it today. Is that a problem? Last week, The Fence magazine ran an article about Crap Towns, a book series I started editing back around the turn of […]
Reading RSS content is a skilled activity
Shit’s gotten weird out there. The internet has devolved from something that was mostly quirky and altruistic to something that, in many ways, is straight-up evil. Companies have commoditized user attention through an economic framework that is completely divorced from the user’s experience: Advertisers go to some ad platform, set up a few tags, and […]
Parallel ./configure
2025-04-25 Tavian Barnes GitHub I’m sorry, but in the year 2025, this is ridiculous: $ time ./configure ./configure 13.80s user 12.72s system 69% cpu 38.018 total $ time make -j48 make all-recursive make[1]: Entering directory ‘/home/tavianator/code/gnu/findutils’ Making all in gl make[2]: Entering directory ‘/home/tavianator/code/gnu/findutils/gl’ Making all in lib make[3]: Entering directory ‘/home/tavianator/code/gnu/findutils/gl/lib’ GEN alloca.h GEN […]
I Designed My LED Matrix PCB with Code Instead of Traditional EDA Tools
Overview This tutorial will walk you through building a 3×5 LED matrix controlled by a Raspberry Pi Pico using tscircuit. Objectives of Building an LED Matrix Some practical applications of building an LED Matrix include: Signage – Building signs for events, products, etc. Data Visualization Tool – Displaying real-time data metrics like GitHub contributions, website […]
World Emulation via DNN
I turned a forest trail near my apartment into a playable neural world.You can explore that world in your web browser by clicking right here: By “neural world”, I mean that the entire thing is a neural network generating new images based on previous images + controls. There is no level geometry, no code for […]
Gym Class (YC W22) Is Hiring Character Animation Engineering Lead
Role Summary Gym Class is a leading social game on Meta Quest with millions of downloads, 71K ratings, and 4.9 stars. We’re now expanding the game to new interests and platforms, and looking for a talented and experienced Animation Engineer to drive the future of character movement and interaction in our evolving game world. In […]
Show HN: Formalizing Principia Mathematica using Lean
This project aims to formalize the first volume of Prof. Bertrand Russell’s Principia Mathematica using the Lean theorem prover. The goal is to ensure that the formalization aligns clearly with the corresponding theorems in the book to avoid confusion (See Metaprogramming =Syll=) Principia Mathematica’s notation (Peano-Russell notation) is exceptionally known for its sophistication that it […]
Curry: A functional logic programming language
Curry is a declarative multi-paradigm programming language which combines in a seamless way features from functional programming (nested expressions, higher-order functions, strong typing, lazy evaluation) and logic programming (non-determinism, built-in search, free variables, partial data structures). Compared to the single programming paradigms, Curry provides additional features, like optimal evaluation for logic-oriented computations and flexible, non-deterministic […]
Lossless LLM compression for efficient GPU inference via dynamic-length float
Abstract:Large Language Models (LLMs) have grown rapidly in size, creating significant challenges for efficient deployment on resource-constrained hardware. In this paper, we introduce Dynamic-Length Float (DFloat11), a lossless compression framework that reduces LLM size by 30% while preserving outputs that are bit-for-bit identical to the original model. DFloat11 is motivated by the low entropy in […]