skysight-inc/HackerNews huggingface dataset:
I'm well aware of this, since I have close family that your situation applies to. Actually, if your parents are married and even one is a US citizen, you will be too, always.

This may just be a terminology disagreement, but that's typically not what is considered "citizenship by descent".

What we're describing is considered by the US to be "citizenship by parents" or "acquired citizenship". On the other hand, "citizenship by descent" is the European tradition of awarding citizenship to grandchildren and even great-grandchildren of citizens. The US doesn't have citizenship by descent (in fact, it's true that there's a single situation when your grandparent's citizenship can matter to someone trying to assert US citizenship, but it's only as a kind of "tiebreaker" if your parents weren't married and one was a US citizen).
Yeah, but the relatively poor performance of index funds in 2018 (no gainz) will lead to capital flowing back to ibanks and hedfe funds
Aw... (Stopping by later and seeing this at the top)

SMDH at myself, too, for giving in to the temptation to just blat out a quick frustration despite knowing this is exactly the kind of nerd-sniping that can get us commentariat more worked up than the actual issue.

Sorry for the noise, folks. I mean, the meta isn't total noise, but remember to spend focus on the actual climate change too, shall we?
All Rust programs call out to platform-dependent unsafe code sooner or later in the form of the standard library. Otherwise, you wouldn't be able to allocate memory or do any I/O whatsoever.

Sometimes the standard library doesn't expose functionality you want, like the capability to read/write the ECN bits of your UDP packets, so you have to bind some syscalls yourself. The capability to do this is one of Rust's core strengths, and it does not compromise a program's rustiness any moreso than calling a wrapper around write to print "Hello, world!" does.
I feel like it made up for the overengineered bits that read like enterprise java instead :)
It's time that companies who put food in a box and mail it to peoples' houses stop claiming to be tech companies.

They are just food delivery companies who happen to have websites. Like all other food delivery companies and restaurants, they are in a cutthroat low-margin business and a few bad months can kill their company. They have no moat because anyone else can also deliver food.
That or the context in which such events were considered 500-year events has radically shifted in the last 100 and especially the last 50 years.
How does tidb deal with at rest encryption and nested transactions?
> Much of the concern in markets right now seems to stem from the idea that as the Federal Reserve tightens credit

This became much less of a concern in late December, when Fed Chair Powell acquiesced to plummeting equities markets and declared a pause on rate hikes, emphasizing the data dependence and lack of a preset course for Fed policy. These statements signaled a shift in tone from the 'dots' published after FOMC, which indicated further hiking and a median expected neutral rate around 3% [0].

> both through raising interest rates

After Powell's comments, expectations for rate hikes have diminished. Looking at 30-Day Fed Funds Futures, you can see that the market is pricing in ~1 more rate hike before the Fed reverses course [1 - chart][2 - source data].

> unwinding its previous QE programs

It remains to be seen how aggressively the Fed will continue unwinding, but I'm curious how much balance sheet the Fed will actually be able to unwind. They've been rolling off ~50B in UST per month [3], starting from ~4.5T. For perspective, the Fed's balance sheet was ~800-900B prior to the GFC. There's reasonable concern that the Fed may not be able to reach pre-QE levels. The money stock appears to exhibit response to the Fed's balance shit reduction [4], which will not help foreign borrowers.

> Debt that is going to come due in the next few years is going to have to be refinanced, or is going to default.

It looks like loans have been refinanced such that the bulk of them mature in 2021 or later [5], giving issuers some breathing room for the time being.

[0] https://www.cnbc.com/2018/12/19/fed-dot-plot-december-2018.h...

[1] https://imgur.com/a/43Gt8si

[2] https://www.barchart.com/futures/quotes/ZQ*0/all-futures

[3] https://www.cnbc.com/2018/11/29/the-fed-is-still-tweaking-it...

[4] https://imgur.com/a/RA62s4e

