skysight-inc/HackerNews huggingface dataset:
That’s where your human skill for critical thinking must come into play. Debt is a tangible issue sort of negative thoughts- they are promoting you to resolve something with real consequences. Negative thoughts about a friend slighting you is useless after the first time. If the action repeats make some decisions but don’t dwell in that spiral
It doesn’t have to be prescriptive it’s subjective and we really need to understand nuance.
Hi, a link? :)
I'm not American, why is it a thorny topic?
Who knew that the executive and legislative branches of government were lifetime appointments?

If only the US had "elections" where some of these officials could be voted out of office...
Whats weird is, what you accuse me of is how I read most comments on HN: The argument against Mastodon is literally "I don't understand federation, so it's bad, and my feelings somehow control if Mastodon has failed or not; I don't want multiple identities because I don't understand the use-case, so I don't want anyone else to have them either, and I want the feature removed". You seem to be one of the few people on HN who may understand the benefits.

Trying to conflate that with "xorg.conf sucks" misses the fact that Twitter is basically the X here (literally and figuratively), while Mastodon is the Wayland. A lot of X-lovers spend their time shitting on Wayland in HN comments because they don't understand the problem Wayland is solving, and don't understand it successfully solved it and is becoming the default, and it just makes them angry.

Also, I don't see the point of Bluesky. If their specifications prove to be useful, then federated services will start using those protocols. Anything they can do, Mastodon can do, too.
You can do it! I hope more people begin these kind of projects!
I always saw it written as either "HAM" or "ham", and I assumed the latter is the "young generation doesn't give a damn about spelling or punctuation" spelling, and therefore that the former is the correct one.
I miss good and responsive support. I mostly deal with Google GCP and it's soul draining. They always take close to 24 hours to reply to any of your comment, even if you immediately reply you won't hear from them until next day. They cherry pick one line to answer and their replies often contradict rest of the facts presented in the issue report. They shield product engineers from you, acting as intermediary, so now there are two 24 hour hops each way. When product engineer also give nonsense answer, support doesn't enter into discussion with them on your behalf to get something reasonable, no they just pass it along.

For the price they charge for support I'd expect more quality.
Sure, the nuclear plants have been built in France following the petrol crisis of the 70s just for this reason, they fulfill the exact same role today. That's why Italy and Germany were much more affected by the energy crisis.
"Art is what you can get away with" - Andy Warhol
I was a devout Android user in the early days, I've launched Android based consumer products and I still use an iPhone.

I always joke that when Android can handle a screen rotation without blanking the screen, I'll switch back: It's not about the actual blanking of course, it'll just mean they finally ripped out a design tradeoff they made for a device with 256MB of RAM and just... never fixed.

Android is full of decisions like that, like the horrible storage framework churn that randomly made a generation of devices dog slow as various terrible FUSE implementations.

Decisions that are technical, but just end up affecting user experience every day you use the device.
You ever thought about working in games? Engine code, physics, enemy AI, shaders, that sort of thing?

Also, not sure why your post was flagged and dead. I vouched for it and hopefully it'll get resurrected?
If you used Chromium to "write a browser" then in no way did you write a browser. You wrapped Chromium.
https://en.m.wikipedia.org/wiki/One-child_policy
They are New Wave the same way Jethro Tull is Heavy Metal.
There may be a camera on every corner, but I bet half of these cameras are fake, and most of the rest are privately owned, therefore a huge hassle to get footage from.
I've sometimes found that including quotes around the symbol gives me more relevant results since Google should interpret that as "find results that contain this exact string". However I just tried it with your % example and the results were unchanged, I have found this to work myself in other instances so perhaps it's a mixed bag
Addition, multiplication, and division can be emulated with subtraction. so how are they fundamental?

