skysight-inc/HackerNews huggingface dataset:
Lots of threads, if anyone's curious for more. A few weeks ago: https://news.ycombinator.com/item?id=22184052

8 months ago: https://news.ycombinator.com/item?id=20038619

11 months ago: https://news.ycombinator.com/item?id=19407847

2018: https://news.ycombinator.com/item?id=18075143
I've been researching about this since I moved to a more urban area. I think the best bet is hydroponics in terms of cost and logistics. I know some people have a hybrid indoor/outdoor solution using the IKEA stuff[1]. The biggest problem with soil is bugs. I've had problems even with miracle grow bags. The only way to prevent this is to let the soil dry up in the sun for a day or two but it's very difficult for a small apartment balcony.

[1] https://www.ikea.com/gb/en/cat/hydrophonics-pp002/
And that’s just it. You worked at a FAANG - a company large enough that could carry the dead weight of junior developer (no insult intended we were all dead weight at some point).

I’ve worked at smaller companies by choice or at smaller divisions of large companies (occasionally). One developer salary is a major cost and can add to their revenue.

If you only have a few openings, you better make them count.

For instance, I know that some features I designed and developed from the ground up was the difference between us getting a client (B2B) and not getting a client. I also know how much revenue that client added directly to our bottom line. I was what is usually called a Single Responsible Individual. When one hire needs to be that impactful, there is no room for training juniors. All of our local software engineers can point to a feature they spearheaded that added measurably to our revenue.

Now the hard truth is, why hire junior developers locally when you can hire people with much more experience overseas for the same price? I know the stereotype of the crappy outsourced developer, but I haven’t found that to be the case.

Anecdotally, I was lucky enough never to be a junior developer[1], I got my first job out of college with a small company based on an internship the previous year. My first assignment was create a networked data entry system in C that was the basis of a new department that they were starting that allowed them to double in size. But I had been a hobbyist programmer for a decade. By the time I got my next job, I was already considered a mid level developer.

[1] yeah that did hurt me later on. I didn’t get any type of real mentoring and stayed an “expert beginner” for a decade.
https://news.ycombinator.com/item?id=19661329
Think about the Strait of Gibraltar, Ceuta, Melilla, and Canary Islands:

- Gibraltar is a potential choke point for the mediterranean if something happens in the Suez Canal.

- 3 nations (UK, Morocco, and Spain) have territorial waters on the strait. All three are NATO members, but the UK left the EU last month and cannot be considered as an ally for it gibraltar politics anymore...

