skysight-inc/HackerNews huggingface dataset:
Totally agree with the rule of thumb and deeply appreciate the decision to make an exception in this case.
How to get a remote job at FAANG
You can buy children's clocks that have an analogue hands and a face of a cute animal. The animals eyes are closed (asleep) until a pre-set time (that the parent can set) at which point the animals eyes open[1], and the child knows it's time to get up or go downstairs if they are already awake.

Personally I am a firm believer that children should learn how to read an analogue clock before you shift them to digital ones.

--

[1] https://www.amazon.co.uk/Bunny-Alarm-Clock-Child-Trainer-Blu...
Quake Champions is another worthy alternative that is much better.
Oh uh, sorry about that. We put those numbers for testing purposes and totally forgot about them! I will update them asap.
You can also press the lock button five times to make it refuse to unlock without a valid passcode.
Blaming climate change as the root cause of these fires is to completely ignore the fundamental nature of California.
I also have first hand experience as a US citizen refusing to answer any questions each of the ~couple dozen times in the past half decade or so I have crossed the US border. In my experience, not only should you decline to answer any questions, you should demand to have an attorney present for any questioning. This should end the interrogation fishing expedition, though in my experience you need to repeat yourself 3-4 times, sometimes to the supervisor, before CBP officers get the message.

My experience is nearly always (but not always) being sent to secondary screening for anywhere from 20 minutes to 3 hours. When due to the detention I have missed an onward domestic connection, my airlines have always re-booked me without charge. My luggage is manually searched probably 2/3 of the time. Treatment from CBP officers varies from respectful just-doing-my-job (maybe 1 in 10 officers) to outright hostile (maybe 5 in 10 officers).

So long as you provide evidence for your claim to US citizenship--especially a valid passport--a 30 hour detention is certainly unreasonable, and @sneak should seriously consider filing a lawsuit against the director of the DHS for the constitutional tort and for violating his civil rights under color of law. Ideally he/she would seek injunctive relief preventing DHS/CBP from detaining people presenting themselves at the US border and claiming US citizenship for any longer than is necessary to verify the validity of the claim to citizenship.

Airport CBP checkpoints are extensively surveilled, and documentary proof of these violations can be subpoenaed. If actually filing a lawsuit is too much, you can submit a FOIA and Privacy Act request for all data CBP holds on you, including your TECS records. I doubt you can get audiovisual surveillance data without litigating a FOIA case, but it's also worth a shot. Prepare to wait 1+ year in any case.
For the bakers, it depends on how much bread you'd eat every day, I need to go to the baker once every two or three days. And if you live in a flat, you never see the postmen, mail just get dropped in your mailbox.
Mark Kern (former Blizzard employee and team lead of World of Warcraft) offers a different explanation:

https://twitter.com/Grummz/status/1181737774132518912

Read the whole thread. It's bribes and subsidies.
Yes, but only the international ones. About 65% of the US population lives in such a zone according to this article: https://www.citylab.com/equity/2018/05/who-lives-in-border-p...
Migrate Your AWS Node.js Lambda Function to OpenFaaS
Start with crowding and go from there. If your school was small and everyone knew everyone, that's a vast difference.

It takes just a few bullies (or worse, criminals), who get a bunch of sycophants, to ruin the atmosphere. If you cannot remove them, nobody knows how to control it.

Middle schoolers are as cruel as any people, just less sophisticated, so it's much more obvious.

They form tribal social groups which fight, cut out people they dislike or judge, explicitly.
Trying to remove that bit is nearly impossible. They do respect teacher authority, so an oblivious enough teacher can think everything is fine - or they normalized deviance.
Apple removes Hong Kong protest app after China complains
Layoffers
I’m Sorry I Haven’t A Clue (the panelshow in question) is still going today!

Although the original host sadly passed away a few years ago, and many of the original cast are well into their 80s...
The more I hear about the U.S. the less I want to go there, for any reason, ever.

I'm sure the people are lovely but the government is scary.
> >If the "new" chain has some value post-fork, that value has been siphoned off the "old" chain

