skysight-inc/HackerNews huggingface dataset:
It is 100% verifiable AND falsifiable.

You can verify that Physics is captured in Mathematics.

Mathematics is a Turing-recognisable language.
If the universe is Physical then it is computable. This is a trivially true belief (see Church-Turing-Deutsch principle).

You can falsify my belief by producing Physics in language other than Mathematics.

Of course, as an instrumentalist/physicist, I don’t care if my beliefs are “actually true” as long as they work.
I think you'd still desire loose ordering even if you didn't care about strict ordering. If you always have 50 items in the queue you could be blowing the latency budget on random items because they are getting passed over where as with some form of loose chronological order you could still be completing everything within a certain amount.

SQS without FIFO works about like this AFAIK.

I agree with the gist of everything you are saying though, particularly the point about signaling. As soon as you want to start keeping track of a process that state is going to be stored somewhere outside the queues.
You don't have to do anything at all that might assist anyone else. But without support it's just like "your opinion, man." ;-) And difficult for anyone to act on in any meaningful way.
It will be interesting to see if they've got their brake issues fixed, so they can run Nürburgring without trouble.
i believe all elevators at least have a failsafe to refuse to run if they are overloaded. going from there to tracking and using the actual weight for its programming is not a big step
Before I was born.
Fb wants to use a pink Floyd song for Instagram ad. Roger waters is not a fan of Zuckerberg so he said fuck you to that.
I am not a geneticist or bioengineering domain expert.

Is this something that gene therapy could alleviate? Similar to the sickle cell therapy recently approved (which knocks down BCL11A expression)?
Yeah they've been evaluating it for years, and then I read that document and it frankly felt like a poison pill. Reading that document it sounds very much like it's "how do we keep writing C++ while addressing the growing interest in rust".
I think Ubuntu Mono does a great job with unmistakable characters:

https://fonts.google.com/specimen/Ubuntu+Mono?preview.text=!...
I use Comic Code[1], which i learned about on HN. My only complaint is that w and W are too similar, otherwise I’ve found it great.

1: https://www.myfonts.com/fonts/tabular-type-foundry/comic-cod...
I don't know you and can't speak for you. But my point that all the people on here criticizing people on their moral systems are baseless stands. These same people would've been in the mob in salem executing so called witches a couple hundred years ago and would have been just as certain in their beliefs then.
Assuming that something is true for constructive reasoning purposes is not "faith-based", it is probabilistic. I don't have "faith" that the sun will rise tomorrow but I assign it a high probability based on priors for the purposes of practical reasoning. We provisionally accept certain axioms because of their high utility but the axioms may be discarded at any time if the utility or correctness is in doubt. Non-axiomatic reasoning systems are a real thing, we use them in computer science.

This entire discussion is predicated on a minimalist set of mathematical axioms being valid, but there isn't even agreement on what that set of axioms is (though it may seem so to a layman). We still manage to get on in the world because we can do highly effective utilitarian reasoning without that being resolved.
I know this is true, but I know it hurts me in my heart!
People have spent millenia thinking about rational answers to those questions. It's easy enough to find answers, but much like with religion there is no consensus. The answers follow a much more rigorous logic then "god said so" though. I'm not a moral nihillist because that's not a thing, but I am a moral anti-realist because it's clear that there are no intrinsic moral laws. It's all preference based.
https://www.biorxiv.org/content/10.1101/055624v2.full.pdf

This should be a more permanent link I hope.
This is not true. Religion is in fact growing every where but the west and perhaps a few other places.

If you only meant the west then that is accurate, but due to the various birth rates it could very easily change with immigration.
Spooky story!

One thing I cant stop thinking about is... aren‘t credit cards incredibly insecure?

I assume we are currently stuck with them for legacy reasons, right?

Aren't things like authentication tokens or whatever „solved“ issues?

Like, I have never heard of similar attack vectors for PayPal or Stripe?

Or do I have a logic error in my thinking and all payment systems will always have attack vectors similar to stealing a number?
Quite a number of terminal emulators have this feature. Alacritty and xfce4 terminal as well.
Could you just get away by telling you are contributing your share to strategic reserve[1] to stabilize price for all Canadians. That would be very patriotic thing to do :-)

1. https://www.vpr.org/post/inside-global-strategic-maple-syrup...
Sadly the .js file[1] backing that page is 860 kilobytes of minified unreadable gibberish, containing the various strings that can appear in the code editor hard-coded in the same line of text as minified React. I don't know how much of the file is frameworks and how much is responsible for making editable code, but shipping nearly a megabyte of JS to the browser feels sad.

I've noticed that the editable text in the laptop screen isn't as overexposed as the rest of the laptop's screen.