- Marocco is claiming more territry waters both in the ocean side near canary islands, and in small islands Ceuta and Melilla. See Perejil Island incident (https://en.wikipedia.org/wiki/Perejil_Island).

Also, Spain sells a lot of weapons. Submarines are a good addition to the catalog.
You may want to read part III ("The OCaml tools") here: https://caml.inria.fr/distrib/ocaml-4.10/ocaml-4.10-refman.p...

You could give https://ocaml.org/learn/tutorials/ a try as well, specifically this: https://ocaml.org/learn/tutorials/setting_up_with_oasis.html

For profiling: https://ocaml.org/learn/tutorials/performance_and_profiling....

For debugging: https://ocaml.org/learn/tutorials/debug.html and https://caml.inria.fr/pub/docs/manual-ocaml/debugger.html

For unit testing: https://www.cs.cornell.edu/courses/cs3110/2019fa/textbook/da... and https://www.cs.cornell.edu/courses/cs3110/2019fa/textbook/te...

You may find https://github.com/gildor478/ounit#examples useful for both OUnit (unit testing) and OASIS (build system).
On the other hand when our shop does code review we spend a lot more time looking at the logic than the comments.
You only need to go back ~1200 years: https://en.m.wikipedia.org/wiki/Umayyad_conquest_of_Hispania
There's lots of apparently sloppy editing. For example:

> Despite having a sound theoretical basis, the question remains as to whether or not meteors larger than a grain of dust enter Earth's atmosphere at sub-relativistic or relativistic speeds. These would be meteors that measure 1 mm (0.04 in), 1 cm (0.4 in), or 10 cm (4 in) in diameter.

I mean, what, they're quantized?
> Can't see any specific pro-bernie content.

Nor will you - Clinton camp (and most of the establishment) is very anti-Bernie.
> It's basically a lie, and there's no actual data to suggest that California house sales are drastically lower because of Prop 13.

There is real research and data backing my statement. This kind of stuff has been published in serious economics journals for years now. There's no reason to rely on back-of-the-envelope estimates of housing turnover. Please take a look:

https://www.nber.org/digest/apr05/w11108.html
Got it.
If I may ask, when you say not in target market, meaning you're not a startup, or prefer non cloud solutions, or something else?
Remember when Apple was AntiIBM? Now they are the IBM of the 21st century.
Is There Such a Thing as a ‘Sugar High’?
It’s one factor not the entire disease.
Useful information on self-hosting 3rd party resources: https://calendar.perfplanet.com/2019/self-hosting-third-part...
At this point you have to self host assets, assuming their license allows that, if you want to comply with privacy regulation. If you don't have a signed legal contract with Google asserting they are not tracking your customers via embedded links, then you must assume they are doing so and you are out of legal compliance.
In addition to what the other commenters pointed out about cat being able to concatenate, even using cat as the identity function is useful. Just as the number zero is useful.
Thy Neighbor's Solar Cells
It _is_ a problem. There is no need to use hypothetical here.

- healthcare

This high degree of concentration has been building for years. A study published in the American Economics Review in 2012 found that the share of U.S. communities in which health insurance markets had become “highly concentrated” (using the standard deployed by Federal anti-trust regulators) increased from 68 in 1998 to 99 percent in 2006. The same study concluded that this increase in concentration had caused a seven percentage point increase in premiums over the period.

- telco

https://www.groundedreason.com/does-the-u-s-have-a-broadband...

The actual list is long. There are 2 more obvious examples.
Also, some webpages don’t even run on the internet.
LA tent was $200ish for a 2bd apt in the seventies, now $2000ish.
From what I read about american airplanes they have this days software that call home and send tracking data, plus imagine some diplomatic incident(like a tweet of some extradition case) and you now have to worry if your submarines will be remotely bricked ... so yeah if you buy important crap from others make sure you can control the software too.
Physicists out there, Shouldn’t the mass of these objects increase as they are traveling at that speed according to Einstein. Also does the increase in mass means size of just mass within the same size ?
How to See a Star Explode in 2022 (2017)
Is anyone aware any similar product that also pays back game developers and modders for how many people download their games or how many times people used an asset they created?

Modding on PC isn't the best experience since it requires a lot of work on the developer side to create an API for you AND you need to go ahead and learn how this API works by staring at a small number of samples.

If the game doesn't have an API you need to disassemble the game and figure out how to actually integrate your changes but you can't distribute it since you're violating the developer's intellectual property.

However, modding is amazing, it's the best part about PC gaming. Team Fortress, Counter Strike, Dota, all mods. Modding increases the potential play time of a game in an unbounded way. Why isn't it commonplace for me to be able to command alt click and then just add a new character to the game with 3 basic abilities and then share that to my friends. You can't mod a movie, there is no underlying code you can change freely to add whatever dialog you want or change the position of a camera.

Is there no way to align the economic incentives of players and creators when it comes to modding? How would you split up the pie between modders, original creators and consumers especially considering that modders can increase the size of the pie. What creator wouldn't want to increase the longevity and relevance of their game?

I'm optimistic that more games will be more moddable more easily. Giving modders and creators the tools to distribute their work AND make money off of it, will create a platform that will dethrone Steam and produce memes for ages to come.

If anybody wants to talk more about this, please feel free to email me.
To me, also a native speaker (UK if it makes a difference), “big old” implies size alone(fairly large) rather than age, while “old big” would definitely mean old and large
A Search for the Source of Italy's Malaise
Can you expand on what tricks they use and what to look out for ? Would love to know
How this thing from time to time appears in the front page? How is it pushed? It's like been over and over discussed...
Can you refute the statement or do you just find it troubling? I know the trope is that Intel people are all crew cut conservatives, but, like most Hollywood stereotypes, that is utter codswallop. The American University Complex churns out left leaning specialists, and the intelligence agencies hire exclusively from the AUC. It is not a very big leap at all. Stztrok and Page are very representative of modern IC.
I guess it depends a bit on the shape of your abstract design land. Sometimes it can give you hints about how your API should look like, or what's missing.
Indias Arjun main battle tank was a difficult birth as well: https://en.wikipedia.org/wiki/Arjun_(tank)
No, the value of 3 dollars varies from person to person.

For Bill Gates, 3 dollars is near worthless.

For a poor, 3rd world country citizen living on less than a dollar a day, 3 dollars is very valuable.

Secondly, from your point of view it might be that 3 is 3. But if we look at the entire economy, things get extremely muddy. Maybe those ten dollars that the transaction is based on come from a loan based on a quantifier. So the bank lend out 10 dollars based on a 1 dollar holding. Now the money supply has increased, which all things equal will lower the value of each dollar.

But all things are not equal. The economy is growing and if it is growing faster than the money supply is growing then the value of the dollar is still growing.

The value of those 3 dollar profit is

3/[size of money supply] x [value of economy]

And valuating the economy is extremely difficult. To the point where you could call it subjective.
Why not just use IRC?? It scaled for the entire internet.
you should self host EVERYTHING
In his famous talk from a few months ago he dismisses it as not-real-mathematics. I found it hard to tell whether he was being unironically provocative, trollish, or just cheeky.
Behavioral economics is basically the study of economy with values assumed to be subjective.
Streamable, LiveLeak, PeerTube.

What other needs do you have?
And you pay less taxes, so the pay cut is not as high as the full sticker.
Related from last year: https://news.ycombinator.com/item?id=21200721

https://news.ycombinator.com/item?id=20909404
I've actually built something like this for TLA+ and C#, which I call Kayfabe. I'll hopefully present it this October at the next TLA+ conference.

High-level, there are two modes:

1. Checking execution traces from running code against the model (see notpron's work for this idea)

2. Outputting every state visited by the model checker in a finite instantiation, then computing paths to step the real C# through so it'll visit every state or transition at least once. This is very, extremely computationally expensive, but I'm running real code in prod that I've tested this way.

Hopefully I can get my algorithms to be efficient and if so I'll try to open-source my efforts.
Thank you so much for the detailed feedback!

1) I agree with the advantages of open source, but this project is commercial, so I have to find a way to make money. :(

2) Right. If I die, I will disappear. It wasn't rigid enough.

3) Gathering all the features in this app is not the goal. As for Todolist, it was not intended to be for general planning, but rather to assist in organizing knowledge.
In context, one of the app's goals is to create specialized tools for organizing knowledge. Other tree-structured apps (e.g. Workflowy, Dynalist) are not specialized for organizing knowledge; instead they have a general purpose that can be used everywhere. I think this limits their functionality. LearnObit will implement specialized functions for organizing knowledge, not for general purposes.