[5] http://www.leveragedloan.com/us-leveraged-loan-maturity-wall...
Who profits off of people worrying about another economic crisis? I'm pretty knowledgeable on my local real estate market, and people are constantly telling me we're in a bubble (we're not) and it's all going to come crashing down this year (it won't). It seems very common these days for people with next to no economic expertise to be certain of a coming crash. I don't think it can be credited to everyone watching the Big Short.

Edit: Explanation because i'm getting downvoted. I live in Utah. Our prices have increased quite a bit in the past couple years. The first bit of increase was justified by the increase in high paying tech jobs, but then sellers got greedy. We're currently in a stalemate where nothing is selling because sellers want unrealistic prices. That's not a bubble, that's a market correction.
Best 5 Free Webinar Platforms – EzTalks
These require a ducting system, correct?
AI is 30+ years old too, and formal methods (especially things like solving SAT, or theorem proving) used to be considered AI. I'm not quite sure what your point is; just because something has a 30+ years history doesn't somehow make it a mature, usable tech.
The meal kit companies do have fundamental operating advantages which have yet to translate into a massively successful business. By offering customers only a limited choice of meals, they are supposed to achieve huge economies of scale. The problem is that perishables delivery cancels all of these out and then some.

This business will be won by operators with local infrastructure and no delivery... like selling meal kits at grocery stores, or prepared meals for family dinners at office cafeterias.
Mac of all Trades - They are a little pricey but perhaps your only option outside of eBay

https://www.macofalltrades.com
> no it's not.

It is easy to make fundamental predictions in finance. It is impossible to predict timings.

> Once home prices stopped going up as much and interest rates started increasing, these people were no longer able to make their mortgage payments.

When was the last time you looked at the Case–Shiller index?
This is 1) irrelevant, he was not the maintainer for latexmk (in fact he did some non-maintainer uploads very recently for it to update it to the latest version), and 2) not true, he was not "harassed out of the project," he was removed by formal action. I read "harassed out" as "pressured into quitting" or something. He didn't quit under pressure; his account was removed. (And he's still a Debian Maintainer, same status as me.)
>I don't need or want my iPhone to be any thinner

Every iPhone since the iPhone 7 Plus has been thicker than the one before it. The X is the thickest phone since the 4S, which was released in 2011.
Are you really sure there's no systematic fraud? The US is pretty corrupt as far as checks and balances on financial dealings goes, I wouldn't be surprised if this became another one of those "who could have known".
Formal methods make sense when you focus them on the right part of your system. Even if it's changing week-to-week, there's an underlying structure or design that's staying consistent.

You wouldn't use formal methods on, say, the GUI layout of your system. But you could use it to prove that you're accessing your database in a way that won't cause corrupted or incorrect data to appear. If you're working on anything with concurrency, this is actually crucial. Show, for instance, that your multi-user Google Docs clone won't end up with a corrupted document when two users try to edit the same sentence or word at the same time.

That behavior won't change from week-to-week (both the multi-user nature and the desire for stability/reliability), though the nature of the interface or target platforms may change.

Also, Waterfall only existed because some people at NASA/DOD were idiots and couldn't read past the intro to Royce's paper. It needs to die a terrible death.

Formal methods can happily exist within an agile environment once you realize that you don't have to deliver code each week. You are able to deliver prototypes, mockups, and documents along the way. Formal models can exist in that group.
Microsoft Leads Charge for High Speed Rail Corridor in Pacific Northwest
If most of the cars in the car park are turned off, it might not be any worse than a building next to a busy highway where cars are actively spewing CO2.
Yeah. I started a company some years ago, and asked my mother to take care of the books as her job history was office/admin stuff.

Fast forward a few years, she forged my signature on paperwork to ASIC (www.asic.gov.au), making her the sole director of the company.