> Not necessarily. I don't see how that follows at all.

If you can make infinite money out of thin air by making infinite hard forks, go ahead. No-one's stopping you.

> >Suppose the opposite was true. If you could create value out of thin air like that, we could all get rich just by forking cryptos over and over again. I know it _seems like_ this has been happening in past 2 years. It's an example of irrational market behavior. There is no* reason hard fork should create value.

> How does that matter to the IRS whether market is being irrational or rational?

I didn't say it matters to the IRS.

> >However, in a rational market this information would be incorporated into prices _before_ the hard fork: there is still no rational reason for the total price of assets to magically jump after the event.

> The crypto market is full of hype and irrational actors

We are in agreement here.
Most power plants we use today can't deliver baseload cost effectively if you add in the externalized costs of climate change.
It's like herd immunity: if most phones have an activation lock, then thieves are less incentivized to steal them. Obviously they can still sell them for parts, but they're worth less.
That seems odd to me. Wouldn’t the store want you to purchase the bigger product, and thus spend more money?

You’d think it would be in their interest to display the per-unit price comparison, to emphasise where a bigger package is better value.
Voting has nothing to do with freedom. And Scotland didn’t invent capitalism, what are you talking about?
Location: Indonesia, Jakarta / Singapore

Remote: Yes

Wiling to relocate: Yes with consideration

Technologies: FullStack NodeJS, Mongo/Redis/Rethink/MQ, AWS/Terraform, ReactJS/Native, Docker, K8, Android Java, C, Go, Scala, Python.

Resume/CV: https://www.linkedin.com/in/fauziassegaff

Email: fauzi.assegaff (at) gmail (dot) com

---

Idealistic Startup Passionated tech engineer and business, 13 years experiences in financial technologies platforms and telecommunication industry business, built 90+ mixes of apps/stack on my private repo, 5 of them are highly successful platforms, 1M+ transactions, 5M+ users, 40+ Network/Bank connections.

Highly interest on an offer of being early startups / co-founder/equity based.
Yeah, if we ever come to putting little artificial solar gen islands in the Pacific, nice clean synthetic gasoline being shipped from them would be awesome. (Generated from atmospheric carbon dioxide and water.)
To be honest I hadn’t really considered that. I’ve never actually upgraded an SSD in a laptop.

I guess it may be more the thought that it will kill the SSD than the reality but it’s still something I’d prefer to avoid if there’s a solution.
> Isn't it possible that searching your phone at the border is security theater?

I mean, many people believe that many of the things that the TSA or CBP do are a security theater.

> I think it's likely that the US already has permanent, remote access to most phones.

There seems to be a large number of cases where law enforcement were denied access to a device and seemingly were stymied by this fact (detaining the owner, etc.) What makes you think that they're doing this just because?
The Strange Physics of How Babies Talk
> Doesn’t matter. If there’s truly no way to verify, there’s nothing they can do in a scalable way to determine people are lying about their main accounts.

It doesn't have to be scalable; border control already isn't scalable and relies on uniformed officers making decisions on the spot. It's not hard to add additional point in training that says, "if a person has suspiciously empty phone and the phone is a model X, ask them to unlock the second account; if they refuse or pretend they don't have one, apply 3-30 hours of pressure". This would probably cover 99% of cases.
Fiscal platforms such as margin trading or cryptocurrency exchanges are also heavily barred from servicing US citizens. It already cuts both ways.
> I for one would support this - I like HN being a hacker’s paradise. People grousing over the latest insanity in world news can always find somewhere else to comment.

As long as the insanity is technology or hacker-related it is fine for you? Saying you do not want to see anything political, is apathic and shows you lean towards whatever the status quo is. It is also dishonest (because politics is everywhere). In fact, the very thing I quote from you is a political statement by itself.

