skysight-inc/HackerNews huggingface dataset:
> They are communities of job seekers and job providers who are constantly trying to showcase their skills or scouting for talent.

What's actually wrong with this? People want to get hired, people want to hire.

> When was the last time you thought you could speak your mind on Linkedin?

I signed up for a linkedin account a couple of months ago and used it a couple of times and otherwise have no idea how it works. But I guess I would feel about the same as speaking my mind in any workplace or professional function. That is to say I would not say a thing about religion, politics, sex, medical concerns, etc., so I'm not sure what your rhetorical question is getting at. Do you think people should more freely speak their minds about things like that in professional settings? Or that linkedin would be less of a cesspool if they refrained?

> Also, I have a special place of hatred in my heart for linkedin because the news feed is a reflection of corporate bootlicking and corporate promotion that borders on insane.

Not sure what you define as bootlicking exactly but that just seems to be what some people do. I've seen what I consider almost obsessive worship of companies like Google, Facebook, Apple, etc., by people who desperately want jobs with them for many many years before ever seeing a single linkedin page. People bootlick celebrities, political parties, government bureaucrats, etc too. I would try to be more accepting and tolerant, or at least not let people being people upset you too much.

> They cannot be compared to Twitter, which is clearly anonymous (if the user wants such) and more open.

Twitter comes to mind as one place where I have seen astounding amounts of this bootlicking. And I don't even have a twitter account it's just from occasionally reading comments on some tweet I followed a link to.
The inductive step allows you to stipulate what seems like a strong assumption, in this case that all horses in sets of size N have the same color. I think you're reacting to that seeming like it's the problem, because at first that seems like where the "cheating" is occuring: you can obviously have a set of horses that aren't all the same color.

But actually that's part the power of the inductive step: you do have the freedom to choose whatever assumptions you want. The question is whether it's true for N+1, for all N. In this case, it's not: the inductive step fails. But there's nothing flawed with the starting premise per se (aside from it being intuitively obvious that it will never work). The interest here is that it seems you can get further than you should be able to, and it's a little tricky to figure out where the logic falls apart.
Objective vs. subjective is a slippery concept.

Everybody can have different opinions on a given quality of a set of things. Is this art attractive. Is this product worth more than it costs.

But those "subjective" opinions can all be functions of objective, measurable properties.

And if you poll or interview everybody, you can construct an average, a statistical distribution, a model, etc. which is objective in the sense that it describes the opinions, which objectively exist and are about objective reality.
Do advertisers actually believe these impressions metrics are valuable? It's strange that they put value in these metrics that everyone hates while completely shunning other forms of content like porn. I'm not suggesting that advertisers start showing their ads next to porn but rather questioning why they are showing their ads next to news websites based on what are essentially fake metrics.
cool to see pledge and unveil. as a linux user i'm somewhat jealous.

c.f. OpenBSD's unveil() https://lwn.net/Articles/767137/
paywalled locked down reblog of this open letter:

https://sites.google.com/view/k12mathmatters/home

Not very impressive critique, just a handwavy opposition. I was hoping for more rigorous analysis and response.
supposedly them going to a 24/7 schedule has helped clear out a lot of the backed up stuff at ports.
Wolfram definitely has a big ego. It makes him less likeable but none of it justifies what you did.

Knowing what you did... trying to humiliate him in front of a crowd I'm glad he dunked on you. I can't imagine working with some young person who thinks he's smart trying to humiliate and overshadow someone for no reason.