Not really a person I have time for any more. :(
Respectfully, that's not the sort of color I was hoping for. Instead, consider evidence of derisking as exhibited by recent moves in HY OAS [0].

[0] https://fred.stlouisfed.org/series/BAMLH0A0HYM2
Static type checking is abstract interpretation. If you program in Java you are using formal methods.
Should link to your source code instead: https://github.com/meehow/2read
Fat burns calories.

Generally, to maintain X pounds of weight loss you must consume ~10X fewer calories every day. In order to more quickly reach a new weight most people exceed that difference, but they can’t go back to old eating habits without regaining their original weight.

PS: Metabolism and exercise have real impact, but you can easily out eat any reasonable exercise plan.
There wasn't a "lack of rigor"

He just never finished. He collected data and then didn't follow up with graphs and conclusions and such.

There's nothing wrong with a blog post that tells you about 2/3 of a N=1 study on yourself, it's interesting. It doesn't owe you completion, it just is not complete.
Not True.

Agile Dev (according to me) means you are trying to specify what the customer want as you develop your code and not specify it right in the beginning.

You can make changes to the specs when you are figuring things out. Also, you do verification when you are somewhat confident in your code is doing what the customer wants, so verification should come towards the end of your development phase (or at least end of developing parts of your code base).
Jtsummers, I don't disagree with you. The reality is the DO-178C is no different than PCI or other compliance standards, and there are ways to game it with docs.

With that said, if formal methods were really required to fly the plane then they would add it to the DO-178[D] without hesitation =]
I don't think it's about agile, even with waterfall "you still don't know what you are actually making" as another comment put it.