Take tetration, for example, it fulfills all criteria of being "fundamental" as multiplication. but isn't listed as such
android and chrome both are also late but they won. In Cloud also they are late but they look like to be making big progress.
‘We Can't Defend Ourselves’: Amazon Isn’t Doing Enough About Dog Bite Problem
From the article “The report was for a legitimate bug, where the ‑‑retry‑delay option value was being multiplied by 1000 (to milliseconds) without an overflow check. But what it was not was a security bug, Stenberg said; giving insanely large values for the option might result in incorrect delays—far shorter than requested—but it is not a security problem to make multiple requests in a short time span. If it were, "then a browser makes a DOS [denial of service] every time you visit a website — and curl does it when you give it two URLs on the same command line", he said in a followup post.”

I agree there’s plenty of junk in the cve database but devils advocate: ‘a system relies on a user supplied sleep to trigger a web request which executes some function which if execute too quickly may cause double transaction execution or similar.

Almost any functional bug (and arguably some UI bugs) _can_ have security or real world impacts under some scenario. CVE cannot generically say that any bug does not have security implications, noting that not all security bugs require a threat actor.

A data breach is bad, regardless of if it’s a hack or if it’s somebody accidentally leaving a pile of printed PII on a bus, even if most piles of paper left on busses are just trash.
That same management is the type to set rules where you don't get to assess if you're vulnerable, you just have to fix all the CVEs
If we're talking about "everything that a human or non-human experiences, including what they feel, see and hear," then I'm not sure it's meaningful to distinguish whether it's "real" or "an illusion". You might put forward the theory we're all brains in jars (or the more modern formulation, 'the universe is a simulation'), but the experiences would still be occuring and consciousness would still be a phenomena. See also, Descartes' Meditations on First Philosophy.
I'd really love devices & software that try to emphasize possibility & malleability. The modern consumer systems are rigid & huge on guard rails, making sure the user has a straightforward experience.

That's a hard task, worth of respect too. But it feels like this hardline conservative outlook for software has utterly dominated what's gotten built for a long time now, with less and less computing that is interested willing or able to give power users solid ground & footing. Tech keeps increasing the distance, keeps becoming more esoteric, ironically because it keeps losing on-roads to becoming an expert or explorer if you're interested in going further.
What overview? That page repeats a bunch of claims on the basis of nothing, with a big banner at the top of the page warning you that none of the content is supported by any evidence.

The only citation on that page is a dead link to a Canadian university's "about our French program" page, which, while it does claim that 45% of all English words "come from French words" (again, on the basis of nothing), nevertheless manages to contradict the Wikipedia page that cites it by estimating the number at 50,000 rather than Wikipedia's reported 80,000.
Previously when I installed Windows, I had the option to create a local account. I had to click on a few misdirections but I was able to do it.

Recently though, I had to reinstall Windows to do something, and I could not find a way to create a local account at all. AFAIK they removed the option now, or made it much harder to find.
imagine if we could harness the power of the sun and basically direct extra heat towards target moons and planets via a mirror system or something and basically make any body in our solar system human habitable warm.

I'd imagine this could also be weaponized against dangerous asteroids, as the heat laser or whatever could cause a change in direction.
Help me out here as I'm from Europe. A guy gets biten by a dog while at work, and is forced to work for two more hours, until he has enough and goes to a hospital on his own volition. Wait what? If I were bitten by a dog, while at work, I'd turn around on the spot, and leave that instant. Maybe, I'd return in a week time. Why do you put up with this?
well, for lean I know there's a discord (with a fair amount of experts) and a fair share of resources nowadays. However, I did try 3 years ago and the jump between solving a simple algebra proof and contributing to Mathlib (or even understand something in it), is quite high.

Coq is well designed/easy to understand but it is missing a core mathlib like Lean. Moreover, most proofs are designed to "compile" quickly and not to be human readable.
The Mapatazi?

An increasingly rare thing these days.
The same pseudonym "Pubilus" was used by James Madison & crew to write the federalist papers.
When I got fed up with it, I stopped using a browser.^1 Never looked back.

1. Of the advertising-supported, graphical variety.

