skysight-inc/HackerNews huggingface dataset:
The EU's Threats to Elon Musk Are Empty, Sources Say
If she's eaten rice at restaurant or something with rice in it - she's eaten reheated rice that wasn't put away super hot.
I think the only reason why wedding photographers won’t stop using their dedicated devices is the appearance of professionalism they give.

But yeah, there is only so much advanced computational photography can improve - you can probably do a fairly good job for a slow scene like a wedding, but fast movements are hard to capture with small sensors.
It's sad to see how we maintain the double standards for the ongoing war's leading to no solutions, ashamed of the US politician's and their allies in EU.
Bennu asteroid: Unprecedented sample contains 'crucial elements,' NASA says
For this to work you would also need weeks to have 10 days, months have 100 days and years have 1000 days.
It’s amazing how contrived and detached from reality the counterexamples for utilitarianism have to be able to attack even the most basic forms of it. It really makes you think that utilitarianism is a solid principle.
Not related to Git + git-email.
I just want to say that I love the way this website is structured.
Also, it renders fast.
Millions of Homes Still Being Kept Vacant as Housing Costs Surge, Report Finds
> Why does government violence deter political challengers in one context but inflame them in the next? This paper argues that repression increases opposition activity at low and moderate levels but decreases it in the extreme. There is a threshold level of violence, where the opposition becomes unable to recruit new members, and the rebellion unravels—even if the government kills more innocents. We find empirical support for this proposition in disaggregated data from Chechnya and a meta-analysis of sub-national conflict dynamics in 71 countries. The data suggest that a threshold exists, but the level of violence needed to reach it varies. Many governments, thankfully, are unable or unwilling to go that far. We explore conditions under which this threshold may be higher or lower and highlight a fundamental trade-off between reducing government violence and preserving civil liberties.

See El Salvador for another example of this.
> SGML was way too powerful

The widespread use of markdown and other lightweight markup rather than rigid XML-style fully tagged markup for authoring tells otherwise though. And so does the continued use of HTML chock full of SGMLisms such as tag inference and attribute shortforms that weren't included in the XML subset/profile when XML (XHTML) was created to replace HTML.

So while XML isn't used as an authoring format on the web (nor as delivery format), it's still useful as canonical archival format I guess.
I would guess that they won't bother doing that unless they and MS can't come to a satisfactory agreement.
I got better. ;-)
I love this. This is how it was done back in the days of usenet. People would email patches to the linux kernel. Hackers, working alone, late at night, strange times, strange places. Cultivating their work and skills and then ... shoot ... sending an email! Their contribution. So cool!

Maybe we should go back to this. Get rid of the whole github thing. Every group their own little mailing list. Laboring in private!
Tinnitus is a symptom, not a disease. No single cause, no single cure.
Non violent backlash is actually an amazing outcome considering how awful the human reaction can get.
Forgot to mention, one of my coping strategies was pretending "well I just got home from a concert" cause you kind of have that temporary ear ringing going to bed after a night out at a concert and "pretending" this was no different. It was comforting somehow.
In case no one familiar with the internals shows up, here are some pointers if you want to dig: the configuration man page[0] has a prefork option, and nothing thread-related:

prefork number
When using relays, run the specified number of processes to handle relayed
connections. This increases the performance and prevents delays when connecting
to a relay. relayd(8) runs 3 relay processes by default and every process
will handle all configured relays.

The source[1] seems to be quite clear; relayd(8)[2] describes the main notions ("entities": relay, protocol, etc.) involved in the configuration/source.

[0]: https://man.openbsd.org/relayd.conf.5

[1]: http://cvsweb.openbsd.org/cgi-bin/cvsweb/src/usr.sbin/relayd...

[2]: https://man.openbsd.org/relayd.8
It's a small and densely populated country. Twice the population of Canada over a fourtieth of the area. Scotland has a places a bit more like 'majestic wilderness', so that goes even more so for England.