4) I am thinking about the structure of knowledge that is not the tree structure. What I'm now going to implement further is for 1:1 pairs, which fit conventional SRSs like Anki. The app will deal with this by implementing a spreadsheet-like interface. I also understand that there is knowledge with graph structures, as you say. But I don't have an idea yet about what interface to deal with. Perhaps I will come up with ideas later.

5) For the tool you want, https://roamresearch.com/ might be good. This is a tool that combines Workflowy and Wiki.
Discussed last year: https://news.ycombinator.com/item?id=19581721
There's a paper describing the use for railway applications [0].

A few years back I had an interesting discussion with one of its authors and was shown the real model and code. Interestingly, they generated C from the TLA+ spec and this code generator was "unproven". However, the software itself had high coverage requirements and needed to be tested extensively (100% code/branch/MCD coverage, I don't quite remember).

One of the points he made was that the upfront cost pays for itself by avoiding bugs that are hard to debug.

[0]: https://drive.google.com/file/d/1rAn3N5hViv3xNe2E55lMzpFFym1...
Is there a possibility for middle ground between "no say at all" and "some influence"?

Also, people who live in suburbs and commute to a city centre every day may object to being called "transient workers"!
Huh, maybe that's why it didn't work for me. I allow third-party cookies, but only from sites that I've visited during the current browser session. And all cookies are deleted when I close Firefox.
You need to be careful with this. I used something similar to this because I don't like running WeChat on my phone and the account was almost instantly banned and I lost my only communication channel with my family in mainland.
I found a diving set from the City line that is roughly similar to the Aquanauts that I enjoyed when growing up. Even though I don't have kids of my own, I bought a set and gave it to kids in Kiribati when I went to Christmas Island for Christmas.

https://9gag.com/gag/a6NBXoL
No, not offhand. If someone, at some point, had said that kiloWatts and Horsepower are the same order of magnitude, I might have been a little better about that.

Gigawatt would have set off my "Huh?" detectors as I have heard that in correspondence with power plants. However, given that diesel generators sometimes power buildings, it would not have set off too much worry.
And how would you propose one gain intuition on what individual pieceparts of a build-to-print submarine ought to weigh, especially given the scale (and relative weight) of the thing in error can't easily be gauged by any individual? 10x error is hardly familiar territory if the thing in question is, say, trace heavy metals in a custom alloy.

If I gave you volumetrically equal pieces of 6061 and 7075 aluminum--whose difference in density is ~4%--would you be able to intuitively sniff out that something was off? What if those pieces were several tons a piece and your calibrated industrial weighing equipment had a reasonable +/-5% margin of error?
I never ask, few exceptions aside, any challenges from the developers I interview.

When hiring 40+ people for a neo-bank, I did what you should have experienced: listen to people and get to know them.

The key point of success in a team is of course their skill set, but also the potential synergy.

Lots of developers are very bad if not terrible at presenting themselves, be it on a résumé or during an interview. And this has no relation to their actual skills.

So I always try as hard as I can to actually extract information from them.

First, I let them feel at ease, telling them that this is not a challenge but a time to get to know each other (which is actually true).

Then I ask a lot of questions about their experience, both in the technical sense, but also human one.

I try as much as possible to understand how they think and feel, what do they value, aspire to, try to achieve by joining the company.

I’m not a hiring manager but a 15+ yrs of experience developer. Yet, I find that hiring developers by actually being one goes much smoother than when you’re not.

Last but not least, I think that this crazed interviews are becoming more and more common practice because developers agree to pass them.

If you want to change this, then don’t go through them. There are thousands of other great companies that do no torture their candidates.
Somehow, Semantic Web and associated ideas does not seem to have panned out in practice. I wonder whether HTML is the ASCII of the web world - clearly just intended as a first step and supposed to be obsolete over time, but proving to be a survivor, and a hurdle against future improvements due to wide adoption.
> Whether that's true or not, it would be a tough sell to implement a "just use your gut" style hiring process at a major company in 2020.

Depends what you mean by "use your gut" but that's not my experience. Currently at a well known public tech company in silicon valley and there isn't any standardized interview process. Every interviewer is free to approach it as they wish and the hiring manager gets to listen to all input and decide. This is a strength.

Perhaps (very likely) as a result, this company is also rated highly in diversity.

A standardized interview process will inevitably lead to a standardized employee pool, as only the candidates who fit the very narrow profile (willing to memorize endless algorithms they will never need or use in real life) can get in.

I should add that my current employer is not, in my experience, unusual. In my ~25 years in the valley, it's how it's always been. I have not worked (and never want to) for the companies which value conformity in hiring above all else (infamously, google).
>"While our soft operators are several hours faster than OT, they are slower than All-pairs, despite its O(n^2)complexity. This is due the fact that, with n= 100, All-pairs is very efficient on GPUs, while our PAV implementation runs on CPU"

Paper is interesting but not yet sure of practical uses.

The trick I use in practice when I need a differentiable sort, is usually a pre-sort step which involves thresholding (i.e. selecting with sparsity only values greater than a certain score (usually either a constant, or a fraction of the best score, or the Kth score ) ). Then pay the quadratic price with n=10 or 20.

I don't see when the relevance of rank between garbage results would really matter.
When n get bigger and you don't want to ignore bad results, usually quantile approximations suffice.

In the applications they cite :

The smart use (cross-validation) of threshold by the Huber loss in section 6.4 works better 2 out of 3 times in their own graphs).

