skysight-inc/HackerNews huggingface dataset:
Yes, but that’s both fairly far down the page and not really a good example of what an actually application might look like
Now it just needs a VFS so it can seamlessly work with large binary files.

Maybe it has some support for this already since it apparently works with Google’s internal monorepo? I can’t tell what the story there is.
The home page already has a massive bias in favor for pretty much any kind of negativity, but doubly so for anything involving a tech company. It doesn't matter whether the stories are untrue, unverified, repetitive, etc, they'll still get voted up, and the comment threads will half full of low quality complaints repeated from past discussion, often only tangentially related to the submission.

And it creates a very visible feedback loop, as users start to think that this is what HN is supposed to be. They're probably the biggest quality problem of HN.
"Or hey, even more amusingly, a killer app could be something B2B, like enabling remote robotic work, where the worker’s commands get recorded and become training data for autonomous robotic systems. This is the core premise of my short story on AI, which I can now plug here. woohoo!"

I actually thought this is where the next big AI company would come from. A gaming company that created a game that also had a business use case. They would use the data from that game to train ML models that were capable of doing work. If someone were able crowd source some AI robot training through gaming, they would be paid by consumers and by businesses. Kind of like how captcha digitized books in the backend.
Very good to know. I'll try and reproduce this bug, thank you for this.

And if you're able to send a screenshot, that'll be super useful. As at the moment, when testing in chrome dev tools, with iphone SE selected, it looks like it doesn't display the right size of the phone (or maybe I've misconfigured the dev tools), as the dialog box doesn't prevent from completing the tutorial.
Have you lived in countries without compulsory voting? Have you worked in electoral politics? Would the population be more engaged without compulsory voting? Different countries do not amount to controlled experiments. Brasil, North Korea, Belgium, and Australia are all very different countries. All have compulsory voting.

> But in many many cases without really looking into who is trustworthy.

> They simply vote for the man or woman they think looks best, or they have seen on TV and said something funny, or stuff like that.

These two things are largely linked. If one believes that one can view the true nature of reality and divine the future then one is in for perpetual disappointment with politicians. Trustworthiness can only be known a posteri. A priori we only have heuristics. The reason for the existence of representative democracy is so that politicians do the work of politics.

One may not always agree with the electorate but my experience tells me that compulsory voting does drive engagement. It changes how political parties spend money and who they use that money to try and influence. Engagement in countries with compulsory voting is different to how it would be in the same country without compulsory voting.

The average member of the electorate possesses no expertise in any single field and is ignorant of everything. The average member of the electorate holds no single opinion. This is a good thing.

Whether people's beliefs are right or wrong is one thing but what you don't want is a bunch of radicals (of any persuasion) who have made the leap of faith which prevents them from reversing course. When large proportions of a society is radicalised to hold extremist and exclusive political opinions, that's when voters cannot be convinced. This rarely ends up good for society and occasionally ends violently.
Ask HN: Simple DNS settings guide for Google Workspace custom domain?
My dns settings I setup for my custom domain that's points to my email served by Google Workspace were deleted when I changed when I switched host provider. I completely forgot about needing to update my email dns and they were finally removed today. Now email isn't working and I'm struggling to re-create the settings on my new dns provider.

Problem I'm running into right now is that I did this a long time ago, and I'm having a serious whack a mole problem trying to find straight forward docs from Google on how to migrate/recreate the dns settings.

I got the MX records setup on my new host, but I need to do things like TXT records, SPF, etc. The docs around this are all over the place.

The top hit for updating the TXT record is at https://apps.google.com/supportwidget/articlehome?hl=en&article_url=https%3A%2F%2Fsupport.google.com%2Fa%2Fanswer%2F183895%3Fhl%3Den&assistant_id=gsuitedomainverification-uavmi&product_context=183895&product_name=UnuFlow&trigger_context=a. However, the "Workspace Setup Tool" doesn't load.

Then searching for "Google Workspace setup tool not working" has a top hit point to a random Google help doc link, but that site is broken and loads no content.