On that note, why is it so hard to photograph a screen with the right exposure? Automatic exposure always gets the brightness wrong, and even if you manually fix the exposure level, it's hard to reliably map black to near #000000 and white to near #ffffff and gray to near #808080.

[1]: https://s3-eu-west-1.amazonaws.com/developer-portal-assets/l...
*Pink Floyd
Pink Floyd not Led Zeppelin
Personally I can’t imagine voluntarily choosing to spend any time on a daily commute.

I asked my wife if she was a stay at home mom, would she let me take a 45 min to an hour lunch each day away from home if I worked from home if it meant I’d be home more overall. She said sure.

My wife is a physician, so she works unusual hours. Many of her coworkers occasionally send their kids to daycare on their off days, so that they have time to run errands or just get in some kid free time.
"Another Brick in the Wall - Part II" is the song, and it's by Pink Floyd, not Led Zeppelin.
If the adblocker is breaking something, there is the possibility that the adblocker is misconfigured; in the example shown there, that does seem to be the case (the user who uses a adblocker should configure it properly). However, note that in the example, the original page looks like extra space wasted; the one with adblock you can see the description in the screenshot since there is not the intervening picture blocking it.

Also, some JavaScripts/CSS/pictures/etc might not need to be loaded (or the user might want to disable them), even if they aren't advertisements. Sometimes there is a fancy CSS or animations that you might not want; I know that I often find that to be the case.
They did it to avoid being replaced by immigrants which isn't specific to Britain - it's more like European nationalism.
What is rational? Is not rationality subjective? What you might deem irrational others might deem perfectly rational, and vice-versa, what you might deem rational others might deem quite obviously irrational.

Are we to see experiences as rational explanation of a phenomena? Sure, I see and feel a rock, and I verify its existence rationally. I smell food and verify its existence rationally. What about people experiencing a divine being communicating to them, then?

No, we must disregard this as hallucination or a psychological problem. Only what we (and by we I mean the "educated western world") in our pre-determined frame of rationality deem rational can ever be rational, and all that falls outside must naturally be considered irrational irrespective of its potential rationality in relation to other experiences we might call rational.

Really (I think), something being rational is a state of mind, a common understanding with our peers. In a church most would agree that their belief is rational, not out of ignorance (though here you might disagree), but out of shared acceptance of a different frame of rationality, essentially accepting other experiences as being able to feed to rationality than those you might accept.

I guess the point I'm trying to make (and I might be way off) is that when you say that religiosity espouses irrationalist beliefs, they're irrational to you, within your frame of rationalism. To someone else you're the ignorant one who's fighting tooth and nail.

Edit: To those down voting I would love to engage further in conversation about this!
Roger Waters is from Pink Floyd, not Led Zep
I think he is in the Julian Assange support tour when he speaks about Mark Zuckerberg asking him to use his song to support an ad campaign.
Roger clearly doesn’t like the negative effects of Facebook in our society, so he rejected the request.

I wonder if Facebook wanted to use the song in a campaign against Apple.
Unaustralian is reasonably common, used as a slur by both sides of politics, the same as described in the article. Tends to be called out with accusations of jingoism in the mud flinging though, which might make it different.
Merchants don't make the platform money, buyers do
Being a rock star isn't what it used to be.
That's what the "every single one" qualifier is for :)
Pink Zeppelin not Led Floyd
I probably know where 50-100 hn posters work without even having to think about it hard. People have been posting here for a decade and do recognize each other.
This has happened to me a few times and it feels like magic. You spend the whole day trying to play something on the piano and it just seems impossible. Muscle coordination is way beyond what you can perform. Frustrated, you go to bed. The next day, you can just play it, your hands suddenly know how to. Amazing.
I didn’t. I tried again later in my career but ended up taking up Facebook’s offer before the final Google round.
The world before Comic Sans looked a lot like this to most people: https://int10h.org/oldschool-pc-fonts/fontlist/font?ibm_vga_...

(IBM VGA 9x16 font, used by MSDOS and pretty much every PC from the mid 80s to 90s)
I absolutely get where he's coming from but he should've taken the offer and help fund Assange legal defense or something like that.
I was actually listening to the Chex Quest announcement episode today!
It produces functions which are pub unsafe extern "C" -- which among other effects currently results in effectively wrapping the code in an unsafe block yes.

