skysight-inc/HackerNews huggingface dataset:
Consider the "Backup verification" window[1]: The whole window is overwritten with a readme upon clicking "More on this...". This is bad, I've seen more than enough people X out of such windows (because they think it's not the window they were working with) and then wonder where the window they were working on went.

Why couldn't the readme open in a separate window? It's completely different contextual information to the window they were working in, and in fact most software do produce a new window when opening help documentation so users aren't confused. Different windows for different contexts, this has been standard design for windowed environments since forever.

[1]: https://bvckup2.com/wip/r82-backup-verification-dialog-r2.gi...

--------------------------

Now consider the "Backup settings" window[2][3]: Why are the various dropdowns a button you click on which proceeds to resize and move the entire window?

Standard design for dropdowns have always been dropdown menus. Almost everyone knows how to use dropdown menus, both Windows and other programs use them. This is inconsistent design language for the environment the software operates in, and this is confusing for users.

What's more, there is no scroll bar to indicate there is information overflow in the window[2]. Can you tell there is more information above the "More options..." section in window[3]? I know I can't.

We need to take a page from Apple's playbook on this: Consistent design language is good design language. In this case, follow the design language of Win32 and Windows in general. Yes, this isn't as easy as it sounds since Microsoft themselves violate the rule of a consistent design language, but that's not an excuse for others to also violate it.

Not presenting a scroll bar to indicate information overflow is also inexcusable. A user interface exists to inform and guide a user, hiding or even lying to the user defeats the very purpose of a user interface. On that note, the window is being resized, why then isn't it being resized to show all of its contents? At least the resizing would then have a legitimate reason.

[2]: https://bvckup2.com/wip/r82-backup-settings.gif

[3]: https://bvckup2.com/wip/r82-rabbit-hole.gif

--------------------------

Now consider the "Preferences" window[4]: Why are the help texts for this window hidden behind "?" when the other windows either don't have them [1] or show the help text outright[2]?

Why is the "More..." text a hyperlink and the "Less..." button a button when they are the same interface element? This criticism also applies to the "Backup verification" window which exhibits the same problem.

This is all inconsistent design language within the software itself, let alone when compared with its operating environment. This is bad, again: Consistent design language is good design language.

[4]: https://bvckup2.com/wip/r82-preferences.gif
Hey GPT please generate tests for the code that you write that prove that all paths exhibit correct error handling behavior...
That was bound to happen at some point, AI or not. Google search quality has been declining more and more every year, to the point that I'm almost sure that you could build a better and smaller index for much cheaper with a curated domain list.

AI brought down the price to compete from billions to a few millions, the monopoly is being threatened.
There is always a tension between economic growth and consumer protection. Selling bread is hard mostly due to health regulations. We used to have a lot of people die due to contaminated food. Now that's so rare that it makes the news when it happens. Food safety rules were written in blood.

Some states such as California do have special exemptions for "cottage" production of low risk foods such as bread.

https://www.cdph.ca.gov/Programs/CEH/DFDCS/Pages/FDBPrograms...

In other industries it's much easier to legally start selling things. Want to make screwdrivers and sell them to the local hardware store? Go ahead.
This was my main gripe with bazel. It's the worst build tool for any individual language but the best (only?) that can do all of them.

Other big complaints were:

- big CPU hog

- bad IDE integration (esp scala/java for intelliJ)

- it lets people write i-cant-believe-its-not-python, which is far too much rope to hang yourself with. I've seen horrors.
I don’t need a calculator to tell me 50 * 12 is 600. But you’re saying an AI does?
Thank you. I hadn’t seen that. That is indeed pretty impressive.
I think the Good Sets were meant to archive every single dump of every game.
>- you need a team dedicated to building bazel rules for whatever doesn't already have rules (see: you must convert everything). This team is a bottleneck

This is a major issue. A good build tool shouldn't require a dedicated team.

Ideally a build tool should function as sort of a settings menu for the project.
Markprompt: An open-source GPT-4 platform for Markdown/Markdoc/MDX docs
Almost two years actually
We need better support for SSH host certificates
And they would have been correct; Britain did ban slavery before the US. First for Britain itself in 1807, then broadly in it's remaining holdout colonies in 1833.
They can leave if they want, as long as they pay an exit tax. But personally I think that's bullshit, they'd rather be less rich in France than more rich in Romania.

And if you're talking about companies leaving France, then that's flimsy too. French citizens are among the richest in the world. International companies will pay higher taxes to access that market, and if they don't that's fine, a domestic company can step in or the government can snap up the productive capacity to invest in infrastructure.
Dear EGreg, et. al.,