Help pages like this point to things that either don't exist or aren't working: https://knowledge.workspace.google.com/kb/how-to-verify-you-domain-in-google-workspace-000006341.

If any Googler happens to read this, this is kind of a serious issue with your docs and you probably should raise a flag to have this straightened out. I'm experienced with this stuff and its even confusing the stuffing out of me right now.

EDIT:
Found the TXT settings in a completely undocumented place.

https://admin.google.com/u/0/ac/apps/gmail/authenticateemail?hl=en

In the Workspace Admin panel: Apps -> Google Workspace -> Gmail. Choose the correct domain from the dropdown (if multiple). You can reset TXT records here and authenticate them.
Excellent, great to hear, I really appreciate.
I have not read the ESA document, but in their defense one possibly applicable principle is this:

If you get too far from understanding/practicing implementation, soon enough you will not be competent enough to produce a specification.
Yep, just played Addams Family at a Beercade in Omaha, Nebraska a few days ago. ;-)
This wouldn't be a separate additional tax; the vast majority of LVT proponents (myself included) propose it to replace property/sales/income taxes (all of which are just economically-inefficient taxes on land anyway: http://www.wealthandwant.com/themes/ATCOR.html).

As for loopholes, LVT is the most effective way to patch them; you can't exactly move land to offshore bank accounts, after all.
True. I wouldn't give a baby anything that doesn't have a safe chain of custody and history of purity and reliability. Even in the 1970's from whence I came, my parents didn't trust tap water for anything more than brushing teeth and showering because the water had floating crap (scale) in it and high hardness.

Personal water intake history:

70's - 1993: Name brand bottled water from grocery stores

1993 - 1997: Self-service distilled or reverse osmosis water store, and remote pump at home

1997 - 2001: Carbon block, multi-stage, under sink filtration

2001 - 2018: Add reverse osmosis

2018 - present: Add UV stage

PSA1: Alkaline water is a scam

PSA2: Buy a water softener, whole house filter system, under-counter RO system, and maybe an indoor tankless water heater together on a wink-wink commercial purchase order (taxable) and have it freighted to your driveway (liftgate charge). It saves thousands on plumber markup and allows buying a TCO cheaper and better system.
Sometimes people slide into Windows discussions telling people they should just switch to Linux instead.

That might on some level be right, but it's completely unhelpful.
I'm aware; I just disagree with the premise.
I haven't. Brookfield isn't really accessible if you live in the city and don't have a car.
The thing with this version is corners also count as touching. The different numbers of neighbors itself isn't confusing, but counting squares that share a single point as neighbors is definitely unintuitive.

Edit: Oh shoot, I completely forgot regular minesweeper does this too! It's definitely the acute angles that threw me off!
This is just more $ in Amazon pockets don't be proud of them for this at all.
I just wanted opinions from folks in this community, that’s all…
This reminds me on the recursive XNA acronym which stands for “XNA’s not acronymed”.
Sweet, it finds my friend's arcade the next town over! Looks like he's gotten a new table since the last time I talked to him :P
I think the index is one of the best features of git if you work with a git GUI.
Goddamnit, Nick.
Ask HN: Anyone Tried Apple Vision Pro?
First impressions? Thoughts? Is this the future of computing?
The carbon tax we should have started 20 years ago how about
Extreme wealth is not per se a problem, or not a terribly pressing one.

The rounds to always that extreme personal and corporate wealth becomes fungible into induced market failure, is deployed exactly that way, leading to you guessed it, even more extreme personal and corporate wealth is a huge problem. It’s going to cook us even faster than carbon emissions in fact on present course.

I can see why a middling academic like Friedman, or an embittered Eastern Bloc emigre like Rand, or generations of ambitious apparatchiks and politicos have seen fit to endorse some nonsense, zero-evidence economic theories to the contrary.

As for why a community like HN that both knows better and stands to lose thereby endorses this manure?

