skysight-inc/HackerNews huggingface dataset:
Ideally, the best way to approach a problem is going to be to find the right type to express it. However, sometimes problems in the real world can only be typed with types that are so complicated that you end up with no confidence that you're doing the right thing. Sure it checks at compile time, but you're not convinced that the program is doing the right thing.

In these instances you might as well create a dynamically typed system and see what happens when it meets real life. Yeah it might fail, but the static version was going to fail too. You can save time by not having to worry about what the "proper" type is.

The other side of this is: What do we really want our types to do for us? This isn't always the same thing for everyone. I've created DSLs in a dynamic system that failed in weird places and when I tracked down the reason it was because I was using two functions together that did not agree on the "type" they were passing between themselves. In this instance, type theory wasn't going to help solve my problem, but a quick "typecheck" of the code would have pointed me in the right direction to find a silly mistake. On the other hand, sometimes you can use types to solve your problem. I know it's a bit cliche, but rust is a good example of this. If you want to avoid GC but still want high level programming features and no memory corruption then linear types is one way to achieve that.
To be honest, I never needed Anaconda to use NumPy/SciPy/matplotlib/pandas on Windows. I get that Anaconda makes it easier for people new to Python. But for seasoned Python folks, there's really no headache.

NumPy (and I think SciPy) used to be standard Windows installs (as in download an exe and install it). Pandas was too, but now you can use pip. The only catch was that you should install 32 bit python instead of 64 (not sure if that's still the case).
For large code bases in dynamic languages I think the advantage grows larger over time. Even a modest amount of test coverage will allow you to build new features without breaking existing features.

It's a lot faster to catch bugs when the tests run in your local development environment or in the CI pipeline than to wait until Q/A (hopefully) catches them in end-to-end integration testing and sends it back to you for rework.

The other advantage I've noticed is that the tests can serve as an additional form of documentation. New team members can look through the tests to see how code is supposed to work from the examples there. For some web API projects I've even been able to generate the documentation from the test cases.
I live in a country outside the US (not China) but every time people from the US talk about us they have this same story, which seems to come from US news sources, which is nowhere close to what is actually going on. That makes me wonder, is the same thing going on for China? I keep hearing on HN this same story "China is anti-democratic and anti-innovation, nothing interesting goes on there". But how much of that is actual truth, backed by facts, and how much is just the same story propogated amongst the population, but rarely double checked?
Any government that states, “voting is illegal” should be abolished IMO.
AWS Lambda Functions Made Easy
based on the figures, that they contribute 20% to spains GDP and get back 14% it would seem that they are on their way to being self sufficient
So just keep throwing more shit at it till it gets faster?
It's the real IP address of the service that's hidden, not necessarily its Onion address. In theory, there's no reason `.onion` links couldn't be crawled and indexed by search engines the same way any other website is.
> You dont need outside support to declare independence

You don't. But you do need it for anyone in the world to accept is as a fact. A region like that cannot isolate itself from the rest of the world.
I'd cite the Scottish independence referendum as an example of how to do it with the minimum of acrimony and near-zero violence. Although we don't know what would have happened exactly if Yes had won.
I learned Italian to the almost fluent level. I can conduct business and get through complex negotiations. I learned a little Spanish before having to switch to Portuguese for business reasons, and I'm now advanced beginner in PT after a few months. I have also learned a little Mandarin.

How long before things started clicking? Almost immediately. You recognize what you've recently learned from your other resources and you get to hear different pronunciations, accents, and even slurring. But to learn new things from context takes longer. It's very hard to say. I'm not keeping track of how many times I hear a slang phrase or some other common phrase before it sinks in. I would guess hundreds of times. But that's why this method works so well. The most common phrases and words will be repeated over and over even in one movie. So you are automatically getting more exposure to the most common words.
Stavros from TileDB, Inc. here: HDF5 is a great software and TileDB was heavily inspired by it. HDF5 probably works great for your use case. TileDB matches the HDF5 performance in the dense case, but in addition it addresses some important limitations of HDF5, which may or may not be relevant to your use case. These include: sparse array support (not relevant to you), multiple readers multiple writers through thread- and process-safety (HDF5 does not have full thread-safety, whereas also it does not support parallel writes with compression - I am assuming you are using MPI and a single writer though, so still HDF5 should work well for you), efficient writes in a log-structured manner that enables multi-versioning and fault tolerance (HDF5 may suffer from file corruption upon error and file fragmentation - you are probably not updating, so still not very relevant to you). Having said that and echoing Jake's comment, we would love to hear from you how TileDB could be adapted to serve your case better.

A general comment: TileDB’s vision goes beyond that of the HDF5 (or any scientific) format. Considering though the quantities of HDF5 data out there (and the fact that we like the software), we are thinking about building some integration with HDF5 (and NetCDF). For instance, you may be able to create a TileDB array by “pointing” to an HDF5 dataset, without unnecessarily ingesting the HDF5 files but still enjoying the TileDB API and extra features.
I didn't mean to misrepresent your reply, I just thought providing more information would make my comment less insubstantial.

Sorry for not indicating it was editted, I'll be sure to do so in the future.
"static page"
https://en.wikipedia.org/wiki/Secession_in_the_United_States
If you want to be independent you go and vote. If you do not care you stay home. Such low turnout seems like a win for "no" camp, because people of Catalonia apparently do not care about independence from Spain.
This post seems to miss the fact that in Rich's talk he rails on ADTs even more than he does on static typing.

Rich's biggest complaint is that our tools should be a la carte not forced down our throat at every turn. Type verification (static or not) should be a tool, not a religion. (In this way, Rich renders the perennial static vs. dynamic debate stupid: it's a false dichotomy that most statically typed languages needlessly force us into.)