If you want a pub walk though, no better place in the world!
I've been having tinnitus for at least 5 years now, closer to 10. I'm late 20s so my assumption at first was always that it was because of partying, but I realised that I almost never partied without earplugs because I got it already before I was old enough to go to clubs. So I don't think it is related to loud noise, however, I match most of the things that you say.

1. I always set my volume to the lowest setting possible. I do not trust what Apple says about the 'safe' volume because it still is quite hard. And I am using it with Airpods so I think it should be right, but I still put it lower.

2. At home I always use speakers and almost never headphones, for that exact reason.

3. I always carry earplugs for loud music. (funny story: I went to a bar a few weeks back in Korea and everyone in the group (koreans) asked me at some point if I had some medical condition with my ears since I was wearing earplugs. It just is not used at all there).

4. I try to do meetings with my speakers instead of my airpods, does not always work of course.

5. I often go to sleep with some noise, be it TV, Youtube or Spotify.
Show HN: Generate Mock Interview Questions from SWE Job Descriptions
Only if you take an average of rational numbers. Like e/2 is still irrational.
“No true democrat”
My dad’s shuttered small business was audited last century. In his case they sent a letter saying you are under an investigation for year x, they clock resets to x years after that and they can bring action anytime. At least that’s the was it was explained to very young me at the time.
At what point does information such as this become "insider information" and illegal to share? These "eyes and ears" need to have their taxes audited...
5.7% is a very, very low vacancy rate indicating severe shortage. As it should be given prices.
Does it matter how many users there are if the people who made it are happy with their work?
On the other hand people smart enough to be engineers are smart enough to be in management so if that is your interest the world has a lot of people who for whatever reason can't won't do management. While managing other engineers is a way in, once you are in management you can do run a factory or a construction site and those often are places where workers cannot break into management.
Book Review: The Cuckoo's Egg
The citizens of Ukraine and Israel will be very grateful.
Is there a moral argument for using any social media site?
For read yes, but for writes it will not block until the pipe buffer is filled.
Twitter is Weird Internet. It’s insane that it is still taken seriously, though the mask is slipping. I think there’s a slow realization that the conversation is mostly crazy people with disordered lives yelling at each other.

Remember all the thought leader tropes circa 2014 when everyone kept fawning over social media? There is no wisdom of crowds after all.

I’ll also undermine my own point and express reticence here. I’d like to be more involved in the indie bootstrapping scene, but a lot happens on Twitter, which I hate.
The younger generation seems to have no problem with doxxing and canceling other people, but flip out when they get the same in return.
It's not super hard to create a clock, you just have to find a 24-hours clock then you create custom labels/board for it.

Or if your system works with 2 rotations per day use a regular clock.
Isn’t Rails relevant in this case?
This is truly amazing. I've always adored demoscene, but not done anything other than consume, so I would appreciate more of those demos here if you can share some highlights of recent times.
It's very rare to see a comment like yours... Thank you.
On iPhone we use "MP3 Audiobook Player Pro"[1]. Despite saying "MP3" in its title it supports many formats including OPUS. They broke OPUS speed-up and hadn't fixed it for some time but have fixed it recently so it's great again.

On Android "Smart AudioBook Player"[2] does a perfect job.

[1] https://apps.apple.com/us/app/mp3-audiobook-player-pro/id889...

[2] https://play.google.com/store/apps/details?id=ak.alizandro.s...
I'm not disagreeing but the reason XML was used as data format is that it has native support in browsers (remember XML was created as a simplified SGML subset for eventually replacing HTML), the idea being that you can display service payloads via simple stylesheet applications or element replacement/decoration rather than having to rely on JavaScript or other Turing-complete environment for arbitrary scripting which was seen as having no place as a central technique in classic document-oriented browsing.