Here's how to deal with the issue instead: upvote stories you enjoyed and/or press hide on the links you do not want to read.
In these cases I just enable rotation lock.
Even if true, border officials will start asking everyone "is this your main profile". I guess you could refuse to answer, but that will make the answer obvious.
For accuracy sake, the banana curveness ratings were a lie created by Rupert Murdoch's tabloids.

This was flamboyantly repeated and amplified by the current UK Prime Minister who was then 'journalist' Boris Johnson.

There is quite literally an archive in the European Comission containing, clarifications regarding lies and misrepresentation of facts (the large majority of which created by UK newspapers).

https://blogs.ec.europa.eu/ECintheUK/curved-bananas/
...well, this publication is not really directed at would-be recruits for the passion economy but rather meant for circulation within the entrepreneurial community. There's a part of me that HOPES that there is a nefarious design here, instead of the industry having gone completely crazy and having lost touch with reality like this article would indicate.
'That put a lot of credit in to the economy, which shows up as economic growth.' - Unfortunately its not quite true!

Fractional reserve banking (FRB) as is taught in most econ textbooks and courses is a myth. There's a very nice paper by the bank of england debunking this (Money creation in the modern economy). The idea behind QE and bailing out the banks was to create lending and liquidity in the market largely via the FRB mechanism however that failed to materialise for reasons the bank of england paper goes into but basically banks don’t lend out their reserves as the theory expects but it’s the process of lending that creates deposits not the other way around. The money given to banks didn't result in increased lending but instead went into financial markets buying up assets. There was some wealth effect going on so people with some assets got richer and then spent more but overall it was a really trickled down effect.
That might have been true a few years ago. Today, there are plenty of entry level jobs using functional languages.
Interesting. Wonder if they target you for some reason? but I think some questions are just following a script, so it might seem invasive but they do this all day.

My dream is if ever got rich from tech or won the lottery, is to travel full time. By plane, train, cruise ship and then buy an RV to explore more of the US. I think RVs are super cool but feel they are a bit outdated compared to modern cars. So hoping by then they'd improve.

But I feel like living an alternative lifestyle would subject me to harassment at some point. I also dream of a mansion in central FL and supercars, but I'm also into minimalism and feel like there's more to life than just buying a bunch of fancy things, that need to be taken care of.

But even starting out as a nomad, I know many states give people trouble at the DMV for full time RVing since mail forwarders aren't considered a valid address, so a lot of people have to change their domicile to a friendlier state such as South Dakota which recognizes people who travel full time. You have a affidavit to fill out, bring proof you rented a mailbox and stayed a night in the state. it's estimated about a million full-time RVers. Then some people live out of boats or a suitcase traveling around.

There's a guy who goes by Super Mario who lives on cruise ships full time. https://youtu.be/bcBzOesw7sc - I think he's a investment advisor who works remotely now. However instead of going from ship to ship, he books on a ship that circles around the same area back to back for 6 months in advance so he can get the same room. The New York Times did a little min doc on him, but traveling over and over again like that wouldn't surprise me if they think he's a drug runner based on travel patterns unless they are aware of him by now for doing this so much times. There's some other interviews with him, pretty interesting lifestyle. I can see the pros and cons.

Dreaming about things is a bit of motivation, but also a bit of distraction too.
Not cruel, but self-centered. Infancy seems to me like a progression from complete self-centerness (if I'm not pleased, I'll cry until I turn blue) to become functional, socially. Adolescence is part of that process of gauging how much to conform to society vs stand up for yourself, until (ideally) you reach a mature state in which the interaction with other human beings is healthy.

I'm no psychologist so please take my input with a grain of salt.

My point is, kids aren't cruel in the sense that we use to refer to adults. They, instead, are socially inept, and can't fully grasp the consequence of their actions.

It's always helpful to keep Hanlon's razor in mind: assume stupidity before malice.
Steam’s next big feature will make any “local multiplayer” game work online
If your threat model includes the US government, then I would expect you would self-host anything sensitive. Even then, there's still the possibility that they could exploit some 0day they've been stockpiling, and root your servers without leaving a trail. Certainly harder than sticking Google with a gagged NSL, but possible.