In Rich's talk, the bigger target of his attack is ADTs -- that is, processing information in any way that doesn't make properties first-class. (It's easy to mix up his argument against ADTs and static types, probably because ADTs are kind of like the go-to idioms for people programming in statically typed languages.)

I think one of Rich's one-trick ponies (i.e., one of his goals) is to remove the impedance between thinking and coding. We humans don't naturally think in terms of ADTs (e.g., when you open a dictionary, you see vocabulary/words, not categorical types/ADTs.) Computers only ask us to be precise and ADTs are unnecessary to achieve precision -- properties ("words") capture all of the precision needed to solve our information-processing problems.

All Rich is doing is trying to remove that impedance between thinking and coding.

Static types are also unnatural and unnecessary to the precise expression/coding of solutions to our "situated" programming problems. I don't think any static typing enthusiast would disagree. What the static typer would say, though, is that they've done something clever: they're adding the extra impedance of type verification to achieve a higher level of problem-solving throughput. (Because their static types reduce other impedances: bugs, refactoring ease, etc.)

Are the static typers right? Rich seems to imply no. (Because even though he says typing should be a la carte, you can clearly see in the talk that he has his predilection.) The fight here is usually left to our intuitions and habit, but my guess is that someone smarter than me could model this programmer-productivity problem as an optimization formula, showing how over time software-construction slows down due to certain constant impedances like juggling static types and certain accumulative impedances like coupling and code quality in a large code base.

My guess is that this formula would show that in low-quality code bases with lots of coupling, the static typing tax would win. But that in higher-quality codebases the static typing tax wouldn't pay for itself. This jives with my instincts of course but you also find that the better programmers (the ones that know how not to couple shit) favor dynamic typing while those that regardless of experience haven't learned how to keep coupling at bay prefer static types.
>Nvidia has their own OpenGL implementation that replaces Mesa so if you do OpenGL on Linux with Nvidia you are not using Mesa. Which is a good thing since Mesa is lacking in terms of features compared to Nvidia's implementation.

Ironic statement, given that the article is specifically about how Nvidia proprietary drivers are lacking in features compared to the Mesa stack.
How Intuit Reinvents Itself
I don't know, a million times
In short, both parties ruling on both sides believe that they benefit greatly from confrontation

No, that's wrong. The reason we have the current clusterf* in place has been the conflict-avoiding actitude of 40 years of spanish governments.

We have a proportional voting systems and regional parties have been the "hinge", the small parties that helped ruling parties to reach absolute majority, in national parliament. This allowed them to get away with actually enjoying unfair privileges over the rest of the country and advancing the regionalist agenda.

Did you know you can't have your children study in Spanish in Spain? Even with several Supreme Court and "supremer" Tribunal Constitutional rulings backing you. Regional government refused to apply the sentences and national government did nothing to force their hands. Public schools have been instrumental to what we have today in the streets. I'm surprised that half the population has resisted 40 years of brainwash, makes me keep my faith in Humanity.

If the article 155 had been applied months, years ago, when the first farce of referendum took place, or even a week before the vote simulation, we had not needed to see the bs that we see in the news everyday.
That's the mantra often quoted but it always makes me think of the famous Sudoku example from Ron Jeffries. Basically as a mantra it falls down if you don't understand the problem domain. It's popular because it works for the sort of simple plumbing that makes up a lot of programming work. This problem is particularly true for anything creative you're trying to express as the requirements are often extremely fuzzy and require a lot of iteration.

If you don't know how to solve a problem you actually need to do some research and possibly try a bunch of different approaches. Over encumbering yourself with specific production focused methodologies hurts. If you're doing something genuinely new this can be months of effort.

After the fact you should go back and rewrite the solution in a TDD manner if you think it benefits your specific context.
This was written a while back, and I feel like newer adventure games like Telltale games fix a lot of these issues.
It's true that the letter doesn't mention the hentai artists (erotic drawings) that are getting purged right now. The ones I know Patreon's purged over the past few days had no connection to LGBT+.

However, niche hentai artists have no power. They can't threaten a PR disaster, they probably wouldn't be getting all this sympathy from the press. If the very left-leaning Patreon staff won't show mercy to the LGBT+ adult content creators everyone else is probably screwed.

As long as the rainbow flag pushes for rules that'll also save the other adult content creators I don't mind them making this all about themselves.

I do wish they'd at least mention the hentai artists though, there's even LGBT+ ones.
> and did not change our opinion.

If this comment section is any clue, clearly it's not going to change a React programmers opinion because they completely loose their shit if you mention a flaw in React.
RT and Sputnik are not the only way that Russian money is getting into Twitter, either way my point stands that they received income from this source, courted money from this source and have now become profitable in part as a result of the money they have received from russian organisations.
Who benefits from discriminatory college admissions policies?
If you don't want to talk about anything that's fine. However, this discussion is about speech about those ideas, not their actual implementation. You don't really seem to be distinguishing between the two.
Always been so impressed by what people make on Dwitter only having 140chars of code. https://www.dwitter.net/
Yes, it was. And then she followed up more specifically with, "what we can use instead of the <b> tag?"

I said, "CSS, but it doesn't have much to do with HTML5's features."
The entire predominant media narrative is not just "shitposting online."

https://c4.legalinsurrection.com/wp-content/uploads/2017/10/...
"People don't buy what you do; they buy why you do it."

More people believed that Trump was doing things because he had their best interests in mind.
The definition of the word colony

From google:

> a country or area under the full or partial political control of another country, typically a distant one, and occupied by settlers from that country.

From wikipedia:

> In politics and history, a colony is a territory under the immediate political control of a state, distinct from the home territory of the sovereign.

If Spain asserts itself as the ruler of Catalonia, without the will of the Catalans, it appears to me that the word is very apt.
> Dynamically typed languages, on the other hand, don't really have that much more research that can even be done with them.

In the same way that static systems are moving toward something that looks like dynamic typing with static safety, so are dynamic systens via gradual typing and optional static analysis tools. I don't think static or dynamic as we know it now are going to win, the dominant model of the future may well be one where broad inference allows statically verifying most constructs without type annotations, and languages support either allowing and disallowing constructs that aren't verifiable (and maybe even support disabling static analysis entirely, though people who use that option for anything but prototyping will be mocked as unprofessional.)
Jeff Bezos now is the richest person in the world
It is worth keeping in mind that SV's focus is only one area of employment for programmers.

The major Northeast hubs have tons of programmers. The difference is that a lot of them work for the financial industry, government contractors, pharma, and the "unsexy" sort of older tech companies.

This is good for finding somewhere with a lot of programmers but the downside is that the employment market is just as tight here and COL/salary is nearly as high.

--------------

If you're looking for somewhere that actually offers you payroll savings but still has a good enough talent pool to be able to find employees fairly easily, that list is pretty small and arguably getting smaller.

A lot of the trendier secondary cities for this (ex: Denver, Portland, Austin) are themselves getting very expensive, very quickly.
Are you talking about symlinks on synced folders? I absolutely love synced folders, but the whole idea is fundamentally incompatible with symlinks. Think about the VM actually interpreting the link and resolving the path against its own filesystem. Just doesn't make sense. If you want that, share the directory on the host and mount it in your VM so it's your host resolving the link.

My experience with Vagrant is that it's amazing, but I've only used it for a web application with Github and Jenkins for CI. Dev team doesn't have to spend a second thinking outside the git repo.
As an entrepreneur, I'm not sure economics is very applicable on your day to day tasks.

However, it is a very useful framework for thinking when it comes larger abstract stuff like strategy and vision. I use a very basic supply and demand graph and I think you can get pretty far with simply understanding factors that shift those lines.
> And you'll be doing the same thing, but in the opposite (and wrong ;) direction.

No, I'll continue arguing that clock noon should be solar noon. Midnight should be the middle of the night. Nothing more nor less.
The parliament and the government are distinct bodies. The parliament are the lawmakers, they are directly elected, and it includes the opposition. The Catalan Gov is not directly elected: it's elected by the parliament, and they don't make laws, they apply them.
"'Premature optimization is the root of all evil' is the root of evil"

https://medium.com/@okaleniuk/premature-optimization-is-the-...

http://ubiquity.acm.org/article.cfm?id=1513451

http://www.joshbarczak.com/blog/?p=580

http://scottdorman.github.io/2009/08/28/premature-optimizati...

It's basically an excuse to not think about the performance or implementation of your entire product until the end and then, when you use a profiler and chop away "10%" here and "20%" there, you still end up with a slow-as-piss program with every function taking less than 1% total time. Then what do you do?

Oh yeah, what you should have done in the first place. _Think_ about how your program actually functions so you can remove all of the insane systemic, architecture decisions you made that all bleed a fixed amount of time every single function call. That's the difference between an engineer, and script kid. If you're not reasoning about _the entire platform_ (all the way down to the cache lines), you're not engineering. You can abstract all you want, but those abstractions don't magically prevent the underlying hardware and architectural decisions from affecting the product. Abstractions tools (read: approximations!) for high-level reasoning. They're not magic "you don't have to think [about low level implementation]" spells.

Actual experts keep trying to warn you guys about abusing that quote, but nobody apparently ever listens. Stop quoting it like a bible verse, because just like bible verses, everyone forgets the entire context and just uses it like a bloody bumper-sticker slogan.

In the words of Saul Williams: "You have wandered too far from the original source, and are emitting a lesser signal."

The full Donald Knuth quote:

>The real problem is that programmers have spent far too much time worrying about efficiency in the wrong places and at the wrong times; premature optimization is the root of all evil (or at least most of it) in programming.

That quote sounds much less like a law handed down by God, and more a guideline from experience, no?

Optimizing the wrong things (things that get thrown away when you change your program as you work toward your goal) ends up wasting time. But just because that was applicable _in the 70's_ doesn't mean modern programmers have the same mentality of "optimize optimize optimize." Modern programmers have the opposite. They're so afraid of having to learn how cachelines work, they use that quote to prevent having to do any optimization (or understanding of architectural layout tradeoffs). I can't count how many programmers I've met that hear "cache" and their eyes glaze over like it's some magical, incalculable thing.

Watch a lecture from Mike Acton, where on consoles, they don't have the luxury of writing poorly written, un-optimized code. They _do_ have to understand the entire platform to ship a competitive title. Because any optimizations they do, for a fixed platform, means they can pump out a better experience with those extra CPU cycles. An experience that elevates them above their competitors.

https://www.youtube.com/watch?v=rX0ItVEVjHc
https://cs.chromium.org/chromium/src/v8/test/unittests/
> However, it still sounds bizarre that about 90% of their expenses was food.

What do you think being poor is?
> Why integration tests?

Because they test that you are actually using some available network ports, have the correct database model in mind, didn't mistake the version of your libraries, got the deployment script right, and isn't just restarting everything in an infinite loop?

Or maybe because E2E tests actually test stuff your company cares about, instead of some made-up rules that you've got from nowhere?

Really, if you have unities, you should unit-test them. But your E2E tests should be the ones you really care about, and they should certainly not break randomly with unrelated development. If yours are lasting for 5 quarters, you may be doing something wrong.
One Percent VC: A New Funding Model / $100K for 1%
I can't quite tell what you're implying here... but this makes total sense to me.

Every country has different regulations, and therefore would require different wording and agreements as a Terms of Use. Anyone that has worked at a multi-national company understands this is just The Way It Is.

At Nike there is a ton of logic on a per-country basis. For example, they might own the copyright of the word "FlyKnit" in most countries, but in Italy they don't and get fined if it's ever misused. There's a TON of development work that caters to legal / regulation problems like this.
> just like on real property

Most of a company's tangible assets aren't taxed. In fact, quite the opposite...
>Yet math is consistently being conceptualized?

Sure, how else could we capture it or convey it to others? The thing is that I don't see it as that different than conceptualizing things in the "real world". In the latter, conceptualization is done on input of the senses, while in math conceptualization is done on inputs from a higher level of abstraction. In both cases, something is defined and then manipulated for something useful. It's just that I believe that whatever is defined automatically becomes a finite concept otherwise it could not be grasped and manipulated, and a finite infinity seems problematic...
Lizard people are real! At least if you consider pepe the frog related to them.
The event was hosted by the Golem project: https://golem.network
Meetings – A culture of excess that hurts our productivity and morale
Empty Block Data by Mining Pool
Catalonia is as semi-autonomous as Texas right now.
Nobody knows because they have never expressed their intention clearly (the most clear statement was the president of the local government saying "I declare the independence but suspend it for the moment"). So there it goes.
By the same logic NYC can be independent of the NYS and the rest of the United States, which is ridiculous considering that it won't be able to withstand a week without food and fuel supplies from outside the five boroughs.
By what definition of investment?