skysight-inc/HackerNews huggingface dataset:
Android screwed up by putting AsyncTask in their first set of documentation. Its easy to show demos with but hard to get right in a safe way.

There are some interesting things that Unity coroutines do, like the idea that routines are tied to owners that are running them, so when the owner's life cycle ends, the coroutines no longer continue. However, as a whole I think there's a lot wrong with them. They're not any safer than Android's async functionality, they just make doing anything off the main thread almost impossible so threading issues are easier to deal with. The whole wait and continue functionality of them is also very frustrating in implementation with many exceptions and hacks.
Snack on something like carrots, cucumber, and other vegetables that aren't sweet or fatty. You'll significantly cut down on the calories and gain some healthy food too. Just don't create dipping sauce or the like. Raw vegetables only.
Carrots, celery, cucumber, 0% fat cottage cheese.
He'd been writing parliamentarian and anti-clerical pamphlets since before the civil war, so it was already quite clear where his sympathies and loyalty lay.
That sounds very neat. Haven't used Windows in ages but likely have to in the future, this might make it more manageable.

Is there any drawbacks to this considering this installation method isn't listed on the installation page on their website?[0]

The closes I found to this installation method was:

"When you have Visual Studio 2010+ and the NuGet extension installed (pre-installed on any newer versions of Visual Studio), you can simply type the following three commands and you will have Chocolatey installed on your machine."

Install-Package chocolatey
Initialize-Chocolatey
Uninstall-Package chocolatey

[0] https://chocolatey.org/install#installing-chocolatey
probably the same way a slave owner thinks when you tell them slave owning is immoral and is a violation other people's self-ownership.
I tried it with my notebook repo at https://github.com/azer/notebook , the result wasn't impressive; https://hub.mybinder.org/user/azer-notebook-rgdv97ik/edit/bo...

Original Github view looks more clean: https://github.com/azer/notebook/blob/master/books/zero-to-o...
Can your whole online business be trivially replaced with a phonecall to a local service? congrats you're not a company that can succeed in the tech space because the competition is skyhigh.

Nowadays i'd say a tech company is defined by the "tech" it is implementing to disrupt/control the market. no disruption tech = waste of vc capital. "we do x better" isn't enough to last unless it's so radically better it is a new space(google's call screening feature could be spun off into it's own company for eg)
If they're coming in, I'll hand them a laptop with the project set up and ready to go, with IntelliJ running. If they're normally an Eclipse user I'll swap to Eclipse shortcuts and help them manage the IDE as we go.

If it's remote, I'll ask them to share their screen with me with a project set up and ready to go, having emailed them a copy of the interface we're going to implement about 30 minutes before the interview.
Have you thought about installing a screen door in your bedroom? You could also look into reinforcing it with chicken wire or hail cloth to keep the cat out.
Award winning retail and wholesale supplier – Pine Tea and Coffee
they do not create money, they are lending you someone else savings or money created by the federal reserve.
Reflecting on the Burger King Pokémon Disaster of 1999
Proof in formal methods means the mathematical kind: with certainty the program / function implements the specification.

Mathematicians can also prove something irrelevant or useless, or something fundamental like 1+1=2.
Learning new concepts – my React journey so far
This is the premise of the film adaptation of I am Legend;

> The story is set in New York City after a virus, which was originally created to cure cancer, has wiped out most of mankind, leaving Neville as the last human in New York, other than nocturnal mutants.

https://en.wikipedia.org/wiki/I_Am_Legend_(film)

Mostly, Just Another Generic Zombie Film, though.
> Every government IT project that is years late and billions over budget is because of this

