skysight-inc/HackerNews huggingface dataset:
It is mentioned in the post:

> Traditional LLMs output everything they think immediately, without stopping to consider the best possible answer. New techniques like scaffolding, on the other hand, function like a thoughtful agent who explores different possible solutions before deciding. This “thinking before speaking” approach provides over 10x performance on demanding tasks like code generation, fundamentally boosting the intelligence of AI models without additional training.
Nuclear needs to deal with the cost issue first. It is woefully uncompetitive.

I failed to see how one mile deep shaft is going to help that, standard boring or not

If you're wanted to dig a mile down for a massive piece of infrastructure, wouldn't geothermal be more price competitive at that point?

I mean part of the problem with meltdowns is the pollution of groundwater. "It's beneath the water table" yeah sure, there's no way fission products can go up a shaft. No way.

So what safety does this really address besides paranoia? I mean I guess if you have a runaway solid rod fuel reaction, you can just drop a bomb down there and blow the fuel rods apart.
>It is a stock element in narratives of 1950s computing to distinguish between programmers and coders, the latter considered a "lowly technician" ....

Actually I think the article is using modern terms, but seems right.

From what I remember from the early days, you had "System Analysts", "Programmers" and "Key Punch Operators". Key Punch and Programmers were considered Low-Level and was not paid much more the the US average salary, Programmers a bit more than Key Punch people. System Analysts was where the money was. But seems during the 80s, the 3 jobs merged into one.

By then, I use to program and work directly with the Business in the 80s and 90s. Sometimes the Business person would be sitting next to me while I showed then the changes and how it worked. Changing the program based upon their comments while they were there. Fun times, and yes even did this directly in production :)

