skysight-inc/HackerNews huggingface dataset:
A customer shouldn't be the one going through such hops in order to "satisfy" a provider who can't bother to accept a widely used mean of payment
That's why I always use parentheses, i.e. I never rely on operator precedence. Therein lie troubles, lad.

And, as usual, the xkcd is fantastic.
It is true that it isn't known for sure, but often the simplest answer is the correct answer. As they say: The race may not always go to the swift, nor the battle to the strong, but that is the way to bet.
Wait, is there are any color space in which Turquoise gets classified as green?
Bosch REAXX has a significant advantage, that being it is non-destructive to the saw blade when it activates. All you have to do is press a reset button and you are back to work. Not having the option of buying this tech instead of SawStop's in the US was a net negative for consumers, IMO.
I don’t want to be able to use Common Lisp in addition to Emacs Lisp or Guile Scheme. I want to be able to use only Common Lisp, never Scheme or C. I do not want to ever have to see #include (C) or #f (Scheme) in any project.
They are not even remotely the same.

6÷2(1+2) is written in a deliberately confusing fashion. This is a simple math olympiad-style question.
All universal quantifications on the empty set are true, for the same reason that the implication A -> B is true when A is false regardless of B. It cannot be any other way.
Precedence of infix operators on the other hand is completely arbitrary, we settled on multiplication before addition because otherwise it would be a pain to write polynomials.
No. In formal logic, if you have no hats, it is true that all your hats are green. You can claim anything about those hats, it is even true that each one of those hats is the same size as the universe, or that they are all completely green and completely red at the same time. In normal language, this would be different, but that is not the context here.

> Note: this question was originally set in a maths exam, so the answer assumes some basic assumptions about formal logic. A liar is someone who only says false statements.
From I remember from what we did in maths, a liar is usually used to have a NOT so we have something like NOT (All my hats are green) => There is at least one hat that is not green.
I think it's just a UX problem. Once that is solved, which I believe is definitely possible, both CRDTs and git can be made much more user friendly. I'm not saying it's easy, because it hasn't been solved yet, but I don't think the right people have been working on it. UX is the domain of designers, not engineers.
And most likely would have a proper JIT as well, the last version had a prototype that would only do some basic compilation.
I expected it to mean 45% NTSC.. panel gamuts are usually specified in marketing as either 45% NTSC, 100% sRGB, or some % of adobe rgb/display p3 for wide gamut

Not sure why they dropped the NTSC, maybe consumers have cottoned on to NTSC keyword = bad monitor
With products just leaving behind the old Apple days and Foundry, in fact, not a 1st tier supplier anymore what is there to salvage do you think? For the latter money was not enough even in, much, better days.
She also does mention things she did like about the thing she’s criticizing. For example, she liked the themed food at the Star Wars hotel, as I recall.
I have also experienced this a couple times. Once I read in a newspaper (offline/paper, I live in India) that a certain accomplished classical dancer with a great career died recently... I did not do any google search on it... same day I saw a prompt related to that on Quora about classical dance etc. It was eerie. Another time a similar thing happened. I still try to tell myself that maybe this was chance or coincidence but things seem weird for sure.
My simple rule of programming is to code the worst-possible solution at the beginning and improve from there step by step.
Stagnant industries are stagnant because no participant can conceptualize anything different not because it's not possible.
You can sometimes even get new ones. I picked up 5 Dell Optiplex 3050's brand new in box on ebay last year for £58 (~$75 USD) a pop. Even came with a keyboard and mouse. You get a lot of office clearances on there where its places that have just bought excess then never ended up using them.

The ones I nabbed were the i7 6700T's with 16GB ram and a 128gb ssd. Total bargain and not at all that rare to find on there these days around that price point.

Oh they also all came with a Windows hardware license, not that I wanted it but another bonus.
Same was said of tobacco... and I don't see any ads on TV for tobacco.
If you want to tinker with PCIe FPGAs I would rather look into DMA Cards developed for PCIleech, Nitefury/Litefury boards or Alinx boards.