JSON became only popular because of similar opportunistic effects (ie being already part of the stack via eval()). If you look at how typical non-JS backends such as Java or .net deal with service request/response data, there's absolutely no advantage for either JSON or XML - both are represented as class/structure and (de-)serialized via binding frameworks and annotations.
I would recommend trying Lean4 because I think it is better suited to programming. Lean has Rust-like toolchain manager; a build system (cf. `.agda-lib`); much more developed tactics (including `termination_by`/`decreasing_by`); more libraries (mathlib, and some experimental programming-oriented libraries for sockets, web, games, unicode...); common use of typeclasses in stdlib/mathlib; `unsafe` per declaration (cf. per module in Agda); sound opaque functions (which must have a nonempty return type) used for `partial` and ffi; "unchained" do-notation (early `return`, imperative loops with `break`/`continue`, `let mut`); easier (more powerful?) metaprogramming and syntax extensions. And in Agda you can't even use Haskell's type constructors with type classes (ex. monad polymorphic fns, and that makes it more difficult to make bindings to Hs libs, than to C libs in Lean).

There are features in Agda/Idris (and probably Coq, about which I sadly know almost nothing) that are absent from Lean and are useful when programming (coinduction, set omega, more powerful `mutual`, explicit multiplicity, cubical? etc), but I'd say the need for them is less common.
Average weekday ridership of around 172,000 hardly seems like scant few, but I'll say that the new trains are nice.
I use the OneDrive aka SharePoint integration for slack and I've never seen this issue.
Every article by this writer is negative about how whatever they are writing about is bad. And I’m not sure there’s any solutions offered except for platitudes about things “ought to be”.

Twitter is fine. Use the “Following Tab” if you want to avoid the algo. I think some people are starting to find their ideas aren’t dominate and selected for like they were under previous management. Hence why we’ve seen backtracking in other spaces so quickly this week. The righteous mob doesn’t have their global safe space anymore.
The entire point was that those constructs that do not just pass the bare method or something like a Proc that allows you to call the method, are needed exactly because the syntax will not allow for just mentioning a bare method name without calling it.

If you're fine with the extra syntax, yes, there are many alternatives, but they don't address the point.
I haven't looked at JSON Schema in detail so please correct me if I am wrong, but I had the impression that the JSON Schema specification is still largely unfinished and evolving. That means you need to know which version the tool you use supports. And when I was looking for JSON Schema validators for Java all I found were projects on GitHub, which often were abandoned and referred the user to another GitHub project which was also abandoned. There does not seem to be support from an established project or vendor.

Compare that to XML where we have a plethora of established tools (Woodstoxx, JAXB, etc.).

What I have trouble to understand, which everybody else just seems to accept as obvious, is why one would take on these problems? Is JSON Schema more powerful than XML Schema? Does the use of JSON have advantages over using XML? When we are talking about a client program calling a server API with JSON/XML, why do we care about the format of data exchanged? What advantages does JSON have in this case in contrast to XML (or for that matter a binary format like Protocol Buffers)? Isn't this the most boring part of the application, which you would want to just get out of the way and work? What are the advantages of JSON over XML that would lead me to deal with the problems of evolving specifications and unreliable tooling?

(And just to repeat, since everybody seems to have a different opinion about this than me, I must be missing something and really would like to learn what!)
Respectfully, I'm going to ask, "what what?". I can't swing a cat without hitting dplyr. It's probably industry dependent though - I could see a dataset that's 99% text having absolutely no reason to even look at R at all.
Twitter has no effect on the real world. The only people who care about anything on Twitter are other Twitter users.

I've never understood why people convince themselves otherwise. Ask 100 people on the street if they have heard anything about [current twitter drama of the week], it will be 0 or close to it.
You missed the introduction of .Net core which is the Python3 moment for .Net

This is going to be annoying to learn about.

If anyone has a good summary, please send, cause I don’t know of any, and it’s complicated.
Why Xbox Lost [video]
I mean god forbid we should tell people they're morally obliged to stay on the platform formerly known as Twitter, but what this post truly seems to be looking for is a moral argument to leave.