It seems as though the very long term plan is to divide more thoroughly the unsafe function declaration (purpose: To flag to people calling it that they need to be careful) from the unsafe block (purpose: To flag to the compiler that you checked this is OK and so it's fine that the compiler can't tell if it's OK). Today I believe the linter will optionally complain that you didn't clarify, and perhaps in the Rust 2021 edition the compiler will default to rejecting this, then perhaps Rust 2024 will just outlaw it.

I expect c2rust will eventually either just shove everything inside unsafe {} blocks as well as inside unsafe functions, or it will mark code as Rust 2018 edition and let you change that when you've written as idiomatic Rust.
This must be difficult to determine. I can get by great on 4 - 6 hours of sleep and wake up without an alarm. During the day, I'll have a bit of a post-lunch slump at the office, but I don't seem to get it at home. If I take a step back from work and friends (shared routines) then I settle into an 8 hour sleep schedule. I feel the longer sleep schedule is better for me, but I can do either. I wonder how many other people are in the same situation?
Waters raises a good question in the video - how did someone who started off with with a project for rating women by appearance become one of the most powerful people in the world?

https://en.wikipedia.org/wiki/History_of_Facebook#FaceMash
You can if you just do it in reverse order?
He probably realizes that using his song for endorsement of Instagram would have deceived a lot of fans.
"As _______ has declined, ______ intensity has risen."

That is a natural cycle for more than religion.

Look at the mainstream media. As the internet has cut into their sweet spot, they've reacted with reporting that's more binay, more sensationalized. Similar can be said of politics. Again, the internet, it enables the people to self organize, etc. And the result to politics? A louder and more extreme mindset professing how important gov is.

As "movements" contract those who remain are naturally more devoted. Devotes what to believe they are relevant. Less voices triggers those who remain to be louder.
My take on this is that somehow this seems to be human nature at play (and should be accounted for) . This applies for anything that has some set of rules defined (be it by people, or nature). Basically a game. Everyone is trying to maximize for the win. Now and then a new thing is discovered and along with it, some new use cases for maximizing the wins. It's the same for politics (obscure laws that open different use cases), music (millennial whoop) , film (netflix only running series with 2-3 seasons) , formula 1, etc.
I really know almost nothing about TikTok. The videos I've seen are all people lip syncing to existing famous songs or movie dialog. If that is TikTok, then (a) their piggy backing off existing popular media and (b) it doesn't require much talent to post a semi-completing video. Not saying there aren't talented TikTok-ers, more saying it's that if TikTok is mostly lip-syncing/acting over existing songs and movie dialog clips then TikTok is similar to coloring books. You start with something that's already a (good?) template.
If you don’t have at least a small office where you can shut the door, I have no idea how you’re getting anything done with small kids running around.

But that’s really a requirement for WFH and companies should start offering some kind of stipend to support that.

Assuming you do though, why can’t you stop work and then spend 30 minutes reading something, or working on a side project? My wife would be fine with me doing that, and she doesn’t keep track of when I finish work that accurately anyway.
It is not all preference based, as very few moral systems lead to thriving societies that are stable and able to self-reproduce rather than collapsing back into chaos. In fact, almost none do.

Take a look at the ten commandments. "Honor thy father and mother so that it may be well with you and you may live long in the land". What happens when generation n+1 thinks they are morally superior to generation n? The same also holds for n+2, and so you do not have a stable society, you have a disintegrating society. Or half the commandments banning envy. Why ban envy and wanting what your neighbor has? Because envy-based moral systems lead to less successful societies than charity based moral systems, where the rich are told they should be generous to the poor versus telling the poor that they have a right to something possessed by the rich. It is not arbitrary -- some ethical codes lead to stable, successful societies and others do not.

One of the problems with modernism is that we have thrown away this notion of reverence and replaced it with a belief in moral progress, which has only led to an ocean of murders and social disintegration. In 10 generations, there will be no modernism left, it will be re-absorbed into more traditional societies, because modernist societies aren't able to reproduce themselves. Not biologically, not ethically, not economically. Yes, there are a few Gene Roddenberry holdouts that believe in generic liberalism as a system on which a society can be based. But the voice of LaFayette is always drowned out by the voice of Robespierre. Lafayette was a fool, thinking that whatever seemed right to him could be the basis of a society.

So it's not so much that I believe I can win an argument with someone who believes moral systems are preference based, but that those who do believe that will simply be outcompeted. Societies in which large numbers hold to such views will be unable to reproduce themselves and they will be eclipsed by societies that adopt ethical codes that form specific templates. A painter can paint a picture of any creature, but actual living, successful organisms are under strict constraints. A philosopher can imagine any moral code, but living, successful societies have to stick to what actually works.
>>"The States of the United States ...."

That would not be proper English nor make any sense linguistically.

If you believe that the Founders thought the States were not independent, and sovereign in their own right then you clearly have not read the Federalist Papers. Take a close look at Federalist 17 as an example

If the States were not separate but equal, i.e the foundational principle of our style of governance, then why call the nation the United *States*, why not just call it America or some other name all together

No the founders clearly believed the States should not be servant to the Federal Government, nor should the Federal Government be servant to individual state governments.

>>Second, the issue was conclusively settled at Appomattox and with the ensuing enactments of the 14th and 15th Amendments.

I disagree that it was conclusively settled, nor do I agree that application of the federal constitution to the states by default makes the states Subservient vassals of the federal government

Further last I check the passage of an Amendment requires the ratification of said amendment by 3/4 of States thus proving they are in fact not vassals as if they were then their consent would not be needed.

>In the modern era that might still be viable if the Senate's power were only to veto enactments by the House, perhaps by a supermajority vote

Yea... no

That does not make any sense historically, legislatively or logically. Having a chamber that can only act in the negative would be a pointless chamber of government.

Bills should be assumed to be Bad and at every level require affirmation.

Your process of legislative review makes about as much sense as a criminal system on the principle of Guilty until Proven innocent.

Laws should be hard to pass, laws should be extremely hard to pass, and federal laws should be almost impossible to pass ensuring the federal government does very little and most governance is done at the local level where it should be done.

In general the government that governs the least, governs the best, and this is quadruple true for a Federal Government
>point out the error's line number

Sounds like most of the JS libraries out there. I don't want to know what line of code in a library module that I didn't touch puked, I want to know what line of code that I wrote as the bit of stupidity. I just don't understand how that's considered helpful.
Ask HN: HN Marketplace?
Huge concentration of talented people here - why don't we have a marketplace yet? There's already a jobs section, but we could have freelance projects, etc.
So what’s stopping them from doing that now?
This is not the only case.

For example it was reported that Fortnite wasn't the first result when searching for "Fortnite".

So Apple has no problem giving users poor results in favor of ads. I guess it's only annoying when Google does it right?

Showing File above Dropbox for a "Dropbox" search only adds insult to injury here.

edit: the amount of hand waving Apple gets around these parts is irrational. 2 instant downvotes for stating facts.
>In contrast, modern secular culture, although not immune to tribalism and ideological blindness, is much more open to building belief through analysis and understanding, i.e. the scientific method.

I think this was true, at a certain point in or for a window of time, but it certainly isn't true today. There are well known axioms that are not-to-be-challenged, and doing so risks expulsion (i.e. Excommunication). So maybe what's happening is Secularism is going through its own phase of Fundamentalist Revival.
Acid Burn seen leaving ex-husband Zero Cool’s Brooklyn apartment
No, I'm saying that I know actual leftists (not sure what your quotes are for) who will only post King quotes when the topic is "White liberals are unhelpful" and "anti-capitalism", typically only posting quotes which don't include religious terms. Then, they will unironically claim that his legacy is being erased by the folks who only ever quote him from "I have a dream".

To which I say: yes - his legacy is being erased when you intentionally ignore important parts of his character and works. But erasing his Christianity is especially egregious, given how fundamental that aspect is to his entire philosophy and life. His theology is inseparable from his philosophy, and a massive influence for both his anti-capitalism/pro-poor people campaigns and for his racial reconciliation work.
Yeah, I guess you're right. Oh well.
You don't assign all the seats up front. Some are marked to be assigned at the gate.
It sounds like the 340k of memory quote. Yes, it did not age well, but you know what, some times people can't predict the future and at the time the quote was said, it made some sense then. The internet is full of "smarter than everyone else" that have never misspoke about anything, ever.
Welp, now I feel old because I remember in 94 when it was the cool new font. I worked for an Early Childhood Education grant and we started using it on our forms to parents. Amazingly, it got a better response than the Courier New that was used on the official forms.
It'll get its own writeup with the rest of the details about the system. Just found it today and thought I'd quickly share.
> If you believe you are not religious, it just means that you don’t have the cognitive tools to recognize the secular ideology that you have adopted.

Religion has one fundamental cognitive device - faith. It’s not a tool, it’s malware.
nah not to the full machine. This is just a Slack token. Someone basically had the employee click on something with XSS or some other way to steal cookies (idk there's a bunch of ways you can steal cookies out of someone's browser)
Talk to me about your most recent job search as an experienced developer
Does it has ä, ö, ü (for german)?
> The only place it exists in inside Biogen.

You would order it from a compounding pharmacy, would would then do a custom synthesis for you. Or else just make it yourself in your basement.
Thought this was about the CD burning application. Proven wrong by clicking.
yeah what I'm saying is that you can only pause as fast as your slowest currently initiated query. So if you have a diverse set of query patterns, you could be waiting for a really small percentage of small queries to wrap up.
It feels natural if you’re using Mac hardware, like a Magic Mouse or the trackpad.
That's useful for sharing links etc. with others without sharing phone numbers. Thanks.
It has also happened 42 times already.
Is that bias/unfair advantage?

Most indians working in FAANG in USA tend to be immigrants. So comparing them to their share of population is ridiculous. Even if you limit yourselves to second generation indian American, they are not the same socio-economic background. I guess having rich and education focussed parents is now considered unfair brown privilege.
I really found my chakras to be stimulated by the wordy venting as well. That's a very good point!