HNHacker News
TopNewBestAskShowJobs

Bluestein

13,188 karma · joined June 10, 2020

  So, after decades of lurking, I decided to join. Please be gentle :)
submissionscomments
Bluestein··on A beginning for mathematics
I love how this is (without slighting the problems entailed) coming at it from a perspective of infinitude and abundance (we will always have more problems to solve) - which is the correct framing, particularly when dealing with ideas, or fields in the which ideas are the driver/product/output/material, and ideas themselves, the field itself, are infinite.-

PS. The validation problem, being one.-

Bluestein··on Why is the x86 undefined instruction called ud2? Why 2?
Sorry y'all. In a thread about encodings whose only spec is that they mean nothing (UD0/UD1/UD2, FF /7), "349ru3h4f03" is the most thematically correct username possible, it really does "check out" dang it. It even looks like hex right up until it #UDs on the r, u, and h. Invalid encoding; faults on interpretation. Tough crowd tonite.-
Bluestein··on XLS: Accelerated HW Synthesis
To wit:

  What is XLS?
  XLS implements a High Level Synthesis toolchain that produces synthesizable designs (Verilog and SystemVerilog) from flexible, high-level descriptions of functionality. It is Apache 2 licensed.

  XLS (Accelerated HW Synthesis) aims to be the Software Development Kit (SDK) for the End of Moore's Law (EoML) era. In this "age of specialization", software and hardware engineers must do more co-design across their domain boundaries -- collaborate on shared artifacts, understand each other's cost models, and share tooling/methodology. XLS attempts to leverage automation, software engineers, and machine cycles to accelerate this overall process.

  XLS enables the rapid development of hardware IP that also runs as efficient host software via "software style" methodology. An XLS design runs at native speeds for use in host software or a simulator, but that design can also generate hardware block output -- the XLS tools' correctness ensures (and provides tools to help formally verify) that they are functionally identical.
Bluestein··on Nike exits the S&P 100 after 18 years and a $200B market-cap wipeout
This is the end of an era.-

PS. To those objecting in the silent cowardice of a downvote: The exiting of something as basic as shoes (modulo lifestyle/"luxury") further represents "software" eating the world" look at the newcomers to the S&P 100:

  DELL — Dell Technologies
  PANW — Palo Alto Networks
  ANET — Arista Networks
  SNDK — SanDisk
Bluestein··on Garry Tan wants US open-weight AI labs to 'distill' frontier models, too
Refinery makes a lot of sense. I like it particularly because it raises the question of whose (whose) "oil" (data) it is they are purloining.-
Bluestein··on Everyone should slow down AI development except for me
Great for his Israeli background, I guess (half-metaphorically asserted here).-
Bluestein··on Garry Tan wants US open-weight AI labs to 'distill' frontier models, too
Also, as said elsewhere: "Lab" is rich here, for outfits that, facing these giant, energy swallowing black boxes have really no clue what's going on inside.-

The moniker gives them an air of scientific, knowledgeable, tranquil, pro-social, pro bono work.-

Of course they are entitled to kill off a few mice, or pillage the commons to forward their "lab" work.-

Bluestein··on Everyone should slow down AI development except for me
Where is Sutskever in all this?
Bluestein··on Everyone should slow down AI development except for me
> Open-weight models are 1month behind frontier models

If correct, grip is tightening. Used to be 1y, then 6 months ...

Bluestein··on My First Week with GPT-6 Astra
I feel same, and think this is perhaps why the rushed "AGI" call was made.-
Bluestein··on anystation: Calling any station A public board shaped like a tree. No account
Interesting device :)
Bluestein··on A Mathematical Framework for Transformer Circuits (2021)
This is a gem.-
Bluestein··on A Mathematical Framework for Transformer Circuits (2021)
I find it polarizing.-
Bluestein··on A Mathematical Framework for Transformer Circuits (2021)
Depending on your field, degree of interest, general curiosity, its a must. Its up there with word2vec.-
Bluestein··on A Mathematical Framework for Transformer Circuits (2021)
The entire thing went down:

- https://distill.pub/2021/distill-hiatus/

... and, here we are.-

Bluestein··on Distill Hiatus (2021)
"Machine Learning Research Should Be Clear, Dynamic and Vivid. Distill Is Here to Help.

A Journal - Devoted to clear explanations, native to the Web.

$10,000 Prizes - For outstanding work communicating and refining ideas.

Distill was a scientific journal which operated 2016-2021."

Bluestein··on Navier-Stokes Announcement
Earl Grey, hot.-

  ⎿  You've hit your session limit · resets 2:52am (123°24′W Etc/GMT+8)
  /upgrade to increase your usage limit.
Bluestein··on RISC-V Emulator and Linux System from Scratch
I mean, this is as "from scratch" as I have ever seen a system built, really.-
Bluestein··on How to Build a $20B Semiconductor Fab (2024)
Amazing and my further question: What degree of scientific discipline and/or stubborness would it take for the Bell Labs folks to actually get to the bottom of this and finally trace it back to the copper and the door knobs?
Bluestein··on Astra for Coding: Why Are We Doing This Again?
... and meanwhile all this does is burn more tokens faster which is what providers want - they have no incentive to optimize for succinctness, elegance or compactness if they want you to spend more and more tokens.-
Bluestein··on Elevated errors for Claude Mythos 5.1 and Claude Fable 5.1
Not bearing load!
Bluestein··on Astra for Coding: Why Are We Doing This Again?
I am guessing (guessing) that "great coding model" and "great model for the widest use" (agentic, long-running, unsupervised, knowledge-worker, computer operator) are competing, conflicting endgames.-

Add to that:

- Of course, "labs" (quotes) are incentivized to throw coders under the bus and aim for the biggest possible market.-

- "Sharp, focused, brief, elegant, precise" editing, as would benefit the coding use-case, is actually token-saving, ergo, undesirable.-

The only thing that can stop this, would be the quality and functionality of the codeslop generated by these models to became so low that it actually interferes with the (alledged) recursive self-improvement of models (ie. models start to perform worse/degrade).-

Until such a time, we serfs, will eat what's on our plate, pay for it, and continue to kneel before the machine god overlords. And be glad for it.-

Bluestein··on Astra for Coding: Why Are We Doing This Again?
Indeed.-
Bluestein··on Astra for Coding: Why Are We Doing This Again?
Feb/April was peak for code.-
Bluestein··on Tell HN: OpenAI keeps re-enabling the 'allow training' setting
I am thinking along these lines. You do raise a great point.-

https://www.anthropic.com/research/small-samples-poison?from...

Bluestein··on Speculations Concerning the First Ultraintelligent Machine (1966) [pdf]
"The survival of man depends on the early construction of an intelligent machine."
Bluestein··on Agricultural Involution
"Its principal thesis is that many centuries of intensifying wet-rice cultivation in Indonesia had produced greater social complexity without significant technological or political change, a process Geertz terms involution."
Bluestein··on Tell HN: OpenAI keeps re-enabling the 'allow training' setting
It really is going to get to the point where mathematicians are going to start inserting obvious "tells" in their proofs - like map makers used to do with "trap streets" and similar non-existent features, to catch copies.-
Bluestein··on Codex GPT-5.6-sol Performance Tracker
There's talk of Astra 6 already having been "shadow downgraded" since Monday. I really hope not.-
Bluestein··on Surplus Agriculture Equipment
It was really peculiar when in the midst of the glitzy OpenAI GPT5.6 launch video, one of the "featured" use cases was this: A farmer out in a field in China somewhere.-
← PreviousPage 3 of 34Next →