"anonymous" means "without a name", which is never the case for Internet usage, except for Tor/onion type anonymization schemes.

Internet use such as Hacker News is pseudonymous; we choose a name or one is assigned to us (it may even be an IP address), and many Internet communities rely on stable pseudonyms for reputation and recognizability.
Posted this video in another thread and got the response below so I thought this might be a interesting on it's own conversation:

hn_throwaway_99 23 minutes ago | parent | next [–]

Holy fuck.
I don't see how people can see stuff like that and say "oh, it's just a fancy Markov chain generator" or "it can't reason". Even if that stuff is nominally true, how can people not be totally blown away by this? Just a couple years ago I think people would have been amazed that it can have totally natural, grammatically correct conversations. Moreover, for nearly 3/4 of a century the scientific community has pretty much coalesced on only using the output to define intelligence (aka the Turing Test). While I understand that ChatGPT may not 100% be there yet, I see no reason to believe that all this interaction people are having with it won't be fed back into it to drastically improve its responses over time.
They used the 6b GPT4-J, not 20B. That's what's interesting, it's a smallish large language model :).
Curious that there's been so little financial stability in this supposedly stabilised ideal system.
I agree with your sentiment exactly. But your comment made me think about this an interesting way that I hadn’t thought about before, that made me better understand why I am “anti-GPT search”.

All the same things that the model makes an effort to “understand” are things that can contribute to your own understanding. When it “understands”, you do not. You get the summary and miss out on a great amount of nuance that can come with learning and finding the right answer for yourself.

For instance, it is very common that in the search for why X is happening in my code, I will find tons of information that don’t answer my question but help me form an understanding of why it is happening, how the system is working, etc.

This is especially visible in science. Many papers outright conflict with each other. Some have better or worse methodologies than others. Some have better analyses. Some state outright falsehoods without citation or misinterpret citations. Having a GPT “understand” this to produce understanding in humans is going to end very badly. It takes several hours for a human (in my experience) to understand even a single academic paper on its own.

I suppose the appropriate cliche is “it’s the journey, not the destination”.
Sounds like your issue's more with change than specifically what the spec says then. I get that, but also.. where would we be? (But then, I use a rolling release distro (btw) and happen to like systemd.)

> Why does that path need to be two directories deep?

It doesn't, set `$XDG_DATA_HOME` to something that isn't.
I think it's far too early to say where this is going. If you could make this into an extremely skilled targetable manipulator/advocate for any kind of viewpoint, worldview, marketing strategy, on a per-user and day basis, one that subtly pushes the user in a given direction, I'm sure that would be lucrative enough to cover any amount of free/"free" views/prompts. Also, if this takes off in earnest, improving hardware acceleration will probably bring down costs as well.
Over my dead body.

You realize that Google Search still brings in mountains of cash, right? Search generates 57% of Alphabet’s total revenue. [1]

We’re extremely far from that point.

[1]: https://www.cnbc.com/2021/05/18/how-does-google-make-money-advertising-business-breakdown-.html
I would imagine if ARM wants more money, smart phone manufacturers will not want to make less money and pass that extra cost off to the consumer.
Yeah I feel there should be some redress here under the 4th amendment, unless facts are being held back I don't see how this search warrant was ever issued.
> Imagine, for example, just giving everyone £10M to spend on whatever they want. This would not create any more stuff - but it would sure be a big equalizer for people buying that stuff!

This is mostly true, but it isn’t always, and it isn’t a perfect formula.

For example, there are some goods that have zero or negligible marginal costs to provide. For example, a streaming service. If people use the extra money they get to buy Netflix subscriptions, it isn’t like there will suddenly be a shortage of Netflix streams. It doesn’t take many resources to add additional subscribers for Netflix… it isn’t exactly zero margin, but it is pretty damn close.

This is even somewhat true for some physical goods. There is a lot of latent productivity in our economy… factories only running at 50% capacity, for example, or mines that aren’t producing all the ore they can because the demand doesn’t exist for what they produce. If demand suddenly increases because there is more money being spent, they can increase productivity without putting strain on the productive capacity of the industry.

Obviously this is not infinite capacity, but it is why it is not as simple as “creating more money == 1 to 1 equivalent inflation”. In other words, you aren’t going to get a 10% inflation if you add 10% to the money supply. It would be some fraction of that 10%.
Yeah, 0.03*1.16 is still 3% to a close approximation.
I recently tried to install gdb on a Mac. Well after 1 hour I gave up and went a different direction. gatekeeper was refusing to install code that wasn't signed out the wazoo and the 14-step instructions on how to sign, approve, bless, and sprinkle holy-water on top of a gnu gdb binary was just too much. it didn't matter what i did - even if i downloaded the source code, compiled and ran it as root, that wasn't going to make gatekeeper happy. gdb was never going to start.