And well, that part is a bit weak. The main point seems to be that the bad people are staying. And while that is a good argument to leave, I'm not sure it is a moral one. The more moral arguments all boil down to idea that the platform is not conductive to healthy communication, which is a good point, but it's not as if that's a new thing.

The best argument I can come up with is that leaving is the ethical thing to do because it's better for your own mental health. Depending on what theory of ethics you subscribe though this is the ethical thing to do either because it hastens twitters decline (the utilitarian argument), or because one should act by those maxims they want to be universal (the categorical argument).
Mailpass will make you rethink how you receive email-based communication
mAh Is an Industry Mistake
Sure, but i'm contending those algorithms we cannot prove are mostly not used in programming in the real world.
Weird way to list and sort OSs there.

Microsoft Windows but last, due to the W I guess but macOS has no Apple in it.
This is already the case, timezones have weird shapes and some of them are huge.

In Europe and China you have timezones spanning over 3 "sun" timezones. In practice that means the sun rising and setting at different times. People are used to have the sun setting late or rising early depending where they live.
Can you name some of these reasons? Or give me link? Honest question!
Specifically what EU policies that the more renewable-and-nuclear friendly countries voted for do you have in mind?
Information always leaks out, especially with the way every government document is immediately analyzed and parsed by the big players.

The public record is quite public.
That looks really good thanks.
Could also be a pasty! A British meal of basically <whatever you want> (typically meal and vegetables) wrapped in pastry, supposedly created so farm workers didn’t lose half their sandwiches when eating it.
A Nobel for the story of women in the workforce
Your ancestors were religious nuts who wanted more constraints on society, not less.

It's not until you get to Enlightenment-influenced thinkers like Jefferson and Hamilton that the whole "liberty" thing really gets a purchase. It's just a shame you didn't have a little more Hamilton and a little less Jefferson in the mix. Then you'd realise freedom is a means, not an end.
Assuming your summation to be true, then that is really interesting as it breaks USA's obligations under the Berne Convention (which they didn't join until about 100 years after most of the West) which was the reason registration was ended as a requirement (but was still useful due to, AIUI, pecuniary damages being awarded for registered works whilst only actual damages are/were? awarded for unregistered).

I think you have erred, the question before the court concerned when registration bites. My understanding is 17 USC 106 still applies, but civil actions before the court require a registration to have been initiated; I thought that was just a filter on court actions?

Happy to be corrected.

https://www.law.cornell.edu/uscode/text/17/411

https://www.law.cornell.edu/uscode/text/17/106

https://www.wipo.int/treaties/en/ip/berne/
That is very helpful thanks
Does Crystal have an interpreter yet?
I wonder if, with the proliferation of smartphones, any government will try it again with more rules to maker it harder to game, like limiting the number that will be paid out, and requiring video evidence of the kill. It's harder to
Show HN: Joystick for Virtual Desktops
Okay got it, so it's not like hiking is more in a hilly area (but I would guess more probably because it's more serious) or something. I also wondered if when you use walking you wouldn't use hiking. Thanks!
You are describing the current state of Debian, just with multiple repos instead of one.

The DDs who work on, say, kernel packaging are not necessarily the same DDs who work on Wesnoth packaging.
The issue here is "click around" :)

The true pros use Excel without a mouse at all.
The reality is that the Internet is often useless for this sort of thing. I, like many others, got back problems during the pandemic. In my case science will mostly tell you to do nothing, health care will give you physical therapy, the Internet is full of instant relief stretches, short workout programs and psychological solutions ("don't care" which plays into "do nothing" like science suggests).

I managed to rehabilitate myself mostly by walking for hundreds of hours. That isn't really some trick or secret. That is what health care would eventually tell you to do. It just isn't reflected as much as the easy and the qualified solutions. Now I got tinnitus a few weeks back and it's the same landscape on the Internet. But getting the information isn't really the problem, it is making use of it. It's easy to find a high level of engagement and it's easy to find a high level of knowledge. The challenge is finding both.