Well, that used to seem to be true before governments started experimenting with (methodologies which were notionally versions of) Agile, Lean, and related ideas. Then there were a whole new set of reasons for IT projects being years late and over budget.
MinGW ships with pacman, I can’t see why one would need this.
My university was founded in 1088 and is in continuous operation since then. Sure it is a great place to study but sometimes I ask myself if it really changed that much
Databases, security, concurrency, transactions / distributed systems, reliability, performance tuning. Good start.
Chocolatey repository is a mire of abandonment and nuget is utterly unreliable so the first thing that comes to mind is "favourably"
Related, infinite repeating dashed lines without SVG: https://www.folklore.org/StoryView.py?project=Macintosh&stor...
Unless, of course, these 10 lines are an invariant-preserving data manipulation code. If you inline that, then good luck ever needing to change that invariant.
I discovered Chocolatey during a Windows stint at work ~3 years back and found their package quality to be very poor. I'd go as far as saying packages had a 50% chance of leaving you with a usable installation of software.

We ended up changing provisioning scripts to download .msi installers directly and run them with appropriate switches.

I also remember their website having a lot of "maintainers required" notices - I got the impression that the situation was a little desperate.

Has package quality improved? Is Chocolatey a genuinely reliable way to install software, now?
It's actually quite obvious why gradient boosted trees don't work on the synthetic dataset, if you know how they're trained. I guess it's a testimonial for their usefulness as black-box predictors that the author didn't realize that.

For gradient boosted trees, you first need to grow a single tree. That tree starts with a single leaf and then needs to be split to try and improve performance. But because the data is perfectly antisymmetric, no suitable split can be found. So the growing process terminates. Gradient boosting can't help you, because the residuals to train the next tree on are identical to the original data.

If you add even the slightest amount of imbalance to the data, e.g. by sampling random positions instead of using a grid, the problem disappears.
I think all formal verification methods are built from bottom up, and verification begins at standard C library. The bigger you program gets, the more dependencies you have to verify.

If your tech platform does not have a long history of formal methods, you will have hard time building the verification chain on your own.

In Javascript, for example, you will have to formally verify the whole browser, and all its dependencies, before you can meaningfully verify the code running inside it. That's very hard
I'm not overreading, you said you prefer shipping sub optimal solutions. Sounds like to me.

I didn't call you lazy, I said that shipping in the name of delivery focus was lazy, or at least your argument about idealism was.

Fact is, shipping quality is the far more optimal solution and always will be. Making the trade off and adding technical debt is never a worthy trade long term. The only people who gain from it are you and your team. The rest of the company eventually grinds to a halt and begins taking more and more shortcuts around the code which just reinforces everything in a viscous cycle.

You might find this useful:
https://youtu.be/DngAZyWMGR0
Einstein Summation in Numpy
I know a few home schooled kids that are now adults. They're so far from being socially stunted.

The social aspects of school aren't always positive. Most adults that have difficulty interacting with other people tend to have had a bad time in school. I've seen a little bit of naivety from home schooled people but I've never seen someone full of hurt like I have from people from public school.
Depends on the use case / workload.
"the core problem with Windows software is there isn't a primary software repository for all approved and tested software"

scoop uses portable binaries provided from the original source. For many people that's good enough.