The other use cases when order matters (for example like in section 6.3 is where the rankings are given as input). If n is low you pay the quadratic cost, if n is high you usually need to process samples a subset at a time for memory reasons and use some comparison losses (triplet loss...). So this is relevant only in the sweet spot in between if you need exact calculations.
Case Study of a React SPA inside a Vue SPA with Shadow DOM
Cool, thanks! I might take you up on that. In any case, I think that's the direction we'll go, at least in the beginning.
> Even if you do hand your pod over to some company, it'll be like letting them host your domain name or manage your cell phone number. If you don't like what they're doing, you can always move your pod -- just like you can take your cell phone number and move to a different carrier. This will give users a lot more power.

The domain name analogy scares me rather than reassures me. Sure, DNS was created in good faith to be as distributed as possible, but is it? There are recent stories that show that individuals do not have as much control on domain names as one would ideally like. See these stories -

- Sinkholed: https://susam.in/blog/sinkholed/ (domain name hijack by German authority by accident)

- The duck tape holding the internet together: https://medium.com/thisiscala/the-duct-tape-holding-the-inte... (loss of control on domain name due to registrar error)

While the idea behind Solid sounds solid but the moment they talk about outsourcing pod hosting to third-party pod hosting providers, I get worried. Would it lead to walled gardens of pods? (Example GMail for emails) Would they add non-standard convenience features to create vendor lock-ins (Example GitHub for Git)? Would they abuse their power due to vendor lock-in (Example Sourceforge for SVN)?
When you have very high cardinality series, it's decently common to slot in a "rollup" or "reducer" query between collection and persistence.

This is similar to the insight you mentioned: I don't actually need to store a separate series per hostname in perpetuity just to know when the worst one is out of control. I can ask it to persist the top five individually, and then an average.

But when responding to a PagerDuty alert, the first thing I want to see is a plot of the alerting series. The next thing I want to see is a plot of every series about that service (bonus points if you can find the ones that have discontinuities with similar timing). So you're really not getting out of the "fast serving" business, just reducing the load on it.
Make sure you read what is actually happening with the ISAs, because incentive alignment isn’t broken: https://lambdaschool.com/the-commons/announcing-our-new-isa-...
That is exactly how it happens. It’s 10% per week for the first 10 weeks, except you don’t owe anything at all until week 4. So it’s fully locked in at 10 weeks but is gradual until then.
The mistake is not that one might make an error, everyone will make errors. The mistake is the system that enables an individual contributor to make such an error without any accounting for these normal errors to occur. Second, blaming the person is just scapegoating and a further failure of a flawed system trying to cya.