All of these options can be had for ~100$.
In America cops bring the drugs and violence. They are always the biggest and best equipped gang in the area. We're completely fucking retarded. It's fine.
"You can give me the loan, all my companies have millions in assets."
This is correct. Apparently there are two key patents getting in the way.

https://www.patentlyapple.com/2022/06/apple-not-releasing-th...
IONOS requires you to make a phone call to talk to their retention reps before you can cancel anything
Maybe you can detail and clarify my view on why you think that is?
That's a depressing take on the world and not grounded in reality. It sounds like the kind of thing that the FDS community on reddit (female version of Red Pill) would parrot in their echo chamber of narcissism and hatred.

If you want to make a real effort to understand humans and how the genders relate, expand your sources. A good starter:

'The Will to Change' by bell hooks
Whether you are wrong depends on whether you interpret his statement in a mathematical or in a colloquial sense. Colloquially, if I have no cats and tell you "all my cats are brown", you'd say that I'm lying, beause I'm implying that I have cats. Mathematically, if I have no cats, then it is true to say that all of the ones I have, which are zero, are brown.
Combining Git repos with josh-filter
I've been feeling the same for quite some time, not only with phones, but also with tablets. I frankly don't need more power in my mobile devices.

I actually feel almost the same for my computers, and the only reason I bought a maxed out M3 Max Macbook was to future proof my self for a very long time.

But I feel this way more acutely with mobile devices. I see no reason at all to upgrade from my fourth gen ipad pro, from my pro max 12 iphone. There's no conceivable use case for me with those devices that require more computing power.
>but we somehow can't afford to house people who are freezing to death in the streets.

Why aren't you taking the freezing-to-death homeless people into your home?
AFAICT, this was a self-serving bit of reverse myth-making from Otellini. If there really had been a single binary decision Intel got wrong—saying no to Jobs when they might have said yes—then their collapse looks like bad luck: Nobody bats 1.000.

But the way Apple insiders tells this story, there was no way Intel was even being considered in the (short!) window when the original iPhone was being built. Intel was in the middle of selling Xscale, and even that design was too power-hungry.