I don’t have any better explanation than Clements on temporarily impoverished millionaires.
First of all, there's already much to be said on how encouraging private citizens to amass wealth at all costs is highly dangerous to society. Clearly, there are massive problems that our current model has. Second, we don't need to go for a utopia right now. Personally, I'm not a "communist" or whatever fan. I think that we can remove the negative impacts of capitalism without a crusade, through borrowing elements of those political theories. That doesn't sound half bad to me: likely feasible (if only the political will could be scrounged up), not hugely radical, and already a big boon.
Could you elaborate on it being a "psychology problem" please?

I agree with your perfectionism point; but how to test the hypothesis that it would be "fun"? A rough prototype can easily not be fun, even if the hypothesis is true! User experience seems hard...

Perhaps this is the reason for Mark Cerny's Method in game dev: to complete a slice of a AAA game to shippable standard, to tell if it's worth completing. Because players can't evaluate the experience of a game without the finished game. It's a hell of a lot of work, like $3 million; but doing just a slice makes it less than the $30 million for the whole game.

Whereas, for some reason, for Zelda: Breath of the Wild, they developed a cheap 2D prototype to test out their "physics" and "chemistry" ideas. How were they able to test their hypothesis so cheaply?

What makes a hypothesis cheap to test? Is it a bit like unit tests versus functional tests?
Modern Signal Processing
We have little to no idea if this is indeed inevitable. The same kind of arguments could have been made, and were in fact made, about democracy and capitalism before the American and French revolutions. And some attempts at democratic revolutions have indeed fallen into authoritarian rule - Cromwell's being one of the most well known.

Socialism is nothing more than extending democracy beyond the state to the workplace. It is no more collectivist than democracy is in any other economic system. And like any other form of democracy, it is naturally opposed to authoritarian rule, not conducive to it.

As such, the problem with socialism is not at all that it's easy for it to fall into dictatorship. The problem is that it is hard to convince the rich to allow it to form without aggression, since it necessitates them losing much of their power. The same problem that democracy faced: kings rarely step down, and bloody revolutions are typically worse than the status quo (and you can never be sure what will happen after one).
Give it up, don't use reason against conspiracy theories because they're exactly a refusal to think.

Evidence? Just look at the anti-vax paranoia after the Covid vaccine came along. Billions have been vaccinated, deaths decreased and idiots proudly say they won't take vaccines.
Fwiw, the Intro Skipper [0] plugin is actually fairly straightforward to install and set up and works as advertised (I personally just have it configured to auto-skip).

[0] - https://github.com/306bobby-android/intro-skipper
Try recursive grids
https://ataraxia-mechanica.itch.io/infinisweeper
Citations appreciated! I will not respond in-depth to most parts, because I agree with what you're writing. But I will make one or two points. To clarify a piece of confusion:

> Maybe this is our biggest disagreement. I believe there is a model that can get the biggest benefits of both. I'm not alone in this; papers in Software Engineering, "Out of the Tar Pit", prescribes this as a possible solution to a lot of woes in software engineering:

I don't necessarily disagree, Moseley does not describe an OO model. If you showed their proposal to someone who does e.g. just Java, they would puke.

> I'm not sure what you consider "a good object model", but there is very little agreement in our industry on what exactly that looks like

A more accurate statement is that there are many models. The very first one I learned formally was the Booch method, over a quarter-century ago. My productivity fell about tenfold when I began applying it. Second one was Java. Less than tenfold. Like you, I eventually rejected OO for most things other than UX, or relatively small objects which are more-or-less little more than data types.

-----

But onto the main point:

- Models have theoretical properties which work well in isolation.

- Mixing models often destroys those properties.

- For example, I can slice code vertically or horizontally. Either works well. If I mix the two, I have no abstraction or modularity left.

- Java got rid of MI for a reason. It's not that MI is bad, but it doesn't fit into the Java OO model.

- If I add a little bit of OO to functional, I get mutation, and almost all of the benefit disappears in a poof. (note: There are systematic ways to do this which maintain benefits of both)