Call you niave? Yeah, you were niave.
2%/yr is junk, even CDs are better than that. The rest of your post is crypto naïveté. I'll believe the rest when I see it, because the current crypto landscape is essentially all scams and speculation, with again no utility whatsoever.
"Five minute precis" has been the dream since Gibson's "Count Zero." Unfortunately, getting something anywhere near worthwhile isn't easy.
Seems simpler to put the LATEX or HTML version (https://people.umass.edu/klement/pom/) through an inversion of that pipeline. In https://news.ycombinator.com/item?id=21185624 joycian pointed out Naproche-SAD.
I live in Singapore. That robot dog is a gimmick, there's maybe 2 of them in the entire country, and they're not used for enforcement at all.

You're right about the surveillance and tough stance on drugs. This results in crime being virtually non-existent.
I blame Javascript. Letting it become normal to implicitly execute code just because it came bundled with a document that you requested was a mistake.

We can have a web of apps, we just should've kept it separate from our web of documents so that I could only go there when what I wanted was an app.
Flash Sucks –- But everything else sucks more (2011)
You are trying to re-discover Turing completeness from first principles and apparently without the relevant theoretical background.
> Just out of curiosity, what are notable examples of people saying “we should judge people by the standards of their time” in a reasonable way?

Do you consider eating meat at a restaurant to be a morally acceptable thing to do?

The meat you consume there is likely factory grown, which means that the animal lived in total misery until it was brutally murdered under extreme duress.

It's highly likely that people will consider treating animals like that to be immoral at some point. If you don't accept your quote as truth you'll also have to accept that your descends will consider you (and everyone else in our society) monstrous.
I think it's fair to say that the state of the art of proofs is the equational form. Recorde revolutionized mathematical writing with a couple parallel line segments. Generalizing that to proofs using the equivalence, consequence, and implication is an equally (hoho) great leap forward.
Every post you make
Every pic you fake
Every mouse you shake
Every proof of stake
I’ll be watching you
lol dumb fucks don't care.
Ad nauseam browser plugin
It is always interesting for me, as someone who is colorblind (Protanopia), to see these. I always have to call my wife in and ask if the images look different. She is always amazed that I can't tell the difference.

The original image and the Protanopia image are exactly the same to me.

The Deuteranopi looks very slightly different -- if I really stare at it. The other do indeed look different.
> any site that use custom playback controls will break

Is that actually a bad thing?

I have no idea about video playback controls, but in every other instance I've noticed where sites implement their own custom versions of browser controls, it's been absolutely terrible.

Custom scrollbars, or lack thereof. Custom drop-down lists, which never support keyboard input properly. And so on.

And even if I'm wrong, and custom video playback controls are somehow desirable, why should they be supported for any event except onclick?
I typically run the command output through `cat` to see if it does different things when outputting to the terminal vs piping.

The biggest changes are typically ANSI color codes and column length. Some programs do strange things, like changing how they escape characters (ls).

JC turns off ANSI color codes when it’s output is not a terminal, but that’s it.
Pandas-TA: Over A Hundred Technical Analysis Indicators For Python
Sure, they will throttle or suspend your SIM if you send out an abnormal number of SMSs to prevent spam.
I'm always disappointed in cherry picking. On the other hand, without knowing anything else about that extended piece, it looks like the author is whitewashing and trying to brush something unpleasant about Fisher under the rug.

Genes aren't "deficient mentally" and it's hard to read that quote any other way than as advocating eugenics.

Reading the extended text makes me wonder about the whole story, but doesn't really convince me Fisher wasn't in favor of eugenics and all that entails. I wouldn't say I'm skeptical, but it would take more than that.
It is a form of energy healing mediated by touch. Behavior-wise you are just touching people, so yes, really easy, but it is not what reiki is about.

In the study, the sham reiki was performed by a non-believer who thought about maths problems while doing his things, as to completely eliminate the spiritual aspect.
Tell HN: Can’t upvote comments/posts on iOS Firefox
If I open HN on Firefox on Android, it works fine. But all upvote/downvote buttons are disappeared when I use Firefox on iOS.

https://imgur.com/a/rteCZAp
Specifically, it's less (made 220, although did have what I think was a strong offer due to internship that went well)
I am not sure thats exactly what the article was saying, picture 3.B [1] seems to show that the placebos themselves are getting stronger over time, both in an absolute sense, and relative to the drugs.

Approving less effective medications could definitely explain the improvement placebos relative to drugs, but not the improvement of placebos relative to placebos.

I wonder, and as I am kinda young, I am not sure, but since 1990, has the experience of the "Doctors Office" become more standardized? As in, are placebos looking less* like placebos?

[1]. https://cdn.substack.com/image/fetch/f_auto,q_auto:good,fl_p...

* accidentally wrote more
Instead, how about we make a combination browser extension/hosted service which renders the page server-side, extracts the content, and serves it clean.

Users can leave bounties on sites and once the bounties pile up high enough somebody will come along, sanitize it for everybody, and collect the bounty. Sorry about your ad revenue, next time don't piss off the masses.

The bounties will be public, so site maintainers can see if they're on the list and address the issues. If the community decides that the redesign addresses the problem, the bounty goes back to its issuers.
I hadn’t seen this before - thanks for sharing!
primarily because artists are poor because art pricing is a race to the bottom and the audience for their work doesnt exist outside of nfts as it is oversaturated

the secondary reason is that the nft pipeline has royalties built in upon future sales between third parties and the royalties automatically go to the original artist

it will likely be a race to the bottom in the nft space as well as it becomes more oversaturated

while royalties are unobtainable by almost all artists, and even the ones with the expensive network and resources to get into such licensing arrangements have trouble enforcing the royalties and at great expense and use of energy with the entire legal system

collectors like them because they can obtain tertiary valuable benefits to closed communities, being able to prove ownership in ways that “right click save as” cynics cannot with their raster copies of nfts
I'll go ya one further. You shouldn't use any Google product.
Classic example of that "if a metric becomes the goal, that metric is no longer useful" quote. At least, I think that's a real quote.
> I do the same thing over and over, improving bit by bit. There is always a yearning to achieve more

Does he manage every aspect of his restaurant chain? Does he install all the plumbing and electrics? Does he wash all the dishes?

In 'software', it seems the 'skill' you're supposed to 'master' is always learning more of everything all the time.

I can not be a master of everything. I can not keep up with docker/k8s/security/design/css/UI/accessibility/i18n while continuing to 'achieve more' with SQL, server-side development, documentation, testing and more.

There are physical limits (x hours in a day, ability to focus and concentrate, and new 'things' constantly coming out).

I say this because as 'good' as I may be in the 'latest' in, say, 4 areas of development... I'm going to be judged harshly by certain groups of folks (team/hiring folks) because, for example, I may still be using bootstrap 5, or angular instead of react, or whatnot, regardless of if that's my focus or not.

I've fallen in love with some of my work, but there's a limit to how much I can do, and a limit to how much I can actually love. Some I just tolerate.
This is what Google has been trying to figure out forever isn't it? Things like the automagic answers block at the top of the search results, google assistant, etc.

Unfortunately we aren't very good at making robot butlers yet, and copyright severely limits what they can do (provided they are running as a third party service) in the first place.
If numpy is a good fit for it, JAX is a good fit for accelerating it, basically. I think of it as numpy plus program transformations, such as differentiation, JIT, parallelization, compiling to XLA, compiling to TPU/GPU, etc.

The magic of JAX is that it keeps all that stuff about as simple as writing numpy code.
Many people dispute it.

Giuliani made a lot of political hay out of it for sure, and compstat introduced some accountability to the notorious NYPD bureaucracy. IMO it was a combo of getting rid of the dead wood running the previous administration and demographic changes. (Ie the crack wars were “won” by dominant gangs and the lead gas kids were dead or in jail.)

I’d suggest reading about Jack Maple, who was a transit cop in the then separate NY Transit Police. (This was the sea change as his rise to prominence happened due to housecleaning.) He pioneered the methods that became compstat, which started as a revolution and ultimately turned into a yet another bullshit metrics program.
I had assumed this had already been done, if not in Coq then in some machine formalization, interesting to see it being tackled. Is there a decent chance they'll find some of the later proofs not just missing a step but actually wrong? Or has this happened already?

Edit: I may have been thinking of various attempts to prove the theorems by other (usually AI) means, as mentioned on the page:

> This improves significantly on the earlier computer verification work of Allen Newell et al., Hao Wang, and Daniel O’Leary. In all three cases, either some theorems were not verified or their proofs were not reconstructed according to Principia’s proof sketches.
That sounds like the Blue Frog model from 10-15 years ago where IIRC each spam email would trigger one “please opt me out” request from everyone on the user base. Then the spammers started trying to DDOS them back.

https://en.wikipedia.org/wiki/Blue_Frog
That sounds like a lot of work for nothing? Suppose 1 BTC = $50k

>And when people bought my tethers for crypto

now you have 1 BTC, and $49,995 (assuming $10 spread and you were a maker) USDT (aka IOUs) outstanding

>I’d turn around and sell the crypto for usd

now you have 0 BTC, $49,995 USDT outstanding, and $50,005 (assuming $10 spread and you were a maker)

From a balance sheet point of view that looks like a pretty standard market making operation. You don't need to be issuing unbacked IOUs for it to work. The only advantage that tether has is access to the initial $50k capital for market making, but you don't need to be a stablecoin issuer to pull this off. You could just as well embezzle an exchange's funds directly.

Actually come to think of it, if you wanted to market make and you were ifinex/tether, the biggest advantage you can get isn't the free funds you can issue/embezzle, it's the differentiated order flow you can get as an exchange operator. You can categorize order flows as toxic/non-toxic[1] (maybe based on account trading history?), and keep them for yourself to internalize.

[1] https://www.ceedtrading.com/glossary/toxic-order-flow/
For a while I had a 5x leveraged tether short (with a USDC long deposit reserve) on a decentralized exchange. I was briefly making money through this on arbitrage but it fluctuates rapidly.
You mentioned that it cured your lactose intolerance. So are you now able to drink any amount of milk without side effects? I have extreme lactose intolerance, so I will give it a try if that is the case.

Also, do you have any links to the sources that you used for preparing/procuring Kefir?
Why do you say that Judges 18 (or all of Judges, if that was your meaning) is the earliest part of the Bible?
Differences Between Loop Protection and STP
FWIW I happen to think ideas should be celebrated, maybe accomplishments per se, not people. I've grown skeptical about celebrating people. There's too many problems in the background, all the time, too many unknown stories, too much about the idolizers rather than the idolized, too much weight of privilege, too much.
This is "traditional" for Japanese salarymen, who are presumably less wealthy than this 10-child blonde Quiverfull couple I assume this article is about.

Their employers just send them all over the world, reorganize them, make them do completely different job titles and assume they can learn it on the job, etc, with no warning. Their wife gets their paycheck and gives them an allowance.
>it's very much expected that the military rolls up their sleeves whenever their capabilities can be generally beneficial to their communities, regardless if it's military-related or not.

I’m not sure you’re aware of the full scope of what the U.S. military does. The Marines I know spent more time on humanitarian missions than combat ones. The Army Corps of Engineers regularly provides relief efforts during natural disasters, manages watersheds and dams, etc. It’s not too say there’s no truth to your claims but the US military is huge and with any operation that large it’s easy to cherry pick examples to make cases for either side.
would anyone with any sense trust google to be the sole arbiter of what they read and see anyways?
Hopefully this gets upvoted more but it somewhat repairs my view of Ubiquiti's brand now that more details have come out about what actually happened. I hope the courts will determine the full extent of the truth
Yeah, when I read a white paper for the next Combat Operations Center and saw they wanted to "run AI applications on a local server at the tactical edge" I knew the document wasn't worth the paper it was printed on. You can tell some O-6 or GS-15 who read a Popular Science article insisted on that being in there.

Then I ask people who the fuck is gonna tune the models when the "AI app" spits out garbage at a battalion CP? Are we gonna train Marines on linear algebra, tensors, and adversarial neural networks? Or even bother to run them through an AI code bootcamp? Are we gonna be shocked when our Lance Corporal AI technicians leave the Marine Corps to 10x their salaries in Silicon Valley?.... I get blank stares in return.
The Goal of Chinese Censorship: Destroying Social Resources
Well, obviously. However, they can push for it within the coalition, which in total does have the majority. Obviously. My point is, both parties have a better track record for putting weight behind their "promises" than the SPD, which is a spineless vessel for anyone taking the leash.
I can't recall if it was NASA or Tethers Unlimited that proposed using solar power to boost a tether into a higher orbit to offset some of the momentum transfer.

Since we aren't spending a lot of time on these systems, I'm guessing they've discovered how impressively complicated it is to do a 4 dimensional rendezvous. It's hard enough in orbital mechanics to hit a 'stationary' object, and now you're going to spin it end over end...
Color theory? If the image is meant to be dark I want it to be dark.

I don't want my blacks to be blue or purple because you won't buy a better TV.

If the TV you have can't show dark colors properly, your TV is faulty.
"On the other hand, Julia’s focus on scientific applications is both blessing and curse. In this day and age, a lot of the progress in computing is driven by applications outside academia (mostly through machine learning)." This seems like a crazy mis-read to me. Julia is probably the language that has the best integration of differential equations and machine learning. Jax closes the gap a little, but is still way behind.

For example https://gist.github.com/ChrisRackauckas/62a063f23cccf3a55a4a... shows a pretty simple case where DifferentialEquations.JL is 6x faster at gradient calculations than Jax.
These comments threads are fascinating for their display of confidently proclaimed ignorance.

Postal supervisors, including local supervisors at your local office can and do get performance bonuses.

Mailmen and clerks can not due to their union contracts.
Super long, but seriously love it so far. Best 2049 analysis Ive come across :^)
The default behaviour of PowerShell is to stream objects one by one, the same as typical UNIX shells. In principle, it can process unlimited amounts of data on a single pipeline with a small, fixed amount of memory. The exceptions are commands like Sort-Object, which do require everything to be held at once in RAM. In theory, it could do an offline sort like the UNIX "sort" command does, but the issue is that that might break some scripts that rely on .NET objects that aren't serializable. If you're super keen, it would be possible to add this feature and develop a "Sort-ObjectOffline", at the risk that very rarely it might shred some objects...