if you watch this talk you can tell that gatekeeper is taking away your freedoms.
they are trying to turn each and every binary on your machine into a walled garden.

https://developer.apple.com/videos/play/wwdc2019/701/?time=1...

this will put apple in a superior position - the only company able to make a binary that can use every resource in the OS - and will put developers at a great disadvantage!
24 hours is likely a little too short; I would expect to see 3-10 day long certificates in the near future. Google Trust Services is already doing 3-day IP address certs, and Firefox doesn't do any revocation checks for certificates under 10 days: https://wiki.mozilla.org/CA/Revocation_Checking_in_Firefox#S...

Let's Encrypt has always been focused on automation to make shorter certificates a reality, and ARI is part of that plan.

Shortening the lifetimes of the roots themselves is another thing that's coming, which is going to be harder for the world outside of auto-updating browsers to adopt.

(I work at Let's Encrypt, but this is my own opinion)
You don't even need an SRE to have an on-call rotation; you could ping a software engineer who could at least recognize the problem and either push a temporary fix, or try to wake someone else to put a mitigation in place (e.g. disabling the history API, which is what they eventually did).

However, I think the GP's point about this class of bug being difficult to detect in a monitoring system is the more salient issue.
Maybe you got some Spyware or something interfering with Google queries
>hate that JavaScript is required

JS hatred is a huge problem.
It has driven huge projects since XHR was invented.
Google's GWT was one of the first, targeted at Java devs.
jQuery was a bit js hatey, too (early devs didn't know where js stopped and jquery began, including me).
And js hatred continues to drive countless projects promising devs 'you don't have to learn js'.

I believe this attitude is utterly foolish.
To build a webapp without knowing the foundations of the web is foolish.
And much of the misery devs experience is because they weren't willing to do the harder, but wiser, thing and just suck it up, and learn how to program browsers.
Literally every dev who's ever believed the line about not needing to know html, css, or js has discovered how utterly false this is.

(TypeScript is actually an exception here since it's a strict superset of JavaScript, so if you are a TS expert you are already a JS expert)
There's a lot of daylight between "use a HSM" specifically and "use a system that prevents junior developers from accessing the key and checking it into public repos."

Storing the key in some kind of credential vault that can only be accessed from the hosts that need it at startup would usually be enough to prevent this particular kind of error (unless you're giving root on those boxes to people without enough sense to avoid checking private keys into git, in which case you've probably got worse problems).
They probably want more Apple Pie
Alternate headline: Using every GPU they can lay their hands on, Bing market share still just 3%.
Who has a larger prison population? All stats I'm seeing both in raw numbers and per capita have the US as number one there.
> I just performed that search in Google

It's been publicly known that Google has been bubbling search results for years now, and that one individual's search results have no relation to another's.
Practising chaos engineering on another team’s platform without their knowledge is fun /s
It seems like none of the older powerful Google search syntax works for me anymore.
(Feel free to reply and vocalize your respose rather than just slapping a downvote)
Elon Musk on Microsoft: “they have everything, including the model weights.”
First you have to realize that ChatGPT is unreliable in the first place. I guess many will have to learn their lesson the hard way.
I can’t even use google to translate a sentence. Their offering has seriously diminished the last 5 years and GPT is a god send.
Oh wow, thanks for that tip!
That's fine. Daily always seemed excessive to me. I don't need to clean my house every single day, either.

I would kinda like it if they could at least make coffee available. That's the only thing I risk running out of on a daily basis. Last time I stayed in a hotel for more than one night, I swiped some K-cups off the cart. (I hope they didn't get in trouble for that.)

Other than that, I don't need clean towels, and I'd just as soon not have to make sure that all of my stuff is put away so that they don't move it in the process of cleaning.

I do hope that the cleaners manage to keep their work hours up one way or another. This isn't about price for me. It's just that the cleaning is unnecessary and, to a very small degree, not great for the environment.
I used to occasionally fill in for my professor to run labs in a biology class, and I'd encourage the students to smell and such saying, "you do science with all of your senses."
It is wild how most of modern SEO and "SEO+" involves just outright creating spam. Spamming url strings (keyword stuffing essentially) for location specific ranking is a new one I've noticed being touted.
> I very often check cent/oz on products - because I dont like being cheated at that level.

You have to do this in the cereal aisle! All the different-sized boxes of the same exact cereal have wildly different price-per-weight. And the largest-sized box is rarely the cheapest-per-weight!

what surprised me is how expensive plain Cheerios have become. My wife explained it as if I were stupid - they are mostly whole grains and very little garbage. All the other cereals have so much crap in them that the input price hasn't increased as much.
let's just hope that one time is not while doing something that can harm other people (bridge, medical software, justice systems, + other places).
Um, no. Google "bubbles" their search results, meaning that they customize them based on their profile of you. This is not new - it's been implemented and known publicly for years.
That sounds a little too Minnesotan to be called Midwest
I'm just trying to point out that that query would have returned nothing much at all back in the age of keyword-lookup search.
Cash app rife with fraud, bombshell report alleges
Discussed also at https://www.youtube.com/watch?v=XGZ37svz710 .
Or maybe google tailors what it shows to what it thinks I want to see based on my user profile :P
I mean, that's a lot better than most businesses.
I'm in the same boat especially as English is not my native language. Even if it was, words are not my domain.
> but that's overly pedantic even by HN standards.

Thank you! I'm overly flattered. (Also, that is always what linguists mean when we write "romanized", or as the Japanese say, rōmaji.)
OpenAI CEO 'feels awful' about ChatGPT leaking conversations
Its very silicon valley hype bubble made all the more exponential due to the "magic" of the technology involved. Look at a lot of Effective Altruism types. 80,000 hours a EA nonprofit cites Climate Change as #7 on existential threats and rouge ai #1 [0]. Which I think is very revealing. They are very worried about Sci-Fi doomsday scenarios of a skynet "power seeking ai" rather than the more pressing problems of humans doing the types of things we've been doing for millennia and abusing power structures.

https://80000hours.org/problem-profiles/
The Bing version does multiple searches, FWIW. I couldn’t remember the lawsuit about roadmaps and search results were coming up empty, so I just asked Bing Bot. Bam, got an answer in a few seconds with citations.
Root cause analysis would likely also include the lack of threat modeling / security evaluation of their dependencies

Would likely also question the lack of resources allocated to these open source projects by companies with a lot of profits from, in part, using those open source projects.
Both Google and Apple have multi-arch support and Apple has pulled off a ISA transitions, guess that really only leaves Apple's investment in the actual M1/M2 chip-design itself.

Apple's price-point and margins are high enough but they're pretty protective of their margins afaik. I wonder if it's worth transitioning away though.

I think this will definitely boost Risc-V investment and maybe other alternatives, if for no other reason than to have a viable threat to leave ARM if they decide to get more aggressive in pricing.
Btw, it's kinda crazy how bad the GPT4-J results in the blog are compared to the Dolly one, which seem pretty good. Do we know why it works so well to use this 50k dataset?
You are right, but their flashchip is only supported up 133mhz.

https://www.trustedparts.com/en/part/winbond/W25Q16JVSSIQ%20...

The flash chip they are using is only rated to 133mhz, so they are setting the SPI clock divider.

in hardware.cpp

#ifndef NO_OVERCLOCK
// dividing the clock by two ensures we keep the spi transfer to
// around 62.5mhz as per the st7789 datasheet when overclocking
sm_config_set_clkdiv_int_frac(&c, 2, 1);
#endif

Learned a new work around for overclocking.
I wish more programming languages had this - would make it much easier to program simulations because agents could be written in the same language, instead of some other preemptible DSL, it'd also enable reproducible debugging and "system-jumping" processes if the suspended state could be serialized
Surely that's not going to work with all the data (aka website content) having changed markedly over the years, with SEO being a major factor?
Microsoft breaks geolocation, locking users out of Azure and M365
This might be a trope here, but recently I noticed that the quality of search results has degraded quite a bit for me. When I e.g. search for Golang-related content (often I want just the official docs of a module like net/http) I get all these developer-focused, SEO-optimized blogs that are kind of helpful but often not, and I have to scroll all the way down to get the official docs. I really wonder if that has to do with AI-generated content becoming more ubiquitous.

I have to say I really dislike all these developer-focused publications, with a few notable exceptions. Most of them just write very shallow articles copied almost 1:1 from the official docs, and don't even take care to update their content when stuff changes. I just don't get why Google wouldn't hand-curate search results like for the Golang standard library or any popular framework and make sure the official docs land on top of the list.

So, long story short that's definitely an area where ChatGPT will replace Google, if it stays as affordable as it is. Today I e.g. asked it about a decorator-style problem I had in Golang and if there was a solution that could do away with using the "reflect" package and would instead use generics, and sure enough it came up with something that worked brilliantly, tailored exactly to my use case. For me, that is the future of learning about software code (and many other things as well). For publishers probably not so great as people might not go to their sites at all anymore, so I expect a strong upwards trend in anti-automation measures.