Intel missing mobile was a long history of poor strategic and tactical choices, not one bad call.
Finger movements are generally on the order of 1-2Hz, a hand holding a large piece of wood will generally be much lower than that, which means that at the hundreds of millisecond level most of the movement can be predicted from momentum alone. Something which identifies and tracks hands in a view and fits a second order model to the movement can likely predict accurately enough at that timescale to make for a meaningful safety improvement (especially because if it's non-destructive you can tune it to err more on the side of caution than a destructive option)
The AI hype is annoying in my field as well. AI can have its uses, but we already figured out where to use it in my field ages ago. That doesn't stop people from hyping nothing though.
That's how I make my grind easier, in Leetcode. Go direct to solutions first, to get intuitions.
That's not what I meant. I meant just using the keyboard part as a keyboard, out of the box, without the need to tinker with the pi's software and/or hardware.
I don't have formal logic or any math beyond calculus, either, and it appears that this fact is to our advantage.
No shit. You should reconsider the context and implications.
Correct.

Common source of confusion/trickery/divergence between ordinary language and formal logic.

Edit: Logically speaking, the following two are equivalent:

They married and had kids.

They had kids and married.
For having a sshd server on my phone I do really like this magisk module https://gitlab.com/d4rcm4rc/MagiskSSH

This let me ssh into the real android instead of inside termux, which might be preferable depending on the use case
As others pointed out, yes you can. But you can get even better specs and at a lower price on eBay. Any of the Lenovo or Dell mini pc's are cheaper (around £50-£70 depending on the model) on eBay and SIGNIFICANTLY more useful.

For people buying these as a computer the power difference isn't something that even enters their mind. How many average people do you see debating one tv over another because it uses 5w more power?
https://montrealrampage.com/king-ludd-12-glad-not-to-be-the-...

Some people have been saying this stuff for years.
Yeah, I used to work on what was eventually sold as the Meta Quest VR headset and we all knew that thermal throttling would be a major sticking point.

Thankfully my job was all about reducing rendering latency to prevent people from getting nauseous, so thermal throttling was outside of my scope.
That isn't a challenge/response flow, that's the app on your device asserting something in isolation.
Deploying 1K Instances in Seconds
Yes, your statement would be true.
Yeah seems rather inefficient to power two computers but only use one.
I haven't found anything better. I want to try Hubitat and OpenHab at some point, maybe they'll be better.

All the community is behind HA though, so it has the most integrations.
> The data collection process involved a daily ritual of manually visiting the Tagesschau website to capture links to both the COVID and later Ukraine war newstickers. While this manual approach constituted the bulk of the project’s effort, it was necessitated by Tagesschau’s unstructured URL schema, which made automated link collection impractical.

> The emphasis on preserving raw HTML proved vital when Tagesschau repeatedly altered their newsticker DOM structure throughout Q2 2020.

Another big takeaway is that it's not sustainable to rely on this type of a data source. Your data source should be stable. If the site offers API's, that's almost always better than parsing html.

Website developers do not consider scrapers when they make changes. Why would they? So if you are ever trying to collect some unique dataset, it doesn't hurt to reach out to the web devs to see if they can provide a public API.
I think Loro is promising in that regard. They're actively working on this problem.
Why have numbers, true, false or null then? Why not only support strings?

{"foo": "2", "bar": "null", "baz": "false"}

I’m not really being facetious: that’s what canonical s-expressions did:

((foo 2) (bar null) (baz false))
MagiskSSH – SSH server on Android without Termux
The trade-off is one vs. two operator sub-syntaxes or in other words "sub-syntax economy". As it is, C has just one operator expression syntax (and one set of operator precedences/associativities). The "forward applicative" expression syntax is "reused" in the "backward" or "inverse" type declarations.
I just use whatever the tablet has (Samsung, Huawei, Xiommi) they are good enough, given how tablets overtook netbook's market share.

And for other activities, the stylus, as a proper tablet.

Although I do agree, input reckognition on Android is still way behind the kind of apps that are available on iPadOS, but that is mostly app developer's issue, not Android itself.
My solution is simple, I carry two phones a tiny dumb/feature phone for just phone calls and a smartphone for internet access.

No one can phone me on my smartphone as it uses a data-only SIM so it's difficult for Google and others to make sense of the data they steal from me (even then they only receive data garbage for reasons I won't bother to mention here).

It's hardly less convenient as the dumb phone is small enough to fit in my shirt pocket whereas the smartphone is in a trousers pocket.
It's not optimal, but the domain registrar must choose between every domain they have and one that is causing trouble.
Nintendo just finished killing both major switch emulators.
And that's why SO gets mad when I come home with six cartons of milk[1].

[1]: https://blog.bryanbibat.net/2013/01/02/programming-joke/
Are you the author?

In https://funnumbers.org/sliding-balls it would be nice to see all the curves superimposed to campare, and also add https://en.wikipedia.org/wiki/Brachistochrone_curve
And itch.io who removed that page.
So basically, lossy compression at a huge energy expense. Thanks, AI geniuses!
It's already a movie:

https://www.youtube.com/watch?v=w-0_tN6O-5k
Someone could build a SATA 2.5" housing with a dozen or so microSD slots and present it to the host as a JBOD.
"YouTube's copyright system isn't broken. The world's is." by Tom Scott

https://youtu.be/1Jwo5qc78QU
Steve Jobs wasn’t a programmer, but he was absolutely a techie. Go watch some of his marketing and keynote videos from the NeXT days: He understood the technology and more importantly why it mattered to the product and customers.
This sort of system would be get support from a sizable majority of people across political lines. The fact we don't see it implemented shows just how little public opinion can matter when it comes to the laws we have to live by.
Modern phones are really resistant. I have an almost 5 years phone that I never used a case or a screen guard with it and have been fine with this decision.

Modern devices are already massive, putting a case on then make them even bigger, and in my opnion more prone for falling from your hands.