Maybe chocolatery is more to your taste.
how else are you going to feed a group of people in a big city? e,having people make their own food is irritating(and can't be included in "perks"), having a staff kitchen/canteen is a cost center.

how would you do it better?
The meaning is more fluent. The doctor can put you on a strict diet with a mealplan "lægen har sat mig på en streng diæt med kostplan og det hele", that isn't necessarily temporary.
What are you talking about? Baboons, macaques, gibbons, great apes, capuchins, howlers, or squirrel monkey do not conduct arranged marriages, nor marriages at all for that matter. Looking at evolution and how it formed us and we find very little of arranged marriages.

Arranged marriages also limits men and women equally (the definition is the bride and groom are selected by individuals other than the couple themselves) so I am not sure what argument you are trying to make in the first place.
A flaw in #MySQL could allow rogue servers to steal files from clients
No need to be adversarial, we're talking about coding styles.

I actually sometimes write very short helper functions that are actually meant to improve readability by abstracting some details and making the code more self-documenting.

For instance I have this code in my current application (a device driver):

static unsigned get_machine_id(struct manager *mgr)
{
u32 conf = readl(mgr->regs + OFF_MACHINE_ID);

return conf & 0xff;
}

It's called twice in the entire code. By you rule I ought to manually inline it but I think it'd actually make the code worse, not better. It's always a matter of balance, writing good code is an art.

>Only noobs avoid copy&paste at all costs

Only noobs rely on rules of thumb indiscriminately.
> Are you able to elaborate on the derisking you've been seeing?

The giant amount of credit that was raised for LBOs during last 5 years of stocks rally.

A lot of those LBOs went sour.
Most of the crap software I have worked on has been bad because of a poor data model. I don't think of database design / data modelling as particularly hard, but working on other peoples software, some people make a really bad job of it.
My anecdote: I lose weight very easily by CICO. Over the course of of a few months in college I ate a very strict diet of x calories. At the time it was something like 1100/day as a ~200lb 21 year old. Supposedly dangerous, but a lot of things are. Anyway, by keeping an excel sheet of the exact calories I ate every day, minus my calculated metabolic rate, I knew exactly what %/lb I lost per day/week. I kept such good track that by measuring my weight every day I was able to reverse calculate my metabolic rate by the daily weight loss (it was very close to online calculators so I wouldn't bother going out of your way to try it).

The most important thing for me is seeing it as a game. Being able to see daily results even if they are fractions of pounds a day or week. Knowing exactly what I'm aiming for at the end of the week and how I'm getting there.

The most difficult party is meticulously counting calories and ratios when making things. A kitchen scale is essential.

Anyway I was 50 lbs lighter when I quit. It has come back over the course of 6 or 7 years but I'm a pig and I will just lose it again when the time comes.
> If it calls 10 functions, then the equivalent "inlined" function written under my rule is at most 100 lines long

Only if those 10 functions weren't already inlined themselves.
Well, yes, but if mathematicians prove something then we know it is true. And if they can't prove the trivialities, that would be a crisis for the entire discipline, because 1+1=2 relates to everything they do.

If software people prove something we also know it is true, but not that it usefully relates to the software. In fact, 0.1+0.2 is likely != 0.3 for most software. You can prove you have integer types or fractional types or whatever, then a hardware bug comes along and your proof doesn't relate to the real world anyway. So what exactly is the standard we are working to? Is proof reasonably superior to more effort testing? That is a debatable point, and the economics suggests no.

Since formal methods are clearly targeted at programming, what is this link to software? We can prove trivial things like 1+1=2 but that still doesn't necessarily connect to anything that gets implemented.

Any program is a trivial proof of itself; so why are we interested in these specific proofs? Saying that they have a proof doesn't seem meaningful and is a language barrier to whatever they actually mean - which having had a good long think, is probably 'programmatic scoping', which describes what they actually seem to be doing.
Firefox already has built-in ‘reader’ mode. Afaik Readability is their implementation (possibly old)―it's on Mozilla's GitHub.
UN Calls Bitcoin and Cryptocurrency New Frontier in Financing
https://repology.org/

It's a common web interface on top of many package repositories, including this one.
The bed that saved me from the Taliban
> pizza, Indian, Thai, Sushi etc. places

this selection contains the answer to your question: all those cuisines's recipes use few ingredients in a lot of variations and have preparations that can easily sit waiting for a customer.

it's harder to find restaurants or other places with large or daily menus that can sustain a structured delivery chain as primary income source, maybe they can support the more unstructured uber food aproach but usually that's it. exceptions apply, but parent listed a good deal of causes why this is capital inefficient.

these startups are trying to create a "microcatering" market, which is radically different.
There is also "slankekur" which more or less translates to "slimming-cure"
TLA+ is an ugly language, just like PlusCal. I'll never understand how people can come to the conclusion that it's fine to have syntax like:

* \A p \in people

* acc = [p \in people |-> 5]

* (-- ;) for wrapping PlusCal

* /= for inequality

* /\ for and

* seq1 \o seq2 for append

* and so on

All of these are from the Practical TLA+ book.

Honestly, TLA+ (or PlusCal) looks very impractical. If I want to use mathematical notation I'll do on paper, not write some frankenstein version of it in Eclipse.

At this point the whole syntax should be written off as a failed experiment and they should kindly ask Anders Hejlsberg or Guido van Rossum for help.
Common misconception. Infinite worlds doesn’t mean all possibilities. There’s infinite numbers less than 2, and none of them are 3. Fully possible to suck in every possible version of yourself. Or whatever the context of the question happens to be.
My favorite rule is orthogonal to length. Functions should ideally be at one level of abstraction. If you are doing 100 things at a single level of abstraction, and it flows logically, then by all means, keep it togeather. But if in a high level protocol specification you, say, concatenate strings and describe the details of fetching from files etc, then it might be better to isolate those.

Of course, what exactly a level of abstraction depends on how you model, and personal opinion. But I find it a more useful starting point then "line count".
TIL that in the US you use a different octane rating to the UK (and Europe generally). We use RON, while you use an average of RON and MON (called PON or AKI).

Our baseline fuel here is called "Premium Unleaded", despite it being the standard fuel and is 95 RON, which should equate to about 90-91 AKI meaning it lines up with your Premium gas.

We also have "Super Unleaded" at the pumps, which is 98 RON and should equate to 93 AKI in the US.

I guess that means we have no equivalent of your regular gas.

FWIW I've never managed to detect any benefit of using the 98 octane fuel, either in performance or fuel consumption. I've never owned a really high performance car, beyond a tweaked Saab 9000 Turbo running a higher boost, and that seemed to be happier on the Premium. I always assume that the 98 octane stuff is just a way of extracting extra money from gullible people, but I have no more proof of that than the anecdata from all the people who buy it and swear by it (probably because of https://en.wikipedia.org/wiki/Choice-supportive_bias )
Goodyear Welted Shoes
Running your JUnit5 integration test with embedded elasticsearch on random port
> Probably rejected willingly even ('where are my objects?')

Local type inference was rejected in Java in 2001 because "you need to spec your types precisely"
Climate Change Is, in General, Not an Existential Risk
Even in most universal healthcare countries dentistry and vision are only covered for minors, because they’re seen as care that can be budgeted ahead of time (you know a tooth is sensitive waayy before you actually have it filled, so you can save up for the cost). Dentists and opticians are run like businesses.

And yes, $200 is still ridiculously expensive for a filling. Here in The Netherlands I’d pay ~$104 for a multi-sided composite filling (the most complicated filling you can get). For the cheapest (one-sided amalgam) I’d pay ~$25. Local anesthesia would be ~$8.
That assumes that he views copyright timelines as reasonable.
That doesn't really resonate with me, might just be a cultural disconnect.

I've worked at 5 Bay Area tech jobs, and in all of them, it has been fairly common that some people choose to stay for dinner. Sometimes it's people who start the day later, sometimes it's people who are working a bit extra. I'm having a hard time remembering a time where I felt pressured to stay for dinner, it's just a schedule that some people have. Two places I've worked (including my current place) have offered free dinner for anyone around at dinnertime.
I know right?

And as a write this, the only other reply to you is basically a confused "but how else would you do it", since apparently the concept of putting in your 8 hours and going home to eat dinner with your family just doesn't compute.
I can highly, highly recommend listening to John Rogers’ set of lectures on Paradise Lost, ideally as you’re reading through the poem (one book, one lecture). It was how I first read the poem and it massively enriched the experience: https://oyc.yale.edu/english/engl-220

(It also inspired me to start my education business)
Well, let's observe the run for the patent.
I am already baffled that a major Dutch periodical (Elsevier magazine) fails at typesetting the "2" in "CO2" in subscript, but gwern? (Et tu, gwern?)
Most software complexity is in interactions between systems. Container frameworks, operating system, hardware drivers, random libraries, 3rd party APIs, cloud provider APIs, client browser, etc.

Unless all of these are specified in a single language / framework, you can't really apply formal methods to the system. Instead you'll only be applying formal methods to individual library functions / features. At least for code that isn't security-critical, these are already quite robust thanks to the use of strong typing (especially with powerful typecheckers for algebraic data types) and unit testing. Formal methods are merely an improvement on advanced typecheckers and unit testing frameworks.

The real difficulty is in verifying complex interacting systems - the kind of thing for which you have integration tests, which are quite difficult to write in an exhaustive way and catch edge conditions.

Note also that even for security-critical code, formal methods don't really guarantee safety either, since many classes of attacks are based on timing attacks, especially cache-based timing attacks.
> nail one or two big metros

is there any that tried instead to partner with some existing catering company to leverage their off time instead of building everything from scratch?

seems to me building your whole cooking chain is quite inefficient
Just to pile on with what you said to the parent...

For most of the thousands of years we've had something like marriage, it was a privilege of the upper class anyway. Marriage served as a means to preserve political power.

If you don't have any political power, you weren't getting married.
You're completely neglecting that sugar is addictive. No matter how sensitive to sweetness you are, the very moment you eat anything sweet, you will need something that is either more sweet next time to get the same chemical "fix" in your brain, or you will need to abstain from sweet stuff until your palate and brain have reset.

So even when you cut back on sweet stuff, you will need to continually and consciously hold back, otherwise you will crave it more and your palate will desensitize to the sweet flavor - this is simple biology that no one can escape (except for rare medical conditions).
Why You Should Learn .net in 2019
There goes that simplicity then. How do you pick one? How do you stay on it? How do you decide whether to switch, when to switch and what to switch to? How do you motivate yourself to try again once you've failed? And on it goes.
False. Writing a waterfall-style “spec” on paper has nothing to do with formal methods.
> I don't see any statments

The whole text, starting from the title, is "making it nice" in the modern tendency of some who like to imply that what was actually vile was "good" or "not so bad."

How many boys were taken? The OP text mentions hundreds, but that was after the point which was in Wikipedia specified as the "end of the system" (1) whereas:

https://en.wikipedia.org/wiki/Devshirme

"Shaw writes that their number was 30,000 under Suleiman the Magnificent" - that is, that was the size of the army.

More important:

"Devshirme[a] (Ottoman Turkish: دوشيرمه‎, devşirme, literally "lifting" or "collecting"), also known as the blood tax or tribute in blood,[2] was chiefly the practice where by the Ottoman Empire sent military officers to take Christian boys, ages 8 to 18, from their families in Eastern and Southeastern Europe in order that they be raised to serve the state.[3] This tax of sons was imposed only on the Christian subjects of the empire, in the villages of the Balkans and Anatolia."

"The ideal age of a recruit was between 8 and 10 years of age"

What's actually "not so bad" in taking the 8-10 years old children away to maintain the army of 30000?

Read the argument of the article:

"Beyond ‘slave soldiers’" "Essentially, they displayed their ‘slave’ status with pride" --- oh, that makes it OK then? The boys taken from their families when they are 8 to be slave solders for life, but "displayed their ‘slave’ status with pride" somehow is an argument that their status is "misleading, if perceived through the lens of our modern sensibility" (the article tries to argue). Really?

----

1) Under the title of "Decline": 1638 or 1648 "In an order sent in multiple copies to authorities throughout the European provinces in 1666 a devshirme recruitment target of between 300 and 320 was set for an area covering the whole of the central and western Balkans." That was the "official end" according to Wikipedia: "only 300 and 320." Per year, or per month?
It seems to me, that you don't really want to be associated with this person. If that is the case, don't associate. Find somebody you are aligned with.

I.e. if you want him to represent the company on networking event's, you don't want to stand around with banners saying "Our investors private opinions don't represent the views of the company!", if he is so public about his private opinions :-)

Especially consider if you would ever clash directly. What if you would want to have a diversity initiative in your hiring? e.t.c.

On the other hand, if you agree to disagree, but you really like him and don't mind that others might view you as politically incorrect, get him on-board.