- Aside from theoretical properties, models are a way to communicate. You know what to expect in code.

You can design hybrid models, but you can't just mix models. Code kinda falls apart. None of the OO models map cleanly onto relational, or vice-versa. It's possible to do other models that perhaps combine aspects of both, but they're no longer OO.

An ORM is a bastardization of the two models, by trying to mesh them together. In contrast, I like Moseley Marks a lot, which is it's own model.

-----

And a footnote: I no longer find it hard to get things done with functional programming. Most of my code is pretty close to pure functional, with a few well-controlled places with state (on the front-end, with Redux). Part of that is experience on my part, but part of that is that both Python and modern JavaScript surface many of the most useful aspects of functional in ways which are linguistically nice.

-----

As a second footnote: A lot of this is based on domain. For example, numerical code works great in functional, while as you pointed out, UX maps well onto OO.
The link at the starting of the second sentence "Things can be done with Notcurses that simply can't be done with NCURSES." does more justice for what it can do than any screenshots would.
COBOL was very widespread - there used to be more lines of COBOL in production then any other language (Mostly mainframe and (super-)mini computer stuff (banks, govt, insurance, etc.)

In another 20-30 years, Java might be a lot less popular then Go, Rust, Python, Ruby, etc? So lots of Java that needs maintenance and not many people left to do it??
We go with species such as the dodos. I mean, they're never going to be exposed as Nazis now!
> but we can remove various political protections that political parties enjoy today

Is there any institution that can do that which isn't dominated by these two parties?
Mathematics Is Biology's Next Microscope, Only Better (2004)
> Using CTRL+C/V requires an unholy synchronization of mouse and keyboard.

You can select text with the keyboard by holding down the shift-key, and use the cursor-keys or use ctrl to efficiently jump by word-boundaries.

No mouse required.
You're lucky, I've worked with vacuum tube electronics and being 'bitten' by electrolytic capacitors is an occupational hazard.

I'd guess I've been shocked hundreds if not thousands of times, one gets used to it. However, it's not the electrolytic capacitors that are charged to 250/350 volts that one worries about, if one works with high powered transmitters or similar equipment then their power supplies have capacitors that work at many thousands of volts which can remain charged after the equipment is switched off. Get across one of these and it's likely curtains, they're lethal.

Special precautions should be undertaken to discharge them and to ensure they remain discharged. Just discharging them isn't enough as a capacitor's dielectric 'relaxes' after being stressed by the voltage and its dimensions change which partially recharges the capacitor. To avoid a partial recharge its electrodes are short-circuited with wire while doing maintenance. This too can be hazardous, failure to remove the wire afterwards can lead to much damage.
The cost and benefits need to be carried by the same people. Right now with a lot of pollution some people have to pay the price for the benefits of others. Or often the whole population has to suffer damage because some capitalists get richer.
I would believe it - I just don't think I've seen it. All it would take is better PWM controllers right?

I wonder if the places I've been to just don't know, or just haven't upgraded yet (waiting until the originals die?), or are trying to save pennies on the dollar on repairs?
It is not, and it has never been.

ELF is platform agnostic, and has been used in operating systems on nearly every existing CPU platform since mid 90's (with a few notable exceptions being OS X, AIX, the embedded world and Windows).
It's great. It is the future, it just needs to be lighter. It's actually relatively small, but it's heavy. Once it's as heavy as actual ski googles and has all day battery I'll drop the phone.
You are a funny guy, irongeek, I like you. That's why I am going to kill you last.
I got the Vision Pro, and I'm quite sure that replacing desktop monitors at home or in an office is not something people will want to do. The technology isn't there yet. It's heavy, the external battery and its cable are obtrusive, the field of view is small, and you would still need to use a keyboard and a mouse. There's also a bit of lag with the passthrough video and it jitters when walking around. Maybe in a few years, despite many people having suboptimal monitor setups.
A couple of things of note:

Run-to-completion scheduling is a thing in the real-time world. See for example Miro Samek's book Practical UML Statecharts in C++.

XMOS makes real-time embedded CPUs supporting task-per-core architecture and hardware message passing. Commonly used in consumer real-time audio hardware, to pick one example. I believe some of the original Transputer people are involved.
The USA is actually the biggest Bitcoin mining nation [https://www.techopedia.com/bitcoin-mining-and-energy-statist....]

China banned Bitcoin mining years ago which caused miners to flee to other parts of the globe. Texas is the current powerhouse.
I honestly haven't had a single instance yet where I didn't regret abandoning it ~5 years later when something similar took off
A while back, a lot of Big Tech platforms (most notably GitHub) switched their "should we put black or white text on this user-supplied background color" algorithm to use the WCAG contrast formula. Doing so caused a lot of white-on-red badges to flip to black-on-red.

Many users reported this was harder to read, even those without the form of color blindness which makes black and red hard to distinguish. Whether making this change was really "more accessible" than doing nothing is therefore pretty debatable, but it definitely helped them pass their WCAG audits.
Sure. It's arguably even better for the creators, because not only are they getting paid more but they're keeping all the rights to the content. Most of that content would not be getting created if YouTube wasn't there to serve the videos, bring the audience, and make sure the creators are getting paid for it. (To the tune of tens of billions of dollars per year, not just small change.)

Why is funding original content the critical part of the value proposition, while making sure that the people creating content are compensated for it is worthless?
How big is that pizza is IRL, not just a photo? What color is the Orange Juice? Which brand of bacon appears to have a higher meat to fat ratio?

The grocery store offers an old fashioned produce section so I can hand pick a pear that isn't bruised by a robot.

And all the reasons you list.

Part of the beauty, though, is that it becomes obvious to offer both. Developing in-store system puts you 90% of the way to having shop-from-anywhere abilities. Developing shop-from-anywhere puts you 85% of the way to having in-store shopping without shopping carts.
Two nearby venues in North London have The Getaway: High Speed II. I wonder if that's true, or if it moved from one to the other, and the map reflects an inconsistent state.
I was led to this paper by an answer to this Stack Exchange answer: https://hsm.stackexchange.com/a/1999. The answer reports that the mathematician Israel Gelfand wrote that:

"Eugene Wigner wrote a famous essay on the unreasonable effectiveness of mathematics in natural sciences. He meant physics, of course. There is only one thing which is more unreasonable than the unreasonable effectiveness of mathematics in physics, and this is the unreasonable ineffectiveness of mathematics in biology."

As the answer describes Gelfand was very interested in what will later be called biomathematics, e.g. see this memoir by a colleague: https://www.israelmgelfand.com/bio_work/vasiliev_bio.html.

Although mathematical models are successful in understanding biological phenomena I'm curious if they play the same "unreasonable effectiveness" role as they play in physics, i.e. has any bio phenomena been discovered after being predicted based on purely theoretical models?
do you want to be able to get electricity? you pay for it, you use it.

do you want someone to tell you how you are able to use that electricity?

what's next? clutching our pearl around gas guzzlers? forbidding people to eat meat? do we want a free market or not?
> (well within their social class status)

I bet you've discovered the cause of this effect. I suspect we're seeing people who live comfortable lifestyles say "this seems about right" and then hedge a bit.
> use LEDs to save on electricity

a lot of places switch because it produces less heat damage as they stay on for long periods of time and make a lot of heat. this can negatively impact longevity of the backglass and plastics
GP said “tax me more.” Nothing is stopping him from paying more.

What he really means is tax me (and certain others I deem appropriate) more.
I’d argue we should just be investing in generic tools that solve these problems once. Especially with recent advancements in AI.
I used to do the same at work, but luckily they have relaxed the rules somewhat, though I still get caught sometimes when there is a show-hn as they block new sites for a while.
If you're talking about this https://github.com/n0-computer/iroh ... Iroh is a p2p file syncing protocol. That's not even close to the same wheelhouse as SeaweedFS. What was their rationale for recommending it?