skysight-inc/HackerNews huggingface dataset:
> proving something by proving that disproving it is impossible.

No, I take issue with this phrasing as well. There are things that can neither be proven or disproven (by godel's theorem), proving that disproving it is impossible would not have been sufficient.

Without having read beyond what is in the article, I imagine what they must have shown is that

1. For all systems x, if x does not obey Batchelor's law than neither would the thing they are talking about in the 4th paper.

2. The system they are talking about in the 4th paper obey's Batchelor's law.

The immediate corollary is all systems obey Batchelor's law, otherwise you would have a contradiction (the 4th system both would and would not).
I am still more concerned with the illegal and dead people vote.
Android only; Apple policies do not allow non-WebKit engines to be distributed on iOS.
It’s ok; it affects primarily libertarians, conservatives and other undesirables. Carry on...
BTW I'm not knocking Java here. Java's simpler type system is actually great for the applications I think Java is good for --- business logic and simple mobile apps, the COBOL of the 21st century.

Well, except that Java went ahead and gratuitously complicated their type system with wildcards. That was crazy.
Where do you get the idea that GDPR doesn't allow you to process PII for the purpose of routing packets?
Recently saw this crazy video of planes being lifted into the air during a microburst. At the time I wondered what caused the lift...food for thought for this discussion.

https://www.youtube.com/watch?v=b_WmjWAGkLI

A microburst is a rare weather event where a cloud basically shoots air downwards up to 100mph:

https://www.weather.gov/bmx/outreach_microbursts
C# 8 has structural matching.

https://docs.microsoft.com/en-us/dotnet/csharp/whats-new/csh...
I noticed this recurring theme. Seems like that eventually all companies go down this path at some point if they become mega rich. At that point money alone doesn't matter as much as capturing new markets do so lots of money goes down the drain. It's a good thing for the companies that get acquired and get their paycheck.

I see as rich people who buy expensive things and let them rot because they forgot they bought them or so.
Just added some screenshots to our landing page. Thanks for the feedback!
The third law could explain lift, but it does not explain why the pressure differential would exist, and thus cannot account for the extra lift due to that.

There is no "extra lift" due to the pressure differential. The pressure differential IS the net force that changes the motion of the air. You can't change the motion of the air without a pressure differential, and you can't have a pressure differential without changing the motion of the air.
Major Pagerduty Incident 31/01
In addition to stopping when releasing the button, it also shows you the path it plans to take on a satellite map on your phone. So you know where it is going.

Some people have problems with it, but it works great for me. It's pretty awesome to have the car pull up to me on a rainy day. Part of it is parking in a smart place on the way in.
Ask HN: Serverless Functions Without the AWS/Azure/GOOG Complexity?
Is there a serverless offering that’s focused on simplicity?

The mind numbing complexity of serverless from the big vendors isn’t worth the effort for building simple database driven websites.

Anyone know of anything?
A much more recent piece on the same subject came out yesterday: https://thehill.com/opinion/education/480603-what-is-uc-davi...

In the middle they link to Berkeley's report on one hiring cycle in the life sciences. In particular it turns out that the first cut, leaving only 24% of candidates, was done solely on the basis of diversity statements. You can see in the tables how some inversions in the demographics of the applicant pool occur from the initial to final rounds, e.g., white applicants made up 54% of a pool, then 48% of a longlist, then 13% of a shortlist.

I know affirmative action for university admissions and employment is illegal--is this a "technically" legal way to get around that?
> And if you get a tech job in SF, you’ve got great health insurance, so not a major obstacle.

Yup, as long as you have a job with medical coverage, you're OK. But God forbid you should lose your job and get sick, right? Because then you're screwed.
Multihash? https://multiformats.io/multihash/
Microburst (Weather Event)
For the monthly view, it should probably truncate the ending date so as to not show a partial month number. February just started so it makes every search term look like it is plunging.
???

The allocation is going to be close to the last allocation, which was touched recently, no? The first allocation after a compaction wii be far from recent allocations, but close to the compacted objects?
I think you're still missing the point. Google transmits personal data to their servers without user consent. The value of x-client-data is personal data, because it is associated with an IP address during transit, due to how HTTP requests work. The nature of the data, what is being done with it on the server, and the location of the server are all irrelevant in this instance, the only important part is that personal data has left the browser in the form of a request, and it reached a Google server.

This data collection would only be exempt from GDPR if the data would be required for the service to function, but that is not the case with x-client-data.
Requirements to become a professor of Mathematics at Cedarville University include:

• Commitment to biblical integration of faith and science in and out of the classroom

• Qualified applicant must be a born-again Christian

• Qualified applicant must agree with and be willing to abide by Cedarville University's Doctrinal Statement, Community Covenant, and General Work Place Standards.

Here's the job posting:
https://www.cedarville.edu/Job-Openings.aspx
Hp prime?
Same place as the lines for "lets you check wikipedia" in the source code of the browser you're using.

In other words: nowhere in particular, yet when you take the end product as a whole, it's there still the same. The realities of group selection will not be mocked.

So, maybe not "literally in our genes" like GP wrote in the sense of specific location, but ineradicable nonetheless.

This concept of "ineradicable yet impossible to pin down" is a pattern you'll see anywhere development happens from abstract top-down pressures. Amazon's problems with AI-assisted hiring are relevant here, as is the connection between corporate malfeasance and quarterly targets.
"where" is for match guards. Do you mean use "match" instead of "switch"? Given that the statement construct is already called "switch", it makes sense that the expression form doesn't try to use a different keyword for what is largely the same thing.
Does that not suggest that CEOs are worth their cost to the vast majority of companies that retain them? What companies operate without a de facto CEO?
It's not in the Epic Privacy Browser (a chromium-based web browser) :-). Is it in Chromium?
Kotlin's data classes are quite different from the other three (Scala's case classes, Java's records and Haskell records), and those three are inspired by ML's records, but the name "record" predates even ML.
I think that realization is something that comes with experience, and I'm guessing these people had very little real experience.
Heh, I run into a lot of recipes where they have you cook in a tiny amount of oil and dump the pan out a couple times but you're still supposed to be "sautéing" whatever's in the last batch. Yeah, OK. Double the initial oil, add it again after each dump since there's still none left after the first time. Or else we're not doing what you claim we're doing, recipe. Which may also be fine, but still.

Or high-heat nonstick cooking with like one teaspoon of oil in the pan, heating it to nigh-smoke before adding anything else. LOL. Or steel or cast-iron temp + fat combos that make no sense and are guaranteed to give you a bad time. Either lots and lots of recipes are nonsense on this front, requiring modification of one form or another to be reasonable, or these people have magical pans that I do not.
It's OK, C# is a living thing, don't feel bad!

I'm guessing you use Visual Studio and don't have ReSharper? If so, I have 2 recommendations to make:

1. Get ReSharper! When it sees code that could benefit from language features, it will suggest it

2. Get JetBrains Rider - seriously, try it - it's an alternative IDE with all the ReSharper stuff built-in. I personally find it a better experience than Visual Studio, and it makes my laptop fans whine far less!
There will always be some moral precepts held by a large number of society or subsets thereof that mean that some types of employment will not be available to those people who do not hold to those precepts.

But it sure sucks when you're one of the people not holding to the precepts.

Then again, maybe it sucks more hearing people whine about how they can't get the job they want even though they believe different than the dominant ideology of the place they want to be employed at, I mean the bank I'm currently at doesn't have a lot of anarcho-socialists (even being in Denmark) but there's not a lot of pamphleteers outside wanting in.
Unsafe lets you manipulate memory without any JNI overhead other than when allocating or de-allocating memory, and that is usually done in larger chunks and pooled to avoid the overhead at steady state. Netty also takes advantage of Unsafe to move a lot of memory operations off the java heap.

Unsafe was one of the cooler aspects to Java that Oracle is actively killing for, well, no good reason at least.
It's basically a "KISS" issue.

The data being submitted is so simple that using an SQL db adds a layer of unnecessary complexity.

So did their decisions for authentication, which appears to be where things got stuck.
Correct me if I am wrong, but that is not a public university.
But don't lasers need to scan in order to draw a full image (vs just a dot)? Doesn't that necessitate making the actual laser beam brighter than other light entering your eye? Are there any negative consequences to having a bright light scan over your retina quickly vs a dimmer light shining on your entire retina at once? What happens if the scanning mechanism fails and the laser ends up shining on one tiny point in the center of your eye for an extended period of time?

Lots of interesting safety questions unique to this particular display technology.
"Record" is what it was called in Algol and Pascal days.
If you are actively working on the files, then you could just save them to the app's local storage. There is not necessarily a need to save them back to the same place you imported them from. When you are ready to export the project then you could have the app generate a zip file, or just push it directly to git or another app and skip the filesystem altogether.

Obviously this is not a great workflow for certain things like system administration tools that are specifically designed to work with the local machine's filesystem, but that's not really a good use case for PWAs in the first place.
Amazon's advertising business does more revenue than YouTube
Uhm, I'd suppose the service runs on one or more dedicated nodes - so there should be no competition for RAM (or if a node runs multiple services, the I'd expect a fixed memory amount to be available). In such an environment, each fixed size LRU cache could just allocate a huge chunk of RAM for data + indices (index size is bound by data size). That's nothing to do with the ownership model, it's just manually managed memory.

Yes, reality is more complex since they probably have multi socket servers/NUMA, which might add memory access latencies and atomic updates to the LRU might require a locking scheme, which also isn't trivial (and where async Rust might be useful).
Why does my tea periodically alternate its rotational speed after stirring?
Paper airplanes usually have flat wings and they fly fine, no need to suspect.
I always thought HR was meant to mean resources for humans, not humans as resources.
Certainly more quantitatively scruitable than any human system.

A human can tell you a more or less convincing narrative about why they did something, but you have fewer independent and objective ways to measure that than you do basically any conceivable computing system.
In California, political affiliation is a protected class, so this policy may be vulnerable on that front as well.
Apple Patents Foldable Device with Movable Flap to Prevent Display from Creasing
Squashing changes isn't the only use of rebasing.

It's reasonably common for me to start exploring a problem space, stub out a concept, and have a long drawn-out conversation with the compiler that touches many files, before finally reaching a point that is working enough to be interesting.

At that point, I can take a step back and note that actually, not all of those changes have to be made all at once, and I can break that patch up into a bunch of simpler pieces.

In Git, I have two essentially-equivalent choices:

1. stage the commit in small chunks, adding a separate descriptive comment for each.

2. commit everything as a WIP commit so this working state is in the reflog, then break it up into smaller commits with interactive rebase.

In either process, I'm able to get a better comprehension of my own thoughts along the way.

Fossil, refusing both staging would force me to commit the proverbial 500-line blob all at once, which is less helpful to the reviewer trying to discern my thought process.

If rebasing isn't important to your workflow, Fossil probably is a better choice for you than Git. It has a lot of comforts that I really appreciated even eight years ago when I did frequently use Fossil (distributed wiki and tickets are really nice, the web interface serving raw artifacts from any point in time is great for HTML5 game jams, SQLite is a very portable repository format, etc. etc. etc.), and I'm sure it's only improved in that regard. The only reason I use Git for personal projects is because rebase is that helpful to my process.
This is actually a very good point!

I've not made up my mind about this whole expanding universe thing (whether it's permanent, local, even real) but based on our current understanding it certainly seems that you're right - the world is getting a little bit smaller all the time. Time is of the essence - we need to move fast.
Sure, just reflecting on the “There also tends to be way less of the `EnterpriseJavaBeanFactory`-style code in idiomatic Rust.”
I like Intel SSDs, often these cost a little more but have better 99% latency than competitors. If an Intel Inside sticker meant an Intel SSD rather than Atom or some other hunk of junk, that sticker would mean something.
That's the plan: https://cr.openjdk.java.net/~briangoetz/amber/datum.html
Yeah, consumer "AR" as popularly imagined (video overlay) isn't a thing. But even at AR conferences a few years ago there were favorable case studies of AR use by shipyard workers, factory maintenance staff etc.
CEOs are controlled by their context, i.e. owners and regulations (for publicly-traded companies) which drive the profit-motive, and then have agency to take various actions to achieve this goal.
You left out Alexa / Kindle :-).
reluctant about what? backend developers?
So they'll make 50,000 of them for that purpose.
Legality aside, I can imagine what a progressive HR manager would say about a hiring process that eliminated 75% of black applicants off the bat.
*shoo-in (sorry)
What are the differences from Prolog for a constraint programing language such MiniZinc?
Kotlin has coroutines, actors, lazy and reactive programming.
On the other hand, Rust's RAII management model behaves similarly to a reference counting system where the counts are limited to 0 and 1 (well, for a loose approximation of the 0 state), right?
Really the Paperclip Maximizer bugs me as an example for all of the wrong "missing the point" reasons like Buridan's Ass in that a donkey wouldn't starve to death between two equidistant hay piles.

Anyone who sets it up to maximize raw output of very simple commodities is doing things incredibly wrong economically in the first place. They would go out of business in the first place paying for storage costs alone - let alone the access of everyone else to counter the rogue self-replicating.

It would be admittedly silly as an objection for the metaphor if not for the fact people really do believe AI would be that way.
Lol it's a javascript thing that instantiates a copy of Chrome, not a Windows program. I doubt they know what a WM_QUIT is...
Petri Nets Are Monoids (1990) [pdf]
I would recommend scheduling it. Set a reminder on your phone. Personally I use Saturday mornings to get a couple of hours of reading in.

Having the reminder go off on my phone makes it feel like something I have to do.
At least for me, Rider is definitely faster than Visual Studio, both in startup time (easily human-measurable) and operation (also easily human measurable, by lack of intermittent hangups and laptop fans constantly whining).

I'd also say that Rider is more stable - I've only ever seen issues with preview versions; the production versions are solid, which can't be said for Visual Studio.

I was a Visual Studio fanboi for many years before discovering Rider, so wouldn't be easily swayed - please, try it and see for yourself!
Sure, but generics are available in Java as well and compared to Haskell and similar language I rate Rust as closer to Java.
Only the paranoid survive era Intel would be treating the receding x86 monopoly and rise of GPGPU as an existential threat. Xe would be treated as a top priority and not be allowed to fail.

The guys in charge now? Who the fuck knows. They seem good at making immense amounts of cash from yesterday's defacto monopoly, not so much at setting up tomorrow's.
Yes. This reeks of desperation. Wanting to get whatever details or credentials you can from users to spam them later.

Absolutely not. I'll live without it. Thanks.
I wonder if the work culture has gotten any better there since 2018.

https://kotaku.com/inside-the-culture-of-sexism-at-riot-game...
Cleaning isn't so bad if you handle it immediately and treat it as a meditative experience. I just think about whatever while washing dishes or throw on a relaxing podcast occasionally.
In what way does Tesla’s stock price gratify intellectual curiosity today?

Does today’s change in price materially improve or worsen Tesla’s product, ability to manufacture product, and/or cost of Tesla vehicles or feature options?

Should I post to the front page each time Microsoft stock goes up? IBM? Bitcoin? Should I restrict such posts to stock prices that are powers of 2, so that it’s intellectually curious when it would not otherwise be?

You haven’t made a case that Tesla’s share price is intellectually curious in any respect yet, and that’s my still-unanswered question to you:

Why is today’s share price increase specifically relevant to HN?
Completely disagree. I’ve had a use for most changes they’ve made over the last few years.
Wundt's name pops up constantly in William James' extremely readable Principles of Psychology (1890). Most of it's what we'd think of as physiology - how our minds and bodies work together; reflexes, the senses etc. Stuff that can be measured and tested. A couple of quotes from it:

Consciousness, then, does not appear to itself chopped up in bits. Such words as “chain” or “train” do not describe it fitly as it presents itself in the first instance. It is nothing jointed; it flows. A “river” or a “stream” are the metaphors by which it is most naturally described. In talking of it hereafter, let us call it the stream of thought, of consciousness, or of subjective life. (Vol. 1, p.239, coining of stream of consciousness)

Our natural way of thinking about these coarser emotions is that the mental perception of some fact excites the mental affection called the emotion, and that this latter state of mind gives rise to the bodily expression. My theory, on the contrary, is that the bodily changes follow directly the perception of the exciting fact, and that our feeling of the same changes as they occur IS the emotion. Common-sense says, we lose our fortune, are sorry and weep; we meet a bear, are frightened and run; we are insulted by a rival, are angry and strike. The hypothesis here to be defended says that this order of sequence is incorrect, that the one mental state is not immediately induced by the other, that the bodily manifestations must first be interposed between, and that the more rational statement is that we feel sorry because we cry, angry because we strike, afraid because we tremble, and not that we cry, strike, or tremble, because we are sorry, angry, or fearful, as the case may be. Without the bodily states following on the perception, the latter would be purely cognitive in form, pale, colorless, destitute of emotional warmth. We might then see the bear, and judge it best to run, receive the insult and deem it right to strike, but we should not actually feel afraid or angry. (Vol2 p449, this is now called the James-Lange theory of emotion)
Ah. Amazon has had multiple offices downtown for a long time, and Microsoft has 2 large ones (the City Centre one and the Yaletown one near BC Place). But yes, they are still expanding.
Quit with Positivity
Essentially Larrabee was released as Xeon Phi - the 1st cards even had video interfaces exposed.
I wonder how much of that was lack of direction and leadership. They had a number of different channels they were exploring which is fine, but they didn't seem to be really focused. I know when we tried to work with them they were losing $8 million a year, but the CEO at the time was getting paid $6 million, so...
Debugging with LLVM: A Quick Introduction to LLDB and LLVM Sanitizers
I’m impressed by the color gamut coverage of the XDR.

However:

> The entire monitor is controlled via macOS, which means that even if you wanted to hook up a non-Apple laptop or desktop capable of outputting video through USB Type-C, you couldn't. It won't turn on in the first place. (Trust us: We tried.) You can achieve full functionality with Windows, but you'll have to be running it on a Mac in Boot Camp.

This seems unacceptable. Instead of not running at the full 6k resolution (like the 5k one does because DP, at the time, only supported 4k over one cable), they just won’t let it work? There has to be some technical reason besides malice.
I just added:

- ext: .lisp
cmd: sbcl --script {{file}}

to ~/.gaze.yml and it works like a charm. I was looking for something like this for a while.
Insane.
"It was so rushed, they said, that there was no time to get it approved by the Apple store. Had it been, it might have proved far easier for users to install.
Instead, the app had to be downloaded by bypassing a phone’s security settings, a complicated process for anyone unfamiliar with the intricacies of mobile operating systems, and especially hard for many of the older, less tech-savvy caucus chairs in Iowa.

The app also had to be installed using two-factor authentication and PIN passcodes."

Why on earth did they make an app which they didn't even have time to get approved? This could have been done easily with a website. Honestly, they could have used Google Forms. A highly secure, off the shelf, and much cheaper option would have be to setup a G Suite workplace, mail security tokens to the caucus leaders, have them make accounts on a computer, and submit the results through a form.
https://news.ycombinator.com/item?id=22241577

You may find this discussion enlightening. In short, trust is at a premium and there are few white-label providers.
> But outside of those complaints, the Pro Display XDR stuns in every other metric it competes in, earning our Editors' Choice.
I'm not sure that proposing alternate solutions is so enlightening. Even so, they could have just had the person in charge of each location post the results to twitter. Then they wouldn't have had to do any tabulation, because the public would have done the tabulation for them...