HNHacker News
TopNewBestAskShowJobs

v9v

675 karma · joined September 16, 2022

submissionscomments
v9v··on Show HN: Reladraw – A diagram language where you decide where to place things
Great! Reminds me of Pikchr a bit https://pikchr.org/home/doc/trunk/homepage.md
v9v··on Show HN: Make math automatic with Mathy
Sorry, I really was thinking of the order of operations wrong!
v9v··on Show HN: Make math automatic with Mathy
When testing I got a question asking what -3² is, with the intended answer being -9 instead of 9.
v9v··on Solitaire Alone Together
For "Solitaire Together" instead, I recommend the game NERTS (https://store.steampowered.com/app/1131190/NERTS_Online/). It's a multiplayer competitive solitaire game by Zachtronics. Out of all the games I've played, it's the one that stresses me out and takes me through emotional rollercoasters the most.
v9v··on Socrates vs. the Written Word (2011)
Even in the quote given in this article, most instances of the word "word" are "logos" in Greek, which means something closer to speech, argument, reasoning, logic, etc. This doesn't really change the meaning of the quote dramatically, but some slight nuance is lost.
v9v··on Bend – A language that blocks AI mistakes via proof, on CPU and GPU
I'd like to hear how this compares to Ada/SPARK.
v9v··on On Really Trying (2009)
Interesting article to share on the eve of yesterday's debacle about the Navier-Stokes problem.

Maybe another quote to add to the list is about Bob Widlar (from https://www.allaboutcircuits.com/news/bob-widlar-silicon-val...):

> In 1965, Widlar left Fairchild to work at National Semiconductor. While there, he released his design for the industry’s first high-power voltage regulator, the LM109. This finding came at a time when engineers hotly debated whether it was possible to develop a high-power regulator on a single chip.

> Widlar, established as an engineering genius in 1969, wrote a paper settling the debate, claiming temperature swings and packaging limitations made the device impossible. The industry took his word for it and stopped all efforts to build such a device. However, in 1970, Widlar shocked his contemporaries with the 20-W LM109, the industry’s first high-power voltage regulator. The device included all of the features Widlar had claimed were impossible just one year prior.

v9v··on Restroom Archive
https://restroomarchive.com/r/2026-08-29-grand-army-plaza-au...

> has a countdown timer above warning visitors that the door will auto-open in x amount of time.

A toilet that has a door with a countdown seems like the most stress-inducing thing ever.

v9v··on Anthropic candidates face blunt money question
Is it that inconceivable to think that there are people who would be ok with stopping what they're doing when they realize it's harmful?
v9v··on DeepSeek-v4-flash-vision-exp
Thanks, I seem to have grossly misremembered what I read.
v9v··on DeepSeek-v4-flash-vision-exp
Interesting. Wasn't Deepseek's founder saying that they had explicitly decided not to focus on multimodal models at all and were going text-only because they believed it was enough to achieve AGI?
v9v··on Casio F-B100W-1A
The (relatively new) Casiotone CT-S1000V and CT-S500 have CZ sounds included along with fun voice synthesis technology, and are recommended as a good cheap keyboard on some forums.
v9v··on AMD acquires Taalas to boost inference performance by etching models in silicon
It still works the same way other LLMs do, by outputting the probability distribution over the possible completions (The weather is ... (sunny (50%), cloudy (50%))). Then the next token is sampled from this probability distribution (in our example the next word could be "sunny" or "cloudy" equally likely), which can result in different outputs every run.
v9v··on The Lisp Machine: Your Next Step in Computing
A bit buried at the bottom of the page is the extended availability of Genera for non-commercial use: https://hachyderm.io/@gmpalter/117044268951603975
v9v··on AI-assisted staging draws boos at the Richard Wagner festival in Germany
The Bayreuth Festival is a 150-year-old music festival and focuses on Wagner's music. https://en.wikipedia.org/wiki/Bayreuth_Festival
v9v··on Terence Tao's ChatGPT conversation about the Jacobian Conjecture counterexample
That law only applies to headlines ending in a question mark.
v9v··on C++20 Improved the For-Loop Syntax
In C with https://github.com/aartaka/pretty.c,

    foreach (i, int, 10, vector(10, int, 1, 2, 3, 3, 4, 5))
          println(*i);
v9v··on Punk, or why I don't stream anymore
Parts of this reminded me of the book "Sadly, Porn".
v9v··on Emacs 31 is around the corner: The changes I'm daily driving
For Firefox I've switched to Glide (Firefox fork?) and configured it to implement Emacs keybindings. There is a config on the project's Github discussions page that I started off of.
v9v··on Cooling in Space
I'll add another to the list of relevant links in the comments: https://spectrum.ieee.org/orbital-data-centers-heat
v9v··on Claude Fable is relentlessly proactive
For those that don't know, this is a reference to a lovely story involving Charles Proteus Steinmetz https://www.smithsonianmag.com/history/charles-proteus-stein...
v9v··on Show HN: A 2D and 3D robot arm simulator built in Excel
I guess you're writing it all out for educational purposes, but conventionally to describe the kinematics of a serial robot arm Denavit-Hartenberg parameters are used, which needs only 4 parameters per link.
v9v··on VibeOS – Hallucinated Operating System [video]
It's hard to find it since it's a livestream. From the comments: https://www.youtube.com/watch?v=HG0twQJ7aG4&t=16047s
v9v··on Do transformers need three projections? Systematic study of QKV variants
Somewhat relevant is a blog-post that likens attention to kernel smoothing: https://bactra.org/notebooks/nn-attention-and-transformers.h... (as discussed before in https://news.ycombinator.com/item?id=38756888)
v9v··on Magenta RealTime 2: Open and Local Live Music Models
Finally an auto-accompanist to rival Band-in-a-Box? https://www.bandinabox.com/
v9v··on Coalton is an efficient, statically typed Lisp with ideas from Haskell and OCaml
Recently a new VS Code extension was announced that you may want to check out: https://old.reddit.com/r/lisp/comments/1tn3zff/new_cl_vscode... It purports to be more stable.
v9v··on The Art of Money Getting
I think Kevin Kelly has taken the opposing side before: https://colossus.com/article/flounder-mode/ (discussed https://news.ycombinator.com/item?id=44455933)
v9v··on Humanoid Robot Actuators
There are a few of these being sold as products: AGIBOT has some models like that (eg https://www.agibot.com/products/A2_W). One argument that could be made for legged robots is that these wheeled ones can only work in wheelchair-accessible spaces. Legged robots can also balance themselves dynamically: a wheeled robot may tip over if anything violates its static balance, eg. carrying a load high up and going through a steep incline, though I guess having the torso be tiltable as in https://www.agibot.com/products/G2 addresses that.

Legged robots overall have more implementation complexity, spend energy just to idle standing up, but can go over much more varied terrain provided the controller is good enough. There are ways to adapt wheeled bases to different terrains (eg. larger wheels, whegs, RHex, rocker-bogies) but we know how to use legs to locomote over many terrains from personal experience, while the perfect wheeled/non-legged locomotion system perhaps remains to be designed.

There's also the way robotics is going toward data-driven methods, which in some forms (ie. imitation learning) require human teleoperation data. Here having the robot mimic the human form makes the mapping from human joints to robot joints easier (compared to other morphologies where you'd need to figure out how to best approximate a human motion with the joints/joint limits your robot has, though this is not impossible).

v9v··on Dotcl: Common Lisp Implementation on .NET
There's also Bike for CL/.NET interop: https://github.com/Lovesan/bike
v9v··on The Classic American Diner
Put me down as interested!
Page 1 of 6Next →