Making software is how you figure out what you are making. Formal methods are just philosophically incompatible with that. Software is how you learn the world and formal methods is how you create it, you can't have both and we don't really have much use for creating worlds.
Sure, and those apps didn't exist in late 2016/early 2017 when Debian stable was being finalized. It's called stable for a reason. If you want a faster-moving distro with correspondingly higher risk, there are multiple excellent choices, but in general you'll have to keep up with a much faster upgrade cycle. (My personal preferences would be Ubuntu non-LTS or even Debian testing, which goes through pretty good QA these days and is a fine choice for non-production-critical machines.) Alternatively, wait a few months and the next stable release will have you covered.
If your work is that valuable then perhaps you’re selling yourself short? In my 40s now and have definitely encountered age discrimination but found remote work once I updated my skills. I hope you get out of that dump!
> If you park in an unauthorized zone with "no-parking" signs it can literally take minutes (believe me I've had this happen)

And that’s exactly what should happen if you’re in an unauthorized space. The need for convenience does not suddenly grant short-term authorization.
The difference is the ease and magnitude.

Where there even cases of demanding payments for ransomware before Bitcoin?

Ransomware and international money laundering are easier with Bitcoin, Ethereum, and Monereo.

It's arguably their only real world use case due to the high overhead cost, risk, and instability of transacting though those systems versus "traditional" fiat based transfer systems.
Recently I was inspired to, given a time travel story someone shared. They said "If you were to travel from 16th century to today, nothing would be recognizable except church and the school system". In that moment I realized the sad truth in that. So many critical life skills are taught poorly or in many cases not taught at all.

Purchasing land/property/home, credit, investing, financial literacy, emotional intelligence and the list continue -- these are all things that modern education neglects. I am pro-homeschool and advocate my 4 children travel and experience the world as much as possible.
Changing the Execution Policy triggers a UAC prompt...
If we are certain the sea levels are going to rise X amount over the next Y years, why aren't people buying up all the currently cheap but soon to be waterside property? If global warming is settled science I would have expected the money to be talking by now.
Every point you have written is incorrect. I suggest you spend 5 minutes researching all of your points and you can see that.
But to summarise, all those coins in those addresses are held in known wallets of exchanges and wallets, bitcoin inflation is halved every few years, breaking bitcoin crypto will have devastating effects on the entire world including all banks and governments, Bitcoin crypto tech can be changed, bitfinexed is a joke and has been proven to be wrong many, many times.
> I'm pretty knowledgeable on my local real estate market, and people are constantly telling me we're in a bubble (we're not)

I don't know your real estate market, but real estate seems to be in a bubble basically world wide.

A bubble can easily predicted when looking backwards. Regarding the future: The Case–Shiller index does not make current US real estate prices look like a bargain.
With NYT, it’s really about racial bias and gender discrimination. Subliminally, the author has been conditioned to draw a connection to white flight, and then reflexively disparage accordingly.
Also important in the middle of nowhere when the clean, forest air turns to smoke each August.
Right, just wanted to clean it a little first :)
Fine, I'll rephrase that as "I would be more than thrilled if we got rid of the allegedly-free market entirely." Let's admit that truly free markets are an unstable equilibrium and that government regulation can actually do some good, and let's stop being afraid of government-run markets.
Morgan from the TiDB team here. We are working on at rest encryption now - stay tuned.

w.r.t. nested transactions, this is not something that MySQL currently offers (TiDB is MySQL 5.7 compatible). Sometimes this is emulatable via savepoints, which is a feature we plan to add in the future.
“Receiver” should doubtless be abbreviated to “rx” (common in telecommunications, along with “tx” for “transmitter”).

(This has the added bonus of potential confusion with RxJS.)
I have been through something similar (not with the NYT) with the same result. In fact I can't think of a single news story I have personal knowledge of that came out the media meat grinder showing any resembalance to what went in - pink slime more closely resembles a cow than these stories to the facts.
Here are some I thought of off the top of my head. These are based upon things I actually encountered.

What if I were to provide a solution that executes much faster, requires less documentation, passes test automation, and is a quarter of the code but ignores the framework or standard code style?

The standard DOM methods perform thousands of times faster than other options for interacting with markup. I can prove this with numbers. Code like that is not popular. Will I be allowed to write unpopular objectively superior code?

If I can reduce the application build from 5 minutes to 5 seconds will you let me rewrite the build from Java to Typescript?

A/B testing is a powerful way to determine preferential user behavior and a measured increase in conversion. Will I be allowed to write inward facing experiments to test developer behavior?

What if I provide a function as a solution the makes use of scope and nested functions but offers no support for inheritance?

Is it better to complete a task in 1 hour with original code plus tests or extend existing components with risk of regression and 4 days of effort?
It's unlikely you'll have a noticeable difference in co2 levels with indoor plants, even considering your unusual setup.
Fraud was cited as a major factor contributing to the S&L crises. In companies it tends to be in the form of Control Fraud where insiders fleece the corporation.

https://en.wikipedia.org/wiki/Savings_and_loan_crisis
Yes, if your experiment was well designed you will learn something from it and your experiment's design will indeed speak for itself because its conclusion diminishes the search space of what can be known -- on one side of your hypothesis or the other.

But to report no conclusion means your experiment has failed: either your method was bad (and your work deserves oblivion), or you reported only your data, or you didn't even report that. It's not clear in this case which of the last two scenarios apply here, but reporting only data without a discussion of results or conclusion adds precious little.

Ill-conceived, badly executed, or incomplete experiments add nothing to our knowledge of the world, except more noise. There are already too many unreplicatable experimental conclusions in science today. Let's not short-circuit the experimental method (to wit: missing negative/positive controls, incomplete discussion of results in the context of the DOE, and a judicious conclusion of the in/significance of those contextualized validated results).

The scientific method has a tough enough row to hoe these days. Let's not make it harder by inviting weeds through methodological neglect.
Does it also make you upset that it used to be a rainforest before the ice came and destroyed it all?

I not trying to be sarcastic, just thinking about it.
Poe's law is biting me.
We are. My wife has to put in a ton of time to make it all work, but my kids are excelling and enthusiastic about learning now because of it. We ended up doing it because it turned out that teachers were either keeping kids busy with make-work, mollifying bullies until they could pass them on to someone else, or cramming for standardized tests. We just decided that we'd had enough one day, and thankfully right before our youngest even started.

Funny thing is, they tested as "gifted" (95-99th percentile in the county) but it turned out they were ~2 years behind where they should have been. They've been catching up, but the "D's get degrees" mentality is alive and well in K-12 too.
I've also switched to iosevka after many years of dejavu sans mono. I really like the brackets of iosevka, and its italics. I also appreciate the customisability of it, and the fact that the font itself is in some ways built rather like Computer Modern via METAFONT (and that it uses a Lisp-like language to do so).
Correct. Screen Time is an Apple product, and an invention of marketing.

The reality is that human behavior is drastically modified by mobile devices, the cloud and ubiquitous wireless broadband.

You couldn’t escape if you tried. The frogs are boiling.
Update: The documentation has now been updated https://github.com/pingcap/tidb/pull/9144
Do people read "The Mythical Man-Month" anymore? The answer to questions like these are part of the book. First, there is no "Silver Bullet" which makes software development easy. Second, adding a layer of additional effort like Formal Methods necessarily either (a) increases development time significantly or (b) exponentially increases headcount.

I'm not suggesting that you avoid Formal Methods. It might really fit your needs -- for example, if you need high-quality code and can afford the expense, Formal Methods may fit the bill. The important thing is that not all development projects have the same needs.
Build everything to be as easy as possible to debug, because everything else you can do at work after a nice cup of coffee, debugging is the only thing you might have to do at 3AM while drunk.

So:

- Set up some kind of logging, by default use rsyslog and set it up so your logs are available somewhere other than the machine where something is running. You will be surprised how often something breaks and takes the server down with it so you can't log in.

- Later on, when you have to debug stuff, READ THE LOGS. I can't explain it, but after years of working on production systems I have noticed that almost nobody actually goes back and just reads the logs when things go wrong. You will find the problem spelled out in the logs 99% of the time. YOU CAN'T JUST GUESS WHAT WENT WRONG.

- Use transactions properly.

- If you use an ORM, do whatever you need to do to keep track of how many actual queries are done. You are going to find that you do some order of magnitude more queries than you thought. Learn how to give the ORM hints to avoid this.
"Screen time" != "Screen time".

That's my main problem with all this "screen time is bad" stuff.

There's a huge difference between a kid spending 2 hours playing Flappy Bird and spending 2 hours playing with an educational app, or drawing/painting in an app, or watching tutorials on YouTube.

It's like saying "time at the park is bad for you" because some kids go to the park to smoke cigarettes and drink alcohol.

Screen time isn't bad for kids. Parents not controlling what kids DO on the screens is bad for kids. It's all just another convenient thing for parents to point at and blame for their lazy parenting.

Moderate what your kids do, push them towards using screens and technology in educational and beneficial ways that stimulate their imagination and creativity, control the amount of time they spend sedentary, and teach them that like all things in life, balance and variety are important.

(Parent of 2 kids, who get unlimited access to TV, game consoles, and a tablet, and would much rather play Lego)
> Then you only sell the drugs that do profit, and stop making the ones that cost money.

This is the situation we're in now. Just different people shoulder differing amounts of the cost. Equal pricing won't change the fundamental economics of drug research.
You're right, that his use of "innacurate and irresponsible" is sensationalist. But he is right in claiming that this is a bullshit clickbait headline.

The scientist literally told her that the entire concept of a tipping point did not apply here. That gives a totally different sense of urgency to the title.

>it makes it appear as if we have passed...return

The scientist is concerned over the literal definition of a turning point.
Struggling to get a 10k loan... like just as an individual that should be pretty easy for me to get at the drop of a hat.

Odd a business would struggle to get something that small.
Spotify will soon let you mute and block artists
A finance guy calling out physicists for wasting resources and doing useless work?

Whether quantum computing research will deliver anything useful soon or not (it won't), I think the picture at the end sums up the author's attitude nicely.
Not disagreeing with you, but would buying far out of the money options be a viable strategy if you wait long enough for the black swan event?