And I have the extra-advantage of being able to easily locate my phone on family gatherings as I am usually the only one who doesn't have a case. :-)
The Chiplet Revolution – Communications of the ACM
Just wait until you hear about building codes requiring mandatory AFCI and GCFI breakers.
Oh boy he did not disappoint!
One of the points of this puzzle is to see beyond your social intuition. So yes, this puzzle plays on being able to figure out the logic while it goes against common social intuition.
Casual sentences and mathematics/logic don't go very well together, and lead to ambiguities and interpretation if there are no clear rules defined beforehand. This reminds me of those silly problems that circulate on TikTok with a series of additions and multiplications. The "correct" result depends on how you assume the operations precedence. Here, does "being a liar" mean that we have to take as a true statement the negation of "all my hats are green"? If so, is that "NOT all my hats are green"? How does that translate back to the mathematics realm? Is it {total_hats>0, green_hats>=1}, or is it {total_hats>=0, green_hats>=0}?
Bronze pipes have been discovered in Roman-era settlements and even earlier sites. That's a long time before tobacco was available in Europe.
Show HN: Fed up of ugly and weird diving apps, I built my own
Hello everybody,
I am new to HN but I must say I really enjoy the vibe.
I have been coding for almost 15 years now and after having fired myself 2 times in a year (both from corporate and startup worlds), I decided to dedicate full time to what I love: building cool stuff for my own, with the dream of becoming a solopreneur.

Among my many passions (some dangerous), I love scuba diving. All the logbook apps I tried had these problems:
- Distant from the user experience and needs.
- Complicated yet useless features that no one uses. Literally no one, not even those who created them.
- Ugly.
- I mean very ugly.

So I spent the last months building my own from scratch.

Cool fact: the most famous platforms for divers on the web actually have pretty naive algorithms for computing consumption. Therefore I worked with my brother (PhD in Aerospace Engineering and Fluid dynamics) to devise a very accurate - probably the most precise among existing apps - model for computing true mixture consumption, which actually is a fundamental parameter to keep under control when diving. I think we will write a blog about it.

I do not know if there is any dude here on HN that is both a tech nerd and scuba diver, but hey, if you do exist, I would love some feedback.
Cheers!

Matteo
It sounds like a non native English speaker to me. I've worked with many non natives and some speak like that. Of course they also have enough self awareness to know they don't speak good English - some of them with much effort gotten good in a few years.
Actually I would say by the rules of English we cannot conclude any of those multiple choice questions is the absolute case -

A) "The liar has at least one hat." cannot conclude because may have no hats, thus the lie is in the "all my hats"

B) "The liar has only one green hat." cannot conclude because may have 2+ green hats out of a 3+ set.

C) "The liar has no hats." cannot conclude that because he may have hats that are not green.

D) "The liar has at least one green hat." cannot conclude that because he may have no hats, or no green hats.

E) "The liar has no green hats." cannot conclude that because of the "all my" modifier means that he can have some green hats.

This is however different than what is true or not. Concluding from a set of multiple choice questions is not choosing ones that are potentially true, concluding is choosing something that is definitely true. There is not a single statement in that list of questions that is definitely true given the requirements, but all of the questions are potentially true.

on edit: all questions are potentially true, but not all potentially true at the same time of course - some of them lock out the others.
Glad not to be the Intel CEO (2014)
The point is it's an attempt to sucker people into a fight over ambiguity over the natural readings of what looks like informal English (which can vary from person to person) vs formal logic statements predicated on a strict framework which may sound weird but actually have right answers. And it works every damn time.

It might be a math Olympiad question, but a math Olympiad participant is supposed to know how, say, a vacuous truth works, and, moreover the mapping of formal English to logical operators (see also: the inclusive or) and that is not how everyone in the world will parse the statement of the problem.