We'll likely always have to use advertising-supported browsers for some things.^2 But certainly not all, or even most, things.

2. It would be really cool if this sad state of affairs changed before I'm dead, but I have no expectations. I would love to be able to use something "like" an API for internet banking and online shopping, instead of an advertising-sponsored browser.
In their ad they require US Citizens. Isn't that illegal?

https://www.justice.gov/crt/page/file/1132631/download#:~:te....
AI-generated books force Amazon to cap e-book publications to 3 per day
AWS Customers Cannot Escape IPv4
What is illusory exactly? Is it the brain misrepresenting its own workings? But those misrepresentations are encoded in the brain in the same way as everything else and they do have causal influence on the brain processes. So, those "illusions" are as real as representations of the outside world.
YouTube is going all in on AI with background and video topic suggestions
What do I know.

A theory - they don’t want a third party code in a hot path (they do care about performance in vscode), they already have a very performant parser and they don’t want to add a complexity there.

But that’s just a theory.
Yeah, it's funny, right? I think it's interesting to look at the progression of such messaging through different stages of development.

In the West where we are already "moderately prosperous society in all respects", the control marches under the guise of "safety". Perfectly noble goal if that's what it is, but of course, can be used as a pretext to suppress.

In China, where they are aiming for and yet to reach that economic goal, what is the messaging under? I'm not an expert but I'm guessing it's something like, "ensure stability and harmony"...but maybe it's also safety? Anyone know?
Apple reduces raises given to retail employees after weak iPhone quarter
ljharb is an extremely interesting person. There’s no doubting the positive impact he’s had on the OSS community and the work he’s done.

However, there are some things he does that are incomprehensible.

For example, Enzyme. Over three years ago this issue was opened for Enzyme on React 17: https://github.com/enzymejs/enzyme/issues/2429

Nothing moved for a while, and I think he said something along the lines of “if you want React 17 support, stop complaining and help”. So the community got involved. There are multiple PRs adding React 17 support. Many unofficial React 17 adapters. A lot of people have put a lot of work into this, ensuring compatibility, coverage etc. Yet to this day, none of them have been merged. Eg https://github.com/enzymejs/enzyme/pull/2564

Given the amount of time that has passed, and the work the community has put in, something is amiss. It feels like he’s now intentionally avoiding React 17+ support. But why? I don’t understand why someone would ask for help then ignore the help when it comes in. That isn’t much better than the swathe of rude/entitled comments he was getting on the issue before he locked it.

I ended up migrating to RTL, but this made many of my tests more complicated (especially compared to shallow rendering).
Yes, they have, but it's billed separately and more expensive than a subscription, depending on how much you use it: https://help.kagi.com/kagi/api/search.html

Edit: also, looks like you have to be in the 'Team' plan for access. But who knows, if there is demand I'm sure they'd open this up, so maybe just ping them.
It's been done before. "Textbooks are all you need".

https://arxiv.org/abs/2306.11644
> Please come join us and help make it better! :-)

Huh. Interesting idea. What language are the frontend and backend in?
I wonder why Shopify is sponsoring them...
Belgium hopes to combat bike theft with national register
I expose sshd on :443 for use in airports and hotels and other places with awful firewalls.

Worked great until the hotel where such connections also had a maximum duration!
Testing APIs with Kreya
That's a very common example, but python official docs are bad, so it's not a sign of anything bad if they're not at the top

And on free duckduckgo I get "instant answer" example from SO http://stackoverflow.com/questions/1720421
Though the official docs are also not on the first few pages

(Btw, you could also use an extension to 1-click filter garbage out from search if it has a high impact on life)
While you have a point, imagine the string appearing in a combo box or other list of relationship kinds. It would be very confusing to have multiple options that are all just "cousin".

To solve both that use case and the ones you have in mind, the API could perhaps be extended with a language-aware "normalization" procedure that maps relationship labels in a way that loses information but produces a more canonical label for that language. And you'd use that API only in those cases where it makes sense.