The problem with JSON is that it does not support streaming by default. It's possible to use non-standard JSON-like formats to work around this, but then you're no longer using JSON!
my mom still has msn has her home page because she's always had msn as he home page. many computers later she still sets it as her homepage. She went from there to their games pages, their chatroom pages, who knows that else.

So they exist. They're just not very tech savvy, and they like the way its been since thats the way its always been, even if they have to change it to make it so.
Thanks for the interesting reply.

I was under the mistaken belief that SARS-CoV-2 lacked RNA Pol proof-reading, so that is my bad there and responsible for my equivocation between it and HIV.

I completely accept that not only is it likely that there will be the viruses sharing the same cytoplasms on occasion, in large enough numbers, on long enough infections, etc etc - because one thing we know about biology is how slippery and stochastic things become, but the fact they dont generally share the same host does make this more of an interesting edge case I would imagine.

Thanks for your interesting links and thoughtful reply!
Yup, sadly read of testimony of one of them that they weren't really sure why they were there (on the board). Of course, not all, indeed maybe most, board members are not technical experts. The board is there to set general corp strategy, not to do code review, and are generally working under the assumption that the executives are not lying to them; executives who are found to be lying to the board are generally rapidly dismissed.

So, yes, I have a hard time blaming the board members who were used as much as the investors. I'm not sure there were ever any technically proficient board members, which also leads me to the conclusion that this was a planned fraud by Holmes, Balwani, etc.
There's the option of simply not visiting the webpages that offend you.

I'm not going to change my writing / guide style just because some people outside of those gaming communities don't like the way they work. Its one thing if you were the target audience, its a totally different thing if you're just a meta-commentator talking about the internet in general.
Aren't they still serial and uncaring GPL violators?