But I don't think most people's threat model includes the US government. Probably not even most news organizations.
The protestors always try to find away to ambushes the police. There is a case that the protesters try to burn a police alive.
The protester definitely monitoring the police movement to vandalize the train stations and the shops
That’s interesting. I wonder can Linux be persuaded to dynamically alter the swap space from 0 as part of the suspend script?
I wouldn't call them cruel, but they're certainly not the best people on Earth…
In the UK it is typically either per 100g or per kg. Or per litre or per unit. Depends on the category of product.
I find that a major barrier to meeting people is simply money. I live in a large city but there are very few public gathering places appropriate for socializing.

Time is up there too, but that often ties back to money for many of today's youth.
What you say is "Sorry, I can't unsupervise that".

If you wanted to lie, you could say "Sorry it is supervised by my company, I can't unsupervise it"

Alternatively you could encrypt the key or whatever, give that to a friend on a USB stick. Then, at the border, you say "I can't unsupervise that, the keys are managed by a third party." Which is technically the truth... the best kind of truth.
I use https://borgbackup.readthedocs.io/en/stable/ and a local (on-site) NAS. I have yet to find a good solution for off-site backups, privacy concerns prevent me from using the usual (commercial) options.
> There aren't security updates

From the story i get that this doesn't matter as it is a single isolated DOS program they run inside a VM.

> older hardware becomes harder and harder to get fixed

I'm sure you'll be able to find billions of computers that can run OS/2 in a VM both now and in the future.
> A very small minority of protestors have demonstrated willingness to apply violence, and police (including off-duty officers) have been attacked in the open on more than one occasion

Haven't the police being doing the very same thing to protestors and innocent civilians?
Diamond Floating Within a Diamond Is First of Its Kind
Engineers put Leonardo da Vinci’s bridge design to the test
Yes, this is creating lot of churn in terms of apps and user interfaces. Developers as I said before are motivated to build new things causing adverse problems like this situation here were perfectly good apps are being rewritten to an inferior state.
No company is your friend, they just want your money.
But importantly, you don't have a choice of not having your devices seized.
I was frustrated by that as well. In the end, I actually found a solution that was surprisingly easy and works well. I'm about 90% sure it was https://github.com/billstclair/elm-websocket-client, although it's been a few weeks and I can't check right now.
In my fantasies it's running an IO card on a Raspberry Pi with the UAE Amiga emulator.
Wow - this is awful. For simply getting admin rights on your own laptop? How do school admins get away with treating the kids like inmates? Good on your dad, he handled it well.
Mapping China's Tech Giants (By Australian)
> That is a very subtly different question than the one I was trying to ask. Or.. well.. I think it is. What I was trying to ask was if there are formally provable theories that cannot be expressed in a way that would let a computer "compute" the proof.

It depends on the logical system + axioms that your formally provable theory is in respect to, and "how soon" you design the computer that verifies the proof. Recall that a proof is a finite sequence of applications of rules of inference on zero or more axioms to derive a new statement that may be regarded as an axiom for applications later in the sequence, so that the last step derives the theorem.

If there are a countable number of rules of inference and a countable number of axioms, and each rule of inference has finite valence (i.e. infer from finitely many formulae-patterns as hypotheses), then yes, there is a way of encoding the rules of inferences and possible axioms of the logical system that a Turing machine (TM) will find a proof of any provable theorem (i.e. verify it), simply by enumeration of axioms in rules of inferences in the positions in a sequence that constitute the proof, while checking whether the axioms legally fit the rules of inference. (It is always possible to check in finite time whether a (finite-length) formula satisfies the pattern it needs to satisfy by a rule of inference).

On the other hand, if there are an uncountable number of rules of inference or an uncountable number of axioms, there may be a computer that cannot verify all the formally provable theories. For example, trivially, if there are an uncountable number of axioms, then the axioms admit no encoding; that is, there is no set of finite strings in a finite alphabet that is able to uniquely label all the axioms. But an axiom is itself a formally provable theorem; its proof is just introducing itself, yet that proof cannot be represented for all the axioms. (dependent on definition of proof; this example may not be so if we accept a zero sequence as a proof; but in general this illustrates the fact that there are simple theorems in some formal systems + uncountable axioms that cannot be computed).