But then that would lead to a contact being displayed slightly differently in different settings, which may in itself be confusing to users.

At some point you just have to give up and call it good enough.
This might be implementation dependent. MJPEG per se is not bad as you make it out to be.

Example reviews: https://www.youtube.com/watch?v=daS5RHVAl2U and many more. They all boil down to the same thing: excellent device, even with MJPEG. Obviously it's more dependent on what you use as camera, than the encoding method.
I never claimed all memory safe languages are type safe. But memory safety is a subset of type safety. Whether dynamic or static (though I’m much in the latter camp), memory safety is achieved through information associated with the types. Whether that’s exposed to the surface or not: Rust exposes it and is static, Haskell normally does not expose it and is also static, most modern dynamic languages are memory safe but don’t expose the associated information.
TIL Stack Overflow is not just the name of a website.
I hear you. I picked up Isabelle relatively easily, but I had the good fortune to be at one of the places where Isabelle is developed, and actually became later part of that group for my PhD.

Still, even for me, dealing with various issues in Isabelle is frustrating (I will not even touch stuff like Coq or Lean, these are just insults on my mathematical senses). I know how this all can be made more accessible and natural and practical, and I am working on it. I, too, want to be using such a tool for real stuff. In particular, integrating LLMs with theorem provers is very promising, and I think the new logic I am developing is especially suited for it. You could argue, but well, a natural language interface is just the surface, and the complexity remains just under this surface. I would not argue against that in principle, but my new logic hopefully also takes care of a lot of unnecessary complexity and complications under the hood.
That was my first thought as well.

It's probably Brandon Sanderson who should complain because there will be less of a market for completing unfinished series.
> ethically opposed to adblocking

How can you be ethically opposed to something that ruins your experience? It’s obviously their choice, I just can’t imaging browsing without adblock, I’m ethically opposed to the pages filled with crap I guess.
Ask HN: Measuring Distance with Smartphones?
Hi HN. I built a monitoring system that allows users to make observations in the field (mostly forests) using a mobile app, and then upload those observations to a db.

A recent need that has popped up is to know how far a user is from a marker in the field, and alert the user if they have walked too far away from that marker. For example, there could be 10 points of interest a user might want to observe. Those are marked in a map with a radius of 10m each. In each marker radius a user makes 10 observations. Accuracy needs to be at sub meter level.

I’m looking for a way that the smartphone can keep track of its distance from a given marker. We’ve tried GNSS receivers like the Trimble before, but they are either very expensive or not very practical (they disconnect frequently, battery issues, multiple devices to carry in the field, etc). Our users prefer using a simple old rope over these GNSS receivers, and I don’t blame them. I’ve tried a few times and they don’t always work well in the field.

Do any of you have any ideas on how else I could go about this? Any new technology or research that you’ve come across that can help with this?

Thanks in advance!
This is a bit out of left field, but if you're a web developer you can use Browsersync to control a web page across multiple browsers (even on different devices). So really you "just" need a good PDF viewer on that web page.
There’s a big difference in latency on a 10k$ machine and my “non-budget but on a budget” 3k$ machine. You can’t realistically expect people to pay pro-gaming prices.
I don't know why greed is suddenly to blame. I would think Greed as a human sin would remain constant, unless there is a reason for otherwise. Didn't gas prices go down in March and April 2020? why didn't oil companies act greedy and maintain normal prices as supply remained constant and demand plummeted?
Alright, when you put it like that, it does make sense. Thanks, that's a great resource! I'm gonna start using

${MY_ESSENTIAL:?"Error: need to supply an essential"}
"By customizing nearly every inch of Google’s data centers and the hardware within them, including power supplies and cooling kits"

This is the second time i hear about a company building its own power supply, the first being apple for the apple 1.

As i know "nothing" about electricicty, i wonder : isn't power supply a solved issue at this point ? What could have they done differently that justify having its own production line for a power supply ?
> may cause double transaction execution or similar.