Then it seems in the late 2000s, they started to split again giving us Business Analysts (BA) and Programmers (Coders).
80/20 rule strikes again! (c'mon folks, this applies to just about everything)...
I didn't realize Eaton had AFCI breakers listed for use with Siemens panels (or that they work better). I swapped it out for a non-AFCI Siemens, but if I can make it code compliant I'd much rather that.
> This time there was valid concern about issues like the lab leak theory being censored on social media

You need to be very clear about what you mean by "lab leak theory" because that term has a number of definitions that are very different.

There's the definition where COVID was the result of gain of function research that leaked from a lab through negligence. There's also a definition that it was an entirely natural virus being studied that was leaked through negligence. Then there's the definition that the virus was "leaked" with malicious intent from the virology lab in Wuhan.

While the definitions are similar they have very different implications. Because social media tends to perform nuance destroying compression of concepts down to sound bites no two individuals using the term "lab leak theory" can be assumed to be using the same definition.

You even have an assumed definition of what you mean when you say "lab leak theory". Of everyone that reads your post your definition doesn't match that of half the audience. Even then, plenty of people claimed to be banned from social media for one reason while the reality they were banned from a network for other (or a combination) of reasons. So even the general statement of people being "social media censoring lab leak theory" elides important information and nuance and derives its validity from third hand accounts.
Notably, this prompt is making "hallucinations" an officially recognized phenomenon:

> If Claude is asked about a very obscure person, object, or topic, i.e. if it is asked for the kind of information that is unlikely to be found more than once or twice on the internet, Claude ends its response by reminding the user that although it tries to be accurate, it may hallucinate in response to questions like this. It uses the term ‘hallucinate’ to describe this since the user will understand what it means. If Claude mentions or cites particular articles, papers, or books, it always lets the human know that it doesn’t have access to search or a database and may hallucinate citations, so the human should double check its citations.

Probably for the best that users see the words "Sorry, I hallucinated" every now and then.
By the way, I love your blog post https://alexkritchevsky.com/2024/02/28/geometric-algebra.htm...

I didn't understand this part:

> I strongly believe that if GA would make this distinction they would lose a lot fewer people. It is a completely interesting and useful thing to talk about “a representation of a particular class of operations that makes composition and inversion easy”, and completely offputting when you blur the distinction between operators and geometric objects themselves, and write every operation in terms of the geometric product when only a few of them are really compositions of operators.

I can't tell what "a few of them" refers to. What is this potential distinction between operators and geometric objects? Sounds like the the distinction between a group action and a group object?

I am willing to believe that GA is an unnecessary renaming of other simpler things, and also that it has these kind of culty vibes, but I'm focusing on the claim that (I understood as) "unifying the operators and geometric objects" is a bad feature rather than a good feature.
This point is moot.

The point remain that Cerebras is not in a position to focus on structured output or prompt caching.
Sure, although I do think scientists are asking better questions than that. In the public perception, it seems like we're trying to find information about something that's basically matter, but we can't detect or measure it. In reality, 'dark matter' is just a placeholder for "Well, it looks like there should be a lot of matter here, but we measure a lot less than expected. There must be some kind of phenomenon we don't understand, one of the effects of which is that it makes galaxies that seem not to have enough matter to sustain their structure"
Lyft follows in Uber's footsteps with a rider verification program
It wouldn't be the first time a manufacturer ignored capital amortization to post better numbers.
I think it is more productive to examine our failures than to blame all faults on a distant enemy
> He particularly hated it when they said his imagery was nonsensical. It made his insect eyes flash like a rocket.

Haha classic
I mean, different kinds of rice do have clearly different textures, and basmati and jasmine are both aromatic in a way that koshikihari is not. I think people should be able to tell them apart easily (including just from "how easy is this to eat with chopsticks? could I imagine clumping this into the base of nigiri sushi? could I imagine this in a biryani?") but I think that's very different from deciding that one is better. To me your statement is like saying people cannot tell the difference a French baguette, focaccia and Japanese milk bread because "it's just bread". I think you wouldn't confuse them unless you were really distracted.
Nah, sorry you had a shit college experience, but college is the place I made most of my close, lifelong friends. And had an awesome time. While also learning, they're not mutually exclusive. It's a shared experience you can't replicate just going to the bar.

It's not like they're taking women that can't hack the coursework. They could replace the entire incoming class with select people amongst the rejected and the class would still be successful. College admissions is partly a crap shoot. If they tilt the crap shoot part in a way that makes the community better, who cares?
Nuclear reactors in a bunker (like most are built) are also relatively safe and it doesn't need that much tunneling. Nuclear power plant capital costs are already high, tunneling up an area a mile underground would be stupid for most cases.
edit: I should have just checked their website instead of guessing. Apparently WSE has significant fabrication challenges, which makes what Cerebras has accomplished all the more impressive. But it is still surprising that no one else has attempted this in the HPC field.

I had guessed that Cerebras had made some trade-offs in process in order to make it work at scale, but then they aren't actually building these devices at scale (yet).
Nice! I have so many questions.. How stable is the injection molding process once it's fully proven out, up and running? Is it a bathtub curve shape, do defects keep randomly popping up?

What do you use on your end to label the ejector pin locations, parting lines, etc? Does this process use Hexagon software inputs to make that easier?

If you're not relying so much on a skilled operator, would you be using a CMM for dimensional inspection anyways, and then would this be better solved with a CMM? How can you get quality parts if you don't have a skilled operator anyways to set up the machine correctly and correct the defects? Are you ever going to be able to replace a good machine operator? Or this just helps reduce the inspection toil and burden? Do they usually need 100% inspection, or just periodic with binning?

Why do you want to target injection molded parts and not machined parts?

Don't most of these machines have the parts just fall in a bin, with no robot arm? Doesn't this seem like instead of paying a good injection mold tech, now you're paying for an injection mold tech and a robotics tech, if you have to program the arm path for every part setup?

How many defects are "dimensional" and how many are "cosmetic" ?

Can a defect detection model accept injection mold pressure curves as input? Isn't that a better data source for flash and underfilling?

Is this supposed to get retrofit, or go on new machines?
Well yeah, the training between the two 9 year olds is entirely different. One was taught to fend off lions the other was given an ipad and youtube.
Show HN: Open-source study to measure end user satisfaction levels with LLMs
The LLM challenge - an online study - aims to answer a simple question: what is the quality corridor that matters to end users when interacting with LLMs? At what point do users stop seeing a quality difference and at what point do users get frustrated by poor LLM quality.

The project is an Apache 2.0 licensed open source project available on Github: https://github.com/open-llm-initiative/llm-challenge. And the challenge is hosted on AWS as a single-page web app, where users see greeting text, followed by a randomly selected prompt and a LLM response, which they must rate on a likert scale of 1-5 (or yes/no rating) that matches the task represented in the prompt.

The study uses pre-generated prompts across popular real-world uses cases like information extraction and summarization, creative tasks like writing a blog post or story, problem solving task like getting central ideas from a passage or writing business emails or brainstorming ideas to solve a problem at work/school. And to generate responses of varying quality the study uses the following OSS LLMs: Qwen 2-0.5B-Instruct, Qwen2-1.5B-Instruct, gemma-2-2B-it, Qwen2-7B-Instruct, Phi-3-small-128k-instruct, Qwen2-72B and Meta-Llama-3.1-70B. And for proprietary LLMs, we limited our choices to Claude 3 Haiku, Claude 3.5 Sonnet, OpenAI GPT 3.5-Turbo and OpenAI GPT4-o.

Today, LLM vendors are in a race with each other to one-up benchmarks like MMLU, MTBench, HellowSwag etc - designed and rated primarily by human experts. But as LLMs get deployed in the real-world for end users and productivity workers, there hasn't been a study (as far as we know) that helps researches and developers understand the impact of model selection as perceived by end users. This study aims to get valuable insights to incorporate human-centric benchmarks in building generative AI applications and LLMs

If you want to contribute to the AI community in an open source way, we'd love if you can take the challenge. We'll publish study results in 30 days on Github.
It's a pointless distinction.

The people who write code in the demo scene traditionally call themselves 'coders', and those are pretty much the best of the best (and quite a few 'proper' software engineers among them).
November 30, 2022.
Most of that stuff is a LARP.
I daresay even the "debunkers" are profiting off the misinformation. It doesn't need to be debunked anymore. I think the demand for this material is created by mid-low intelligence level people who want to feel smarter than (those who they perceive to be) "believers", of whom nearly all are, for various reasons, trolls.

Just by repeating the words "flat earth" the debunkers are giving it a platform, and thereby profiting off it.
actually, you did, although you may have deleted it by now:

"HN is awesome because of the rules and moderation"

https://news.ycombinator.com/item?id=41369717
I don't trust Zuckerberg and I don't trust his motivations.
That said, I think there's some truth in his words:

https://judiciary.house.gov/sites/evo-subsites/republicans-j...

Skip the political mumbo-jumbo and go straight to page 27 to 29 of this investigation report. Internal emails show FB employees unhappy to onboard to a private takedown request portal, where Government employees would post tickets on "disinformation" that FB & other tech companies would then be obligated to police. Further, the report suggests that CISA & its proxies didn't have a legal mandate to compel FB, Twitter, and other companies to censor content, so the CISA resorted to "suggesting" they would get the FBI involved.

The entire doc has an obvious political slant, but I think it partially explains why the Stanford Internet Observatory and other proxies self-dismantled before litigation commenced.
So if it doesn't use 3.2kW continuously, but varies significantly based on what it's doing (perhaps even idle sometimes) then it's fine?
What's more likely is some bean counter at the IRS realized enforcing taxes on tips cost more money to enforce than they gained, or was barely break even. It's an easy political win at no risk.
That's pretty hard to do when the absolute majority of the sum of taxes is paid by poor people. Even if you taxed the rich at 99%, it would be short by orders of magnitude - and then of course you have to consider https://en.m.wikipedia.org/wiki/Laffer_curve

Also, there's a distinction between people below the poverty line, and young people making little wages in their early jobs. Why shouldn't we tax the rich kid working at McDonald's because their trust fund requires them to work for a decade before they get access to it?
The annoying feature of Facebook and LinkedIn is that every month or so they will suddenly wake up and clog up my feed with Suggested Posts. I actually prefer seeing Sponsored Posts versus the Suggested Posts because the quality of the Sponsored Posts is way higher than the AI generated Suggested Posts. Like I'd literally rather just see target full-blown ads versus engagement clickbait.

I actually have pretty good luck with YouTube Shorts and Reels suggesting content - perhaps because I religiously curate by blocking/disliking when possible.

Perhaps we need an adversarial AI Bot for social media that will curate people's feeds on their behalf.
yeah it might theoretically mean the first page they navigate to, but generally I think they mean the first page they start at. we had years of browsers and sites and malware all trying to hijack your homepage because it's valuable and often non-technical people don't know how to change it back and will just roll with it being what it is. I remember helping people who were confused if their homepage changed from aol or yahoo because they literally had no real concept of how to browse the internet and check their mail and such if the links weren't on the homepage.
Was it not wrong for the white house to put pressure on Zuckerberg?

Are we not blaming the wrong people?

In his defense, the FBI told him to. Most people would have believed the FBI.
We aren't building these reactors in Iran. In fact, Iran maintains the capability to produce weapons using it's own reactors and centrifuges. It has it's own stockpiles of Uranium.

https://apnews.com/article/iaea-iran-nuclear-enrichment-stoc...
Computer rituals!
If societal roles and expectations make one gender less successful, is that something wrong with "men"/"women" or rather something wrong with the roles and expectations?
How Meta enforces purpose limitation via Privacy Aware Infrastructure at scale
I think Japanese rice in a decent Japanese rice cooker with millions of engineering hours poured into competently cooking Japanese rice consistently produces pretty great rice. Flavour / texture wise, I'd pick Thai rice cooked from stove top over it any day.
I've found the space to currently watch for low-dependency "as modern vanilla as we can" backend stacks is the Deno ecosystem, including and maybe especially the growing JSR repository. There are some very nice low-dependency ESM backend frameworks and libraries growing "Deno-first" to keep an eye on. Many of them still run on Node and/or Bun, too.
Is this all mostly a heat spreader efficiency requirement?
Meanwhile at Google, 50% of code characters are from LLM autocomplete: https://research.google/blog/ai-in-software-engineering-at-g... Which is a little disconcerting. Maybe need to up my code review game. Also I don't personally use them at all - am I really missing out? Sometimes I wonder.

Quick skim of Meta engineering's blog only turned up this incident response tool they're "enhancing with AI": https://engineering.fb.com/2024/06/24/data-infrastructure/le...
Not even necessarily a loss let alone big, since their comparison includes margin.
> There is a massive amount of viable geography for this all over the world

Massive? Where in Germany would you store 1,000 GWh of energy, to run the country for half a day or so?
New tech comes out, people throw everything at the wall to see what sticks, what sticks is progress. It's a good and normal thing.
> during any future armed conflict with China

well there's a sentence to think about in horror
No you can't. Nuclear power plants werent very connected to nuclear weapons and the public didnt think of nuclear weapons when thinking of power reactors.

Only after anti-nuclear misinformation got huge starting in the 70s.
Lenin adored Beethoven's Appassionnata sonata calling it "astonishing, superhuman". I like it too and in no way like Lenin;).
> Don’t say no to leadership when the timeline is not realistic.

This was listed as an action that undermines trust. You agree with the author
Yeah, it seems nuts. Nuclear submarines have proven our ability to operate a small reactor a km underwater, but under land is much harder.
Yes! There must be millions of Finale files out there that will otherwise become unreadable.
Show HN: Brushless – An AI-first alternative to Illustrator
Stimulate? Or simulate?

My learning path went something like this:

(The dark ages of data processing for personal use)

- Use a text file: Fine, you have to write your own read & write logic, but for small amounts of data this works.

- Use a CSV file: less custom logic than plaintext

- Use a JSON file: really nice to have structured data!

- Use a Python pickle file: the idea is you can “pick up where you left off”, but it’s slow, clunky, and inflexible

(Finally learning to use a database)

- Use Google Sheets: oh, it’s nice to be able to index things without needing to read/write the entire dataset! You can also do searches and stuff, it’s great.

- Django ORM + MongoDB: Oh my god, so horrible. MongoDB was supposed to be simple. This set up was slow and complicated. Migrations were a constant pain. And we didn’t even have any users.

- Postgres: It all makes sense. SQL is great. You can think about and query your data in reasonable ways. And it’s fast.

- DynamoDB: Yeah whatever, as long as you do validation on every read/write you’ll probably be fine.
I installed a plugin that essentially covers up everything but either friends' posts, or groups I've joined.

It's so funny scrolling down facebook now where every 20th black box is a post I sorta wanted to see.
In NYC, the typical non-negotiable broker's fee for a not-disintegrating apartment ranges from 10-15%. That's on top of a security deposit and all the other costs associated with moving. It's a cartel that can only be broken by collective political action.

Things are slowly moving in that direction, only because the pressure has been so high for so long. It almost boiled over during COVID in some neighborhoods. There are still works of "Abolish Rent" graffiti left over from that time.
I BELIEVE THAT THE ABOVE FLAMEBAIT IS A MISTAKE OF THE AUTHOR AND THAT WE WOULD LIVE TO REGRET OUR ACCEPTING THIS COMMENT
Interesting to read this in the context of COSMIC, a new Linux shell that just released a blog post celebrating their alpha release:

https://blog.system76.com/post/cosmic-alpha-released-heres-w...

The post hat-tips their "design system" - a term that didn't exist in 99, but sounds like a lot of the same type of work that Eazel would have been going through to invent a core app for a nascent OS.
Function Types in Nix
Apple Shuffles CFOs in a Decade
I think something about the test methodology in that article is severely flawed.
I doubt you'd have enough control or the right vantage point to strike a killing blow from the end of a rope. You need to puncture vitals or you'll just end up with a very angry mammoth with a spear sticking out of it. So "steering" the spear to the point of impact and reacting precisely in the last fraction of a second is important. A modern corollary might be trying to shoot clays by steering your shotgun with a rope.
Don't worry, soon someone here will build an "HDMI-hole" that uses AI to directly filter unwanted content from a HDMI signal.
The beauty of math is that you can throw numbers around and multiply and divide them and do silly things with them.

The average human life expectancy is 77.5 years, or 2.4457e+9 seconds. If you divide that by, say, 1 billion daily active users of Google, you get 2.445. So if you work at Google, and optimize a slow process, and save every user 1 second, once, you've saved 2 lives. If you're a Microsoft and make boot up take 1 second less across their billion or so devices, same thing.
Wife bought a big bag of white rice yesterday. You can still find it although not necessarily at big supermarkets.
Why does no one read the actual proposal before commenting?

It specifically states that this only applies to individuals with 80% of their wealth in tradeable assets. No founder is going to lose control because this doesn’t apply to them!
> To avoid using an existing toolchain, we need some way to be able to compile a GCC version without C. We can use a less well-featured compiler, TCC, to do this. And so forth, until we get to a fairly primitive C compiler written in assembly, cc_x86

I imagined going a slightly different route.

A minimal Forth can be written in assembly and in itself. It suffices to write a console using a serial port, a primitive FAT filesystem to access SPI Flash, and maybe even an interface to USB mass storage.

Forth is not very easy to audit, but likely still easier than raw assembly.

One can write a C compiler right on top of that, sufficient to compile TCC.

Alternatively, a simple Lisp can be written on top of the Forth, it's much simpler than writing it in assembly. Using the Lisp, a much more understandable and auditable C compiler can be written.

Much of the Forth, all of the Lisp, and much of the C compiler (except code generation) would be portable and reusable across multiple architectures, without the need to audit them fully every time.

The fun part here is (potentially) not using QEMU and cross-compilers, and running everything on a sufficiently powerful target hardware, for the extra paranoid.