Yet, if we know beforehand the theorem and rules of inferences and axioms used in some proof of it, and the rules of inference all have finite valence, then that proof only invokes finitely many rules of inference on finitely many axioms, such that we can encode a fragment of the logical system + axioms + expressible formulae such that the TM can verify all formally provable theorems in that fragment, including the desired theorem.
Rail ticket prices are decided at the government level in Norway, so this should have quite a minimal effect on those.

Also, as learning Elm is quite fast - I don't think the vendor lock-in is a very convincing argument.
It's still, at least on paper, freer than many/most other Western countries in most ways AFAIK. I agree that this is a very absurd counterexample, however.
3 children had to leave our grade because they got mercilessly bullied. One of them once attacked one of his bullies with scissors. There was the, at least, bi-weekly garbage king crowning where a kid would be put in the garbage bin.

As the part time class clown I could survive mostly unscathed, but children from other grades were bullying me. I came to school 90 minutes early, so I could get in as one of the first children so I would not have to walk past them.
Physicists and philosophers of science give those terms different
meanings. E.g. what a philosopher of science would call a theory is
called model by physicists. What physicists call a theory is more
a broad framework in which more concrete models can be build.

From the view of a philosopher of science string theory isn’t even a
hypothesis as a hypothesis needs to be testable
Damn, it wasn't so easy to find the article, because TFA doesn't explicitly provide author names, even. But the link in the image title led to Fein et al. (2019).[0]

So what I'm curious about is how far apart those "Two Places at Once" are. And if I'm understanding Fig. 2 correctly, it's large. That is ...

> Fig. 2 | interference data. a, Counts as a function of the transverse position of the third grating with a sine-fit (solid black line) yielding a visibility of 25 ± 3%. The optical grating power was 1.2 W for this single scan. Counts are dark-rate-corrected and normalized to the control measurements.

... with peaks at ~200 nm, ~430 nm, ~680 nm and ~900 nm.

But a 25 kDa molecule is only ~4 nm in diameter.[1]

That's amazing!

0) https://sci-hub.tw/http://dx.doi.org/10.1038/s41567-019-0663...

1) https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3055910/
There are floppy emulators now, they could use those. Also if the diskettes are read only once per boot, they don't get much wear.
Look at the Japanese economy for an example of stability without growth.
Based on the linked content, a better title might be "No venture-capital-funded startup, no billion or trillion dollar corporation is your friend."
Wasn't it "the law" also when they came up with the privacy claim around that terrorist case where the FBI needed access to a device?

I mean, in the end it's the same thing as the classic "I didn't do anything wrong, I've been following orders".
I'd love to DIY this depending on the complexity. What a fascinating device! I hope you continue your research.
Capitalism is founded on the idea that the consumer is a means to an end. Apple, Google, Facebook, etc, can do as they please insofar as they keep creating value to their shareholders.

Which is another way of saying "if you don't like my garden, get the hell out of it!".
> Writing declarative proofs with the machine bridging the intermediate steps is the obvious future.

Do you have a take on what systems are best for this? I found Isabelle/HOL quite reasonable in this respect. There are some toy add-ons to Coq, but I don't think any of them work. There's also FStar which has Z3 integration (if I recall correctly), but last time I played with it it needed quite a lot of hand-holding.
This research publish on April. They also have executive summary to explain how they make this map / report.
https://www.aspi.org.au/report/mapping-chinas-tech-giants
How to Get Alexa App and Echo Dot Setup?
> ”a "half-gallon" of ice cream is no longer actually a half-gallon. Many other food items have shrunk.”

This is a common phenomenon in the UK, and there’s a name for it: Shrinkflation.

It’s a way to raise prices by stealth by not actually changing the price, but by shrinking the product instead.