From curl(1):

--retry‐delay <seconds>
Make curl sleep this amount of time before each retry when a transfer has failed with a transient error

How would a retry at the wrong time cause a double transaction? I doubt this would be a bug on the curl side.
Considering the hours and likelihood of being dropped after the crisis, that's a hard no from me!

I checked out contracting sysadmin work years ago and it was all truly disappointing migrations
In the Tagalog (Filipino) language, we have the following words which are of Hokkien import:

* parent-in-law - biyenan
* son- or daughter-in-law - manugang

* brother-in-law - bayaw
* sister-in-law - hipag

* the spouse of your brother- or sister-in-law - bilas

We also have the following words for siblings which are influenced by Hokkien:

(male first, then female)
* elder sibling - kuya / ate (or aya / achi)
* second eldest - diko / ditse
* third eldest - sanso or sangko / sanse
* youngest sibling (male or female) - bunso (or siobe)

I've also heard my grandaunts call my grandfather "siaho" (the eldest sister's husband) but I don't know what's the equivalent word for the eldest brother's wife.
Probably the headline most deserving of the gun/earth meme.
Maybe for you that is better, but I want word negation to work, and "verbose" to actually require words I specify to be on the page. Word stemming would be good as an option.

Sure, I'd like Booleans to work again, and intitle:.

That said, Google could probably make an inferred search interpretation work well if they wanted to return results that were good for the user rather than return results that optimise their ad revenue.
> advocating for basically secession and creation of a new country

Let's be really precise. What you just said is absolutely something that everyone in a free democracy should be free to do as much as they want to their heart's content.

Not sure whether 'free democracy' allows for anything and everything.

Treason against the United States, shall consist only in levying War against them, or in adhering to their Enemies, giving them Aid and Comfort. https://en.wikipedia.org/wiki/Treason#:~:text=Treason%20agai....

BBC - Who was 'Nijjar ..in India, he was wanted under India's Terrorist Act for several cases, including a 2007 cinema bombing in Punjab that killed six people and injured 40, and the 2009 assassination of Sikh Indian politician Rulda Singh.. In 2020, a statement by the Indian government accused him of being actively involved in "operationalising, networking, training and financing" KTF members. He had also been accused of running terrorist training camps in British Columbia for supporters ready to carry out attacks in India.
https://www.bbc.com/news/world-us-canada-66860510#
Ever heard of google cloud?
I know Trey. He's one of the most honest and forthright people I've ever met.

To a fault, probably.

And as the former comp.mail.sendmail FAQ maintainer, I can confirm all sorts of weirdness can and will happen if you mix versions of the binary versus the config file.
I tried kagi a little bit and the search results is very good compared to other engines
Probably alupex "meerlagenbuis"? Comparing it to copper it seems to be much more affordable per meter. I worked mostly with copper in the past, but did some work with alupex on my brother's house a couple of years ago. It's much more convenient and affordable than copper!
They use them daily in labs, why not at home. My home is closer to a lab than a pub. No drunk people or children allowed.
Every "democracy" is not the same. I bet you would say something different if your country was fighting a civil war with secessionist insurgents in parts of your country. Even more so if the secession in question had been settled 30 years ago. Most people don't realise that the world does not revolve around them and their situation, for some reason.
I did not claim that everything about the code was proven correct, but a subset of properties expressable by the type system.

I agree that using the word “strong” was wrong. I basically meant it in the sense of “good”/“elaborate”, mistakenly ignoring that “strong” already has a very specific meaning in type systems. Thanks for correcting.
Debating what the "core issue" is may be an interesting philosophical debate, but at the end of the day, using a memory-safe language would have prevented this issue from being exploitable.
"The MGM Grand is looking to hire a Red Hat Linux System Admin willing to work 10 hours per day 7 days a week to completely rebuild its IT environment from the ground up and get the slot machines working again."
then you took the wrong courses.