Is the point here to educate people on a quirk of formal logic, or is a smugbait to promote a book? Oh look, there's a book. Quelle surprise.
I still don't understand what he even tried to do? So he manually collected news articles for a few years without any plan on what to do with them so what? Where is the project? Honestly he could probably just have asked the tagesschau people and they would have given him their archive.
The learning from this seems to be: collecting data and never doing anything with it is not a worthy project
A material that's almost air keeps EV fires from spreading
He is well known, including in government circles, and was previously proposed for the prime minister role:https://en.wikipedia.org/wiki/C%C4%83lin_Georgescu
Rather weird to claim that his over 2 million voters across the country and diaspora were because of TikTok.
I don't know why this is a surprise to anyone wrt Hetzner. Users have repeatedly warned that Hetzner terminates accounts of clients that they do not like. Hetzner does this without warning, even having the audacity to send you a bill thereafter.

As an example, you run any crypto related operation, even if it's a mere 5% of your workload, you will have this happen to you. You don't even have to be hosting anything at all.
itch.io removed the fanpage (that didn't break any rules) that caused the takedown.
hahaah to access create an account.

https://web.archive.org/web/20241127120558/https://www.washi...
Library for storing graphs in files and making queries to them.(Node.js)
There's practically a limit. JavaScript is a fairly limited as are DOM and CSS. This isn't like 3D graphics.
Also please solve it without using ChatGPT o1 or any other LLMs please?
I may have this wrong, but I don't think there are many new airports being built in Europe or the US.

Upgrades, certainly, but even a new airport like in Berlin replaced an old airport which was shut down, right?

I'm pretty sure in the US there were a lot more airports back in the 1950s when war surplus prop planes were cheap, jet service wasn't available, lots of vets had flight experience, and back before the interstate system was built. Some became general aviation fields, with no commercial flights these days. Basically, the network effect wasn't enough to keep up with the cost savings of using bigger planes and bigger hubs, given that people could more easily drive to the airport (on roads 'with all the associated infrastructure costs and eminent domain issues').

Don't know about Europe though.
Not even on my company's crappy proxy (not supporting QUIC and having problems with HTTP/2 sometimes).
Works, loads rather quickly.
> What's wrong with Unix?

When you read 847548, is that a number or is that Saturday, 10 January 1970?

Having a type removes that ambiguity. It would be more JSONish for it to be human readable, maybe @1970-01-10T19:25:48.
But still… what’s the problem with files in the temp directory? You expect there to be files in the temp directory.
It is too late to do that. C was built in the 1970's when buffer overflows where only exploited by friends to get a laugh and so they were not security issuses.
Replaced my kid's phone batteries in a generic shop a couple months ago. Yes, it is not as convenient as just replacing a battery in my old nokia phones but on the other side, I wouldn't like to have an ugly battery cover just because of the convenience of replacing the battery myself every 3 or 4 years.

It is not like we live in the early 2000s where the heavy road warriors had to have a spare battery on their backpacks because the phones would be dead after a coast-to-coast flight.
What causes 'bad days' for developers?
By your defined standards, humans aren't much different. This is why your standards don't matter.
I'm not speculating about anything. They made a claim and provided nothing to evidence it.

Similarly, the other side have made a claim which - apparently - was accepted by the registrar.

Why does Occam's razor not say that the claimant isn't lying?

FWIW, I think Itch are probably right. But there is a lot of IP infringement on there. Is it unreasonable to think that one of those page might have a phishing form on it?
Sure, that's true.

Growing up without access to a proper computer still seems weird to me. How do we expect kids to build computing literacy?
Well... they're better, slightly or more noticeably, at everything: better color accuracy, dims lower, brightness is more linear, transitions are smoother... on paper they're similar, but when you actually use them, the differences become apparent quite quickly. (Disclaimer - have some GU10 Hues and some E27 Tradfris, both RGB).
Hm yeah, I guess you're right, if it's non-destructive it doesn't matter much if it's wrong.
Unfortunately I can no longer edit my original comment. It is about the so-called "Toeslagenaffaire" (childcare benefits scandal)[1] in the Netherlands.

Also, here is a blog post[2] warning about the improper use of algorithmic enforcement tools like the one that was used in this scandal.

[1] https://en.wikipedia.org/wiki/Dutch_childcare_benefits_scand...

[2] https://eulawenforcement.com/?p=7941