I have always been somewhat sensitive to noise, but a lot of people aren't. They have whining fridges, squeaking doors or noise pollution all over the place. They don't really care. You are dismissing symptom reduction a bit. But as far I can tell that is the solution for most. A combination of stress reduction, lifestyle reform and behavioural therapy, potentially with a hearing aid or noise masking. And then it gets manageable enough that they don't care. Maybe you can do that yourself, but possibly you can't and will conclude that it doesn't work.

Of course like I said you shouldn't trust me. I'm going to go find whatever specialist health care can give me without paying too much extra.
If the “sound” is an internal perception, then noise cancelling headphones would not help at all. They might make it worse by quieting any background sounds that could otherwise help cover up the internally produced sensations.
you left out the best/worst part!

> When the government became aware of this, the reward program was scrapped. When cobra breeders set their now-worthless snakes free, the wild cobra population further increased.
The problem with that is that you'd then have processes that could only run if a big core was powered up. The main point of having little cores is so you can power down the big ones, so you want to be able to run anything on a little core that can run on a big core.
Nitrites: An Old Poison or a Current Hazard?
But aren’t the counterexamples largely detached from reality because in reality people adopt other ethical systems/principles to avoid extreme outcomes?

I’m by no means opposing a general morality of optimising for the greater good, and I think on the whole utilitarianism, like other ideological/ethical systems, gets critiqued in comparison to an impossible standard of perfection. My sense is there are some more basic principles that underpin the success and pragmatism of any ethical/ideological system, and that these principles, to your implied point I think, would safeguard utilitarianism as well as other systems.

I think this is implied in the critique some have against utilitarianism, namely that it needs to introduce weighting in order to adjust the morality towards palatable/sensible means and outcomes. But I don’t think any system could avoid those same coping mechanisms.
Again, this isn't about gas being better than coal. It's that the claim was they're exiting fossil fuels, when they aren't.
Dad went through acute hearing loss twice. They banned salt during recovery. Your tinnitus is related to blood circulation in the ear. Reduce salt.
I can't help with tinnitus itself, but I highly recommend "Eargasm High-fidelity Ear plugs", or similar devices, to help prevent further damage.

They work really well to dampen loud sounds and, importantly, they let conversation through, though it sounds muffled. But you can feel the difference. They are much better than using foam ear plugs, which muffle everything.

I used to go to a lot of concerts without any ear protection, when I was young and dumb. I REALLY wish I had these things back then, since I've acquired mild tinnitus as a result.

Now I carry them on my keychain all the time and use them even in restaurants and bars or whenever I'm some place where I have to speak at an elevated level.
Sounds nice, I'll have a look! Cheers
It's almost like circles are the perfect shape for sliced pies afterall.
Launching my side project Albwer
It's about the entire set of formalisms given in the pdf, not just lambda calculus. The argument here about LC was because I had just given a snippet of it, but it's not the whole paper.

Now, the next bit – so I've spent my 15 minutes reading up on each of these formalisms (lambda calculus, intuitionistic logic, Hoare notation, whatever else). So now I can read the paper and I do, and now I have absolutely no way of making use of anything I've learnt. I spent personally a lot of time on the computer science side of things, and I have got frankly just about nothing out of it. So frankly again, there's no point learning it (from a utilitarian perspective).

When I was a kid I picked up a book on Fortran 4 and tried to learn it from the book, without a computer. That's pretty much the situation here – a passive notation that, had I managed to internalise it, would have been completely useless because I had no computer to run it on. And I'm tired of this discussion of people saying it's easy and it's useful, because it's not easy, and it's not useful without a whole lot more studying an application to bridge the abstraction of the formalism to the actual programming environment where I can use it.

Please just stop repeating stuff.
"if they can't convince the IRS to lower the bill significantly"

Why would IRS agree to this? Would the IRS agree to lower your taxes if you pretty-pleased them?

Microsoft should not be an exception.