skysight-inc/HackerNews huggingface dataset:
>> Prolog is a pretty standard functional programming language, just hidden in a
backtracking query runner.

I'm perplexed by your comment. Prolog is not a functional language. It's a logic
programming language.

The terminology about "queries" and "facts" and "rules" is extremely
unfortunate. I think it's inherited from databases, because of the common
implementation trick of storing Prolog programs in a relational database. But
explaining Prolog in these terms, as is indeed very common, only begets endless
confusion. For instance, there is no "query runner" in Prolog. Because there are
no "queries". What people call a Prolog "query" is really a Horn goal proved
by SLD-refutation with respect to a set of defintie clauses, i.e. a Prolog
program.

The point of all that is automated proofs. It just so happens that proving
first-order logic theories and executing programs is the same, hence we can
write a logic program as a theory and run a proof to execute it.

>> I definitely viewed unification as a form of variable assignment (
understanding it would backtrack if unable to assign ).

Yes, that's a common mistake to make, and not your fault. These things are never
explained in Prolog courses. You can think of unification as a form of equality,
as you say, but in truth, unification is a clever optimisation that makes
execution efficient. It makes it possible to run an SLD-refutation proof without
having to ground the entire program into a set of propositions, first.

But to understand what the hell that means you really need to understand
resolution theorem-proving, and a lot of theory about first-order logic, that is
simply not taught to programmers. I was very confused about all that myself,
right up until the first year of my PhD when I finally had the leisure (and the
need) to sit down and really try to get to grips with the material.

But I don't think one needs a PhD to understand all that. What is really needed
is better teaching that doesn't muddle the water with useless terminology about
"queries" and "facts" and "rules" and so on.
Inherited stock has the cost basis stepped up to current market value, but estate taxes still apply right? So the narrative that the gains never get taxed[1] isn’t quite correct.

[1] Under the “buy, borrow, die” strategy, a government may never get to tax the capital gains on an asset. Wealthy individuals, during their lifetimes, borrow against their stock holdings instead of selling them, and then bequeath them to children, for whom the capital gains basis is revised up to market value at the point of inheritance.
Disparate outcomes do not imply disparate treatment.
I think it’s more likely that most of the call centre staff were reasonable people who followed the process they were trained to do, but the process is broken. Some of them may have known it was broken, but either not known how to work around that, or faced barriers to doing so such as having to talk to an a-hole boss about it.
It is.

If the effect is largely not because of discrimination, and discrimination is far more often stated as the cause, I know who I'd be calling dishonest here.

This goes double for anything directed at the public, since a short soundbite is all you get.
This sounds exactly like Notion’s mobile app tech stack roughly 4 years ago - a web app running in a React Native wrapper webview. We really struggled to get that architecture to perform well, in particular for local caching, although improved React Native bridge performance might make it more feasible these days.

What we noticed is that we’d incur substantial performance bottleneck for anything that needs to move data to/from native because of the number of encode/decode steps and “bridge hops”. For example to read a row from SQLite, count the bridge hops:

Webview JS -> Java: postMessage to read a row from SQLite

Java -> React Native JS: hey, a postMessage happened, what to do?

React Native JS -> Java: please select * from … where …

Java -> C: ok really run this SQL

Then the stack of conversions repeats on the way back to the webview:

SQL C -> Java -> RN JavaScript -> Java -> Webview JavaScript

The other thing that plagued us performance wise was boot-up speed. At the time (before Hermes JS VM for React Native), we’d have to wait for RN’s JS to boot, figure out our cache status, then boot the webview JS. And then the webview JS would do the bridge dance above to pull data from SQLite to render. Slow - 40 seconds on low end Android slow.

Today we are still mostly a web app, but our wrapper is pure native code. We cold start to a native view and boot the web app in the background. Our throughout & latency to native APIs is substantially faster without the extra bridge hops into and out of the RN JavaScript VM. We managed the original architecture swap from RN -> true native wrapper with a team of three - myself, our first iOS engineer, and our first Android engineer. We do have a large mobile team now though.

There’s some more FAQs and answers about this on Twitter here: https://twitter.com/jitl/status/1530326516013342723?s=46&t=x...

One thing I’d add is that deciding to use a webview wrapper is quite common for multiplatform rich text content editors. Google Docs, Dropbox Paper, Quip, Coda, Notion all use this architecture on iOS and Android because implementing an editor is extremely complex. It’s much more expensive to implement an editor 3x than say implementing a few list views and a form 3x.
Sadly the mistake was even more basic than you’re likely thinking - as I recall, min-max is necessarily breath-first, and I simply pushed onto the queue from the wrong side (think: append instead of push), so the queue was backwards, and breadth first traversed from right to left. Same time complexity, but slightly different paths reached within the same time constraints!
This issue creates some strange political bedfellows; hardcore midwestern conservatives and disconcerted coastal liberals see the sharing-economy of sex and agree that it's exploitative and bad for women.
You had a political zealot attack the home of a senior lawmaker and send her husband to hospital, and large swaths of the population cheered. I doubt the attacker was applauded only because he has an American passport.
The EU does fiscal transfers too. Its 150 billion EUR budget isn’t anywhere near as large as the US federal one, but it’s definitely used as a tool to level up the poorer member states.
I think Dave Barry had a joke set of predictions every year that was things like

--turmoil in the MidEast

--January's new movie releases disappoint

--Major hollywood star caught on camera eating in a restaurant

--a film staring quadrupeds a hit with childrens audience

--a surprise bestseller by middle aged english professor at a small liberal arts college features ruminiations on the mid-life crisis of a middle aged english professor at a small liberal arts college

etc
We use https://www.kusari.dev/ which is about securing the building and deployment of software, not about blockchains.

FRSCA: Factory for Repeatable Secure Creation of Artifacts provides a simple-to-install solution that aims to help secure the supply chain by building secure pipelines. It also provides abstractions and definitions with security guardrails ensuring all builds follow supply chain security best practices.

GUAC: Graph for Understanding Artifact Composition leverages metadata to provide deeper visibility and enable users to quickly understand security issues throughout the software supply chain, their blast radius, and how to remediate their root causes. Learn more as we build this out in the open source with our blog article.

https://www.kusari.dev/products/securesupplychain/

See also: https://slsa.dev/
24:00 is a real time. See: https://en.wikipedia.org/wiki/24-hour_clock#Midnight_00:00_a...

> there is no time in hour 24

Doesn't matter. 24 marks the end of the day.

One advantage of using 24 instead of 0 is it makes it immediately obvious that this is a 24 hour clock. Otherwise you have to read the 0, see the 23 next to it, and infer that it's 24 hours, which takes a moment if you are not expecting it.
We need a government program to prevent women from choosing to work less than men.
Given that this is a ratio, with both a denominator and a numerator, we should step carefully when declaring which part of the ratio seems abnormal. Either side of the ratio could be wrong, but for different causes. If, for instance, women were facing persistent discrimination, then their income would seem low relative to their education, but the causal effect would be the opposite of what is suggested by the words:

"Women Are Overinvesting in Education for the Monetary Returns."

If the other side of the ratio is suppressed, then it would be more accurate to write:

"Women are underpaid in monetary returns for their education."
Developing in container environments with limited access might help, but I think there's a performance hit for heavy processing/ML training unless you use privileged mode which kinda defeats the purpose.
And generally costs more per month than Xfinity!
My cable box still outputs upresed 720p so I’m not too sure what they’re protecting.
I was developing in Java right up until Maven became popular. We used to just download jars. What would you say is the main difference with Maven/Java vs NPM?

My recollection is that Java libraries were larger, higher-quality, more stable, and better-maintained, and you didn't need as many of them. A Java jar was not a "package" but contained dozens of "packages" developed together. Jars tended to be self-contained or mostly self-contained; small dependencies would shipped inside. The idea of making npm packages as small as possible, like practically putting each file in a separate git repo, and publishing it as a separate artifact, emerged shortly after NPM itself, and it was radical, and not really particularly good. Java also has a much larger standard library, and between the packages that come with Java itself, the packages that aren't technically part of the standard library but were written by Sun/Oracle, and well-known third-party utilities, you didn't need a lot of third-party packages. And if you needed something tiny like left-pad and didn't have it, you'd probably just copy and paste it.
How about microwave relay instead?
Discussion under duplicate: https://news.ycombinator.com/item?id=34202836
To my understanding, Widevine has two modes: L1 and L3. L3 is software protection where the browser protects against most simple reverse-engineering, but sends an unencrypted video stream to the OS' window compositor, so you can still screen record the content if you'd like. L1, on the other hand, requires a full chain of trust, meaning the encrypted video stream is sent to your GPU unit (or TV SOC), and the GPU has safeguards to prevent the OS from being able to capture that part of the screen, and most importantly has a HDCP handshake with the output device.

When a service is selecting which streams your client is granted a license to, if you claim L1 protection, the license request includes a signature from the GPU/chip doing the decryption, so the service will know whether your device only supports L3 software protection, or has a full chain of trust for the content and thus can protects against things like the user screen recording video content. Chances are the contracts rightsholders have with Netflix et al. require L1 for HD or UHD streams, and only allow L3 420p streaming (note that Netflix Originals seem to stream at 720p on L3, at least from what I've heard).
> India isn’t actively destabilizing the middle-east since the 2000’s,

Correct, that’s not the region it actively destabilizes.

> but they are the ones being aggressively nationalistic?

No one ever said they the one being aggressively nationalistic; its quite possible for many states to do that simultaneously.
How would you define a simple app out of curiosity?
The latter two could be confused with hour:minute:second
There is a ancient Chinese teaching which translates to: if I could learn to play like a child, (so we live without baggages).

I think it succinctly summarizes the mindset that we should always have.
> there is a wage gap, which is discriminatory

Even if a wage gap exists, it doesn't automatically follow that it's discriminatory. Example: Women work less hours/take longer time off --> less job skills on average --> less promotions on average --> wage gap.
I think we're slowly entering a new era of intellectual / practical honesty as a result of so much division and political grandstanding. Nuanced opinion is important - not changing what you think to fit into a cookie cutter thought group is how we understand what we really want, what progress is and who to exclude as irate grifters (on both sides of the isle).

The issue of abortion also shows similar political bedfellows - even deep red states where Trump won by 20+ points during the 2016 election have vehemently upheld access to abortion.
If you think that's bad, you're not going to like the fact that they're letting the NSA design a system for "TPM-based Network Device Remote Integrity Verification":

https://www.ietf.org/archive/id/draft-ietf-rats-tpm-based-ne...
Monetary return should include how much economical gain they get when marrying more educated men. i.e. educated women has more chance to marry an educated men who are likely to be earning more than less educated men.
I'm not sure if that's actually the case here, but it's hard to tell if the image in the article is just a sharp 480p image or 720p. It's up to the streaming service to decide the quality levels provided to L3 streams.
Women and men both enforce gender roles. The expectation to work longer hours at less fulfilling, more rigid jobs falls on men; the expectation to perform more hours of childcare falls on women.
If early hints breaks your proxy, it’s likely your proxy doesn’t handle 1xx status codes correctly. Could you tell me which proxy it is (privately if you think it necessary)? I’d like to chase the bug with them.
>It does make me question though, where did society choose to draw the line and why is the line drawn there.

The line moves, as and when someone in society gets up in arms at exactly that and is sufficiently powerful to move it. See "mentally handicapped", "special needs", etcetera. A new word gets generated that's less "bad", but it doesn't resolve the issue that the concept it describes is fundamentally bad.

https://en.wiktionary.org/wiki/euphemism_treadmill
And yet the takeaway from his point is entirely valid.

The returns from the money spent on education are not present if the time spent in the field is low (through either low hours or leaving the field).

Ex - Nearly 40% of female physicians are either part time or no longer in the field at all after just 6 years. And that's literally data coming from the AAMC (https://www.aamc.org/news-insights/why-women-leave-medicine).

22.6% of female physicians are part time after 6 years, compared to just 3.6% of male physicians.

That's your gender gap...

Further - the obvious cause is staring everyone in the face... children. Women are still disproportionately considered the primary caregivers for children. If you want to remove the gender gap... make it more compelling for men to stay at home and take care of their kids.

Personally - I think this will be a fairly challenging task, because I happen to see childcare as a very rewarding occupation (at least when they're your own children, especially below the age of ~12), which makes it obvious why women presented with the opportunity to stay at home take it.

But that reward is not financial.
The best part of pair programming is when things go wrong
this is using epoch "year=0, month=0, day=1", which is pretty unusual for day-based timestamps.

Turbo Pascal and its descendants use "days since dec 30, 1899": https://docwiki.embarcadero.com/Libraries/Sydney/en/System.T...

Microsoft Excel uses "days elapsed since January 1, 1900", except on Mac where it uses 1904 as a base (because Microsoft!): https://support.microsoft.com/en-us/office/date-systems-in-e...
Storing thermal energy is a good idea (heat up big insulated tanks of lunar regolith and heat the base off them at night). Not sure I’d want to store thermal and convert back to electric.
5 of the 7 things you listed would not exist in any recognizable form without having been built on top of open source software.
I don’t see how it’s discriminatory if it’s the result of a choice to work less by the person. Who is discriminating, and in what way? I do accept that there are reasons women end up working less that don’t apply to men, and sometimes this can be due to unfair pressure, but not necessarily from an employer and often it’s just a lifestyle choice.
Being fair to people also prevents revolution.
LOL this was my favorite comment
> The jury can't charge someone with a crime beyond what the prosecution argued.

No, but they can find someone guilty without reference to what the prosecution says.

Neither the jury, nor the prosecution, nor me, nor even (likely) you believes that Manson was convicted solely on the basis of hypothetical speech.

Tex Watson testified that Manson explicitly ordered the Tate killings.

Manson was physically present at the scene of the LaBianca killings, and actually entered the house (again, according to Watson).
I've had similar issues with HD not being available on Amazon Prime when I watch (certain) shows on Linux. My "fix" was rather crude: install Chrome inside wine.

A silly fix for a problem designed to get in the way of their customers. And then these companies dare to get mad at piracy.
> Additionally, another possible explanator of our findings is that women earn utility from pursuing the work of doctors above the utility that they would earn from their work as PAs and that this counteracts the small financial disadvantage of entering the medical profession. There is some evidence in other fields that individuals are willing to accept a wage decrement in order to obtain a “more interesting ”position" (see, e.g., Stern 2004). It is difficult to dispute this hypothesis.

The nonwage job utility hypothesis is one that is typically completely ignored when discussing wage gaps. I'm not sure what proportion of which wage gaps are explained by this - and with how politically charge the topic is, I doubt there will ever be a confident consensus range. Intuitively, most people have some extent to which they're more willing to work a more prestigious, less difficult, less time-consuming, more fulfilling, etc job even if it pays worse. It's a lot easier to measure wages, though, which makes them a particularly tempting fixation.
The abortion issue is especially weird to me, because I'm heavily emotionally invested in the Catholic extreme worldview while conservatives as a whole are not.
A stop to weapons means capitulation by Ukraine, rewarding Russian imperialism and brutal aggression, and a repeat of the atrocities in 3-5 years. You are advocating for continuing atrocities, and it is abhorrent.
The reframing leaves it as a passive thing that just happens. A bit more revealing of the assumptions involved would be "Organizations undercompensate women in monetary terms for their education." Which suggests the question, do women get paid less than men once matched for education, hours worked, profession, etc.?
We’ll have one within 20 years. NASA has plans (annd money) and spacex starship has an even more ambitious plan and schedule (and wants money). We’ll probably just tag along for the ride as starship is going by on the way to mars.
What are the chances some sort of united nations institution pays workers to both audit and prevent/harden supply chain attacks? Wondering in light of potential job obsolescence with the progress of ChatGPT and the like, if maybe we can forward the human intellect surplus there... Also, could it be thought as a human right to have access to "safe" environment in the future, I certainly would love if my children do not have to worry about this constant threat at some point or at least the stress can be decreased... Sounds a bit like being paranoid is the only way to go, I wonder too what long term effects this has on mental health, do we as techs view our close ones as less trusted the closer to supply chain attacks we work?
Academia and wages are notoriously known to to fall prey to aggregation errors (e.g. Simpsons, Berkson's, etc). In these cases it is not only useless to discuss averages, but actually harmful in that they lead us to false conclusions. Confounders are abound. I can't read the actual text to know if this is happening or not but nuance is often critical for these types of problems so take every comment here with a large grain of salt.
Yes. Fixed now. (Submitted URL was https://old.reddit.com/r/technology/comments/zzvntv/sex_work...).
I've contributed significant changes in my first 3 months at most jobs. Lack of fit (eg with your manager) can become too much at 5 months.
I’ve had this problem for a year. It’s gotten better but the more load (memory pressure? Disk access?) I put on the machine the more likely suddenly Spotify or a YouTube video will crackle.
So you don't believe in freedom of speech. Got it. Google should not exist and other great ideas.
Just send a POST request lol
Reader mode works for The Guardian.
> Unmarried, childless women earn significantly more than unmarried, childless men on average.

Got a cite for this assertion?
Quantum physicist here. This is the way I like to think about it. A quantum system corresponds to some vector (i.e. the state of the system) and there are an infinitude of possible bases to write down the vector. Position and momentum are two bases of the same vector space that don’t share any element (not only that, they are particularly incompatible in the sense that you need ALL the element of one basis to decompose a single element of the other), so if you have a very localized system (e.g. that roughly corresponds to only one basis element in the position basis) you’ll need a lot of elements of the momentum basis to describe the same vector, and vice versa. The key to the puzzle is that there’s no escaping the uncertainty principle because position and momentum are two incompatible points of view of the same vector space (and of the same vector if you think about the state).

Update: I think part of what’s confusing about this is that classically we can have pretty much any combination of position and momentum, but quantum mechanically it’s the opposite: once you know the state in the position basis, its momentum representation is also determined and vice versa.
Do mechanics and doctors actually get asked those questions? I don't think doctors do, they have credentials and references. I'm pretty sure mechanics around here wouldn't get asked that, just references and maybe credentials and "how soon can you start?"

Software is a weird industry where you have to quiz every applicant to make sure they know how to program even though they've been the industry for years, and we seem to get it wildly wrong anyway.

Coincidentally, although I've been offered jobs after doing these kind of interviews and technical tests, I've only ever accepted jobs that are on the basis of "we know you, just come along" and I guess I now don't have any trust in a full interview process.
Can confirm; on a Pixel 3 (blueline) and Lineage 20 is fully supported.
The existence and origin of societal expectations can be it's own thread. But as long as it's clear that one party does have other responsibilities to cater to, which in turn leads to lower amount of time available to invest in their chosen professions.
More users, more problems. People who just use your code without maintaining it don't benefit you. Often, FOSS infrastructure is part of the problem.
My favorite in blogs is The AI Summer.

The signal to noise ratio of Medium is very low, but it does show you very nice articles from time to time.

I read papers, follow people on Twitter. I don't read ML blogs much.
Also, the container itself usually contains (or has access to) valuable secrets, such as keys for staging servers and, of course, the source code.