skysight-inc/HackerNews huggingface dataset:
Have you considered the possibility that those people are right?

Every time I’m looking at a code review with awful tests. I started out in statically typed languages and I can’t shake the feeling that we need to tool our way out of the testing conundrum.

Anything that is this hard to get right shouldn’t be the equal responsibility of every team member. For every other problem of this magnitude we have people who specialize and everyone else just has to be aware of the issues and consult when in doubt.

So it’s a struggle for me to try to get people do adhere to the strategy we’ve accepted without believing it’s the end all be all of software robustness. Because I’m not convinced. Nothing I’ve ever mastered in software has taken me half as long as testing, and that just ain’t right.

That said, I still like the structure about 80% of my tested code has. It usually does exactly what it says and nothing else. Local reasoning is a big deal to me.
Which CA?
The thing that baffles me on this is the idea that static typing is limited to something only the compiler can do.

If instead it was merely a form of static analysis, then it could easily be seen as something that can be added. Which, in many languages, it can be. The forms of analysis the advanced tools can give for C codebases is quite impressive. All without having to rewrite the system with more precise types.

Similarly with LISP. It is widely lauded as a very popular dynamic language. However, there is nothing stopping you from statically analyzing it. Obviously some practices make this more difficult, but sometimes just having an escape hatch for the developer is enough. Just as obviously, these practices that truly make it hard to analyze statically aren't used that often. That is, a decent sized program will almost certainly use the features in a few spots. But only a few and the majority of the code can still be analyzed easily statically.
Discovering Issues in HTTP/2 via Chaos Testing
I understand what you are trying to say, but the movie ticket prices had sky rocketed beyond reach of a large section of the population. Now, you may argue that it is somehow the loss of the multiplexes by alienating people, but movies are somewhat of a necessity for cultural and social reasons.

Imagine having a consortium of telecom companies deciding to charge $100/Gb of data (assuming they are making profit nevertheless). There is no incentive for them to reduce the price.

To give you an example, a movie ticket would cost upto $20 in an economy where a bottle of water costs ~$0.2.
You have to keep in mind that the civil war was over 150 years ago and the mood is quite different now. As a US citizen, I couldn't really tell you whether a state seceding would be met with war as in the past or if they would be allowed to quietly leave the union. There is always one state or another where some people think about it, and it seems like these discussions are never met with the hostility that Spain has shown to Catalonia.
Given Docker for Mac controls an internal VM instance to actually run the containers, is there much benefit over just using Docker in a Linux VM?

It's pretty easy these days to use tools like Vagrant to spin up the VM then run a Docker Compose file or whatever to get your development environment ready, and would result in identical cross platform environments.
> Is there a concrete reason you believe that or just a gut feeling?

It's pretty obvious to anyone really. Even if you assume that OpenBSD had 0 bugs, it doesn't protect you if someone exploits your browser, or some application that you have, which may have a lot of bugs. In contrast, tou can create two isolated OpenBSD VMs in Qubes, one where you do your banking related activities (and setup the firewall to only allow connections to your bank for example), and the other where you do your browsing, so that even if someone pwns your browser in the second VM they won't be able to steal your banking logging credentials - unless they have a Xen exploit of course.
Care to share the answer to your question about uuid join performance? I've had a hard time finding much about that on the internet.
If you can get all three of these -- overly complicated bloated stack, NIH compliant newness driven development, and yet another crappy poor UI experience -- then no, it's a loss.
What if you have a question for a group of people? When domain experts are in the same room and debating the merits of a decision the results are almost always immensely valuable.
Talk about selection bias. Amazing how they extrapolate this to headlines like "A third of America wouldn’t care if Twitter disappeared". Would be nice to know how the study was performed, and how the population sampled.
Yours is a toy example though, yeah? You skip the n+1 problems Ecto makes really obvious and which AR encourages.
Its something like facebookcorewwwi.onion - that must have taken a lot of cycles to generate..
Are you not setting this up as a website? I was really hoping that this would turn out as an announcement to be an aggregator of an aggregator.
Personally I dont understand either why Apple news and 'Why is X down' links dont get banned, these are the most obvious offenders. I was just about to make a list of posts on the top page that I personally wouldnt allow on a serious hackernews site and I stopped because it would include almost every single link and at that point I feel like I'm just grandstanding.
The number one rule that I would have for news that I dont want to read is that if this is some political decision, I dont want to hear it. Politics change all the time, it's messy, it's opinionated and frankly populated by stupid people with stupid commentators. Absolutely no value gets generated by reading some post about how solar power is now 20% more affordable in Florida or how France just banned Monsanto crop nr. 4 or how country X wants independence. These daily occurences will happen over the course of thousands of years, I dont care.
You would have to keep reading and following that particular industry/country in a research-like capacity to be up to date at all.
Other rules are of course any kind of 'do this to be a better programmer' post. Look I heard it all, I dont need to hear it for the next 30 years too, this is all too similar to politics and they are always blatantly opinion pieces instead of objective looks at the landscape.
Would you please stop posting flamebait and/or unsubstantive comments to Hacker News? We have enough trouble with flamewars as it is, and you've unfortunately been doing this quite a bit. If you'd read the guidelines and stick to them when commenting here, we'd appreciate it: https://news.ycombinator.com/newsguidelines.html.
I thought about this along the way. It would be really cool to have some alert that says, "Baby is probably ready for a nap" or "Baby probably needs a diaper change", but the ML side of that is far outside my domain. Did you get far enough to judge whether or not such a thing would be very feasible, given how babies can develop so drastically differently?
So much here resonates with me. I’m sitting in a train right now taking me from a suburb into downtown Portland, OR...an easy commute...only $5 a day gets you unlimited transportation across all of the regional transit services (all part of the excellent TriMet system). I moved here from the Bay Area mainly due to affordability and sane public transit. The Bay Area is an amazing place but it’s imploding under the weight of its own popularity and lack of appropriate regional infrastructure response.
Yeah, me too. I mean, I have to admit I was taken aback by the home page, but it didn't really hit the satire bullseye for me either.
The nice thing about american "corporatism" is that if one "corporate culture" is bad, if you are able, you can leave. Thats a fairly simple & straightforward nuance for me. As far as "people like you..." statement, you literally just described a situation where theres a battle and someone will win. It'll just end up in some kind of singularity? Did you mean to lump yourself in implicitly with the group you just accused this person of "being in"? "Pro-western nationalism" lol
I agree 100%. Fareness is important. As is enjoyment.

Good luck!
Hi online :)

I'll wait a bit to see if Brandur (author chimes in first), otherwise happy to pile in some thoughts.
Yes, some people are panicking. But also the fact that local grievances did exist before the Russians tried to use them does not tell us a lot.

On the other hand, there is stuff like this:
https://en.wikipedia.org/wiki/2015%E2%80%9316_Montenegrin_cr...
Brazil: A Hidden Pool of Highly Qualified Engineers
You're still missing the point which is that it doesn't make it less secure (which is what you claimed), in fact, it makes it more secure.
I've been ranting here occasionally about the infuriating unprofessionalism of a web app that can't operate without JS. There is very little that you can do with JS that can't also be done with the help of a server, unless you start making up overly-specific requirements about what technologies are used, or writing user stories for robots. As a diehard NoJS guy and a developer who uses React professionally, my community's willingness to accept of the problem, and obliviousness to the solutions established by the React devs themselves, are pretty embarrassing. And it's not like I hate the language, Node has been my go-to application server for years now (Clojure is displacing that for me, but I digress).

Last year, I was building a simple SVG based chart dashboard for internal usage. Being a NoJS guy, I would sometimes disable JS while developing, on purpose or otherwise, and aside from forcing me to manually hit refresh in the browser, things generally worked. I added a couple links (styled as buttons) for zooming, to supplement the JS based drag-window zoom, and let the browser scroll the potentially very wide SVG chart within a div. If necessary, I could have even embedded the whole thing in an iframe, to avoid triggering whole page reloads, but our caching story was tight enough to compensate. Also, the React-rendered SVG represented the bulk of the markup on the page anyway.

Interactive visualisation, no JS needed. It added maybe an extra 10% to my workload (we already had the SSR stack), and helped me to avoid a variety of little glitches that plague many client-only apps, glitches that users learn to tolerate with mild disgust. The satisfaction of seeing our in-house dashboard pop up "instantly" with data, while Parsely and New Relic were still churning spinners or stuttering while waiting on JS, or even waiting for initial data after waiting on JS, was very cathartic. TTI can equal TTR, we have the technology, we've had it for a decade or so.
Worth noting that a lot of the arguments in this article change when you're talking about Onion services.

Notably, Onion services tend to have URLs that are _very_ difficult for humans to remember (they're essentially just gibberish), and they're anonymous by default, meaning without an EV cert there's no easy way to check whether the service you're visiting is legitimate or not.

DV certs are also pretty useless for Onion services, since your connection is already encrypted and authenticated by Tor.
In these countries, as the population trends towards the billions, we will see the ongoing benefits of education.
What's that saying? You almost always have to get approval from your manager to spend $500 on a tool, but call a meeting with 20 people and no one bats an eye.
Code you can hold in your head usually has a smaller surface area. Fewer moving parts equals easier testing.
Announcing Go 1.8 on App Engine Standard Environment
It's funny because it seems "half" of Spain is bullying the other "half" of Spain to stay part of... Spain.

*Half here is an approximation
The hell is he taking out the code to explain it to customers? Are you sure he's "salsey"?
For folks who want to play around with this, we've got an interactive playground at https://try.glimmerjs.com/ that lets you add components, templates and helper functions.

In a nod to The Net, you can click the π symbol in the bottom right corner where you'll get a debug view of the disassembled binary bytecode.
Could you expand on that, please?
What is 83b?
You can still 'assign variables in functions' in Clojure, afaik. Did you mean mutate existing variables?
I've long thought that having a regional government be the governing authority for the Tacoma-Everett-Kirkland region would be the proper system to have: turn the cities into bouroughs and have a Puget Sound Metropolis Government (that encompasses Seattle).

This would politically solve many intractable problems that are being naturally caused by local tribes sparring. I think it's likely the proper solution to the urban/suburban donut problem we have in many regions in the US.
The allure of Shen is that it offers a type system that is, roughly speaking, very similar to what you get with clojure.spec. You construct "predicates", what Shen calls sequents, which hold about your data. Shen goes a step further than clojure.spec in that it offers a way to prove that those predicates hold locally to each function and globally through your program.

I wonder if it might be possible to feed predicates from clojure.spec to the inference engine/type checker from the Shen java port to gain static type checking. I wish I had more time to work on this kind of fundamental research, but alas I'm merely a working programmer schlepping data to and fro.
I have Intel 750 and that cheap Optane Memory, my Optane Memory is significantly faster in fsync speed when tested with postgresql's pg_test_fsync

Do you seriously believe that Intel 900p is not going to be better than Optane memory in that regard?
"What if you have a question for a group of people? When domain experts are in the same room and debating the merits of a decision the results are almost always immensely valuable."

I have seen this kind of debate almost only at spontaneous meetings. In scheduled meetings I almost never see a good discussion.

Sending out a group E-mail to start a debate seems preferable to me.
It's a difficult trade off, if you wait until all the basic functionality is written, debugged, and optimized in Julia then nobody can use it for "real" work for ages. On the other hand they've pretty clearly been making design decisions that allow for efficient native implementations (unlike, say python).

I haven't been following very closely recently but there has been some active native implementation work such as: https://github.com/JuliaDiffEq/DifferentialEquations.jl
I was surprised by Microsoft. I could see IT department heads missing Microsoft and XBox loyalists, but other than that, who would miss Microsoft? Did they survey a lot of people in Seattle?
Only if:
a) You live near BART
b) Your destination is near BART

And there's also the fact that even if a+b are true for you it's very expensive (~$4-5 each way compared to $2.25 in NYC), overcrowded, and has horrible latency. The fact that on a Friday night at 9pm the trains are running 20m apart is embarassing.
This was recently posted here: https://news.ycombinator.com/item?id=15552252
You mean 'jibe'
Another way to think about this. When you and I are defining "plus" in this way, you may be thinking types (and how they are inferred and everything). I am simply saying I want "plus" semantics to be identical to "+"... If "+" is capable enough to add the String "one" and "two" together, I'll take it. If one of my users types in a roman numeral "I" and "+" yields wrong behavior (throws, or produces bad value), then I have to think about types. But maybe that never happens...

(I'm not saying this is how to code, but I'm clarifying that you don't have to think about types to get the semantics/precision. You just want to think about types, can't help thinking about types, or something else, you tell me.)
There used to be a problem with running Vagrant on VirtualBox with more than 1 CPU: https://github.com/rdsubhas/vagrant-faster/issues/5

Explanation and workarounds: http://www.mihaimatei.com/virtualbox-performance-issues-mult...

Did they fix this?
Yeah a trigger for full vetting upon a variety of events is a key point to have as well.
very disappointing compared to the original marketing promises.
Not really, best I got is this[0] explanation. Apparently it started as a 4chan meme in 2014. I was talking about Mozilla's work on FF Quantum and someone brought this to my attention. It made me laugh so I thought I'd share it.

[0] http://knowyourmeme.com/memes/google-ultron
The idea of having a Bay Area "Mayor" sounds like an idea that could have solve a lot of the problems in the Bay Area. The issue would be trying to make that transition happen, seems almost impossible.
Don’t let your customers fall off. Re-engage with email
OK, AIUI the law in Spain means that only central gov can order a referendum. The vote was declared illegal and those party to it were thus breaking the law, conspiring to harm the constitutional standing of the country.

If you were voting, supporting voters, etc., you were breaking the law, refusal to stop is contravening the law and the police should then act accordingly, using force if people refuse to stop supporting the vote.

Imagine it was an illegal march of white supremacists in USA, or National Front in UK.

It devolves into violence when people choose to ignored the rule of law and give no other option to maintain the law than to apply violence.

Unless the separatists want to negotiate then violence is literally the only recourse that Spain has to defend its constitution. Perhaps it shouldn't, but anything else is just letting an undemocratic action force an unwanted change.
The easiest way to use JSON as dynamically typed data in Haskell is with the lens[1] and lens-aeson[2] packages. The type signatures those use are astounding, and not trivial to understand.

But the code that results is very simple while remaining strongly typed.

It ends up being not that different in style from something like hpricot in ruby.

[1] https://hackage.haskell.org/package/lens

[2] https://hackage.haskell.org/package/lens-aeson
Agreed. The only thing keeping me from putting these into production is that I can't find any data on reliability.
Let’s say you’re black in the American south before 1868, or South Africa before 1993. Voting or any sort of civic duty is illegal for you. Does that mean that you shouldn’t be allowed to vote?

I am NOT saying Catalonians are oppressed the way blacks were in the American south or South Africa. Please don’t misunderstand. I’m purposefully using a more extreme example to illustrate that this is a moral, not legal question.

Self-determination is a fundamental human right, by the philosophy of the Enlightenment at least. And this remains true whether or not it happens to be codified in law. If the Spanish constitution blocks reasonable paths to self determination, then the constitution is wrong—morally, not legally, of course.

And why should we support an immoral law? There are good reasons for doing so in fact — preventing anarchy in the pejorative sense — but only if a constructive alternative is provided to fixing the law within the system in a reasonable amount of time. Surely there is a process for modifying or amending the constitution? Spain didn’t try.
>I now live in El Cerrito, which makes people go "Oh god, how long is your commute?". 31 minutes. That's it. People seem to think it's a different planet, but I can't even get through a full podcast on the ride home

Shhhhhhh... don't let people know about El Cerrito ;)
Sure. Just like somewhere, you have to define the semantics of + on the various primitive in your lisp-based system. Oh, surprise, you do that with a typecase/runtime type check.

There are genuine arguments between static and dynamic typing. The assumed annoyance of writing type signatures is
only a valid point for specific type systems such as Java, and is certainly not a generic concern.

As usual: https://ro-che.info/ccc/17
Hey, Tom. I'll be right over with my laptop that I don't care about. You still on Green St.?
Sure, there is definitely a little extra overhead on the join performance, though my experience I've seen so many other issues become the biggest bottleneck before joins of UUIDs. We regularly used UUID as identifies at Heroku Postgres and use them at Citus as well and they work extremely well for us.

It is of note that we're actually using the UUID datatype though and not just generating a UUID and throwing it into a text field.
Is this not true of the young on both sides? Is it safe to assume that the part of the Spanish military from Catalan will not side with Catalan?
On the passive measurability of RTT/loss of QUIC traffic [pdf]
I wish benchmarks included C++, C#, js (gulp? Webpack?) and Java builds so that programmers knew whether an upgrade is worth it.
> This post reads like it's vaguely implementing what should be in a queue backend. There's a locked_at field in the schema, furthermore should this not be performed via ...FOR UPDATE?

Yeah, I'm relying on transactional semantics to guarantee no contention during the lock, but the part that I'd intended as important here is really just the idea of locking the key — not the particular implementation. I think alternatively using a `FOR UPDATE` is totally plausible and likely even to be more performant than what I've written here.

Try to imagine this as more of a "ideas guide" rather than a dictation on precise implementation.
We use BLAS, LAPACK and SuiteSparse - because they are incredibly high quality libraries. For example, if you translate LAPACK or SuiteSparse into Julia, you will get the same performance. BLAS is a different story (and while not impossible to have a Julia one, the effort to build one would be better deployed elsewhere for now).

The benefit comes from user code, which in many dynamic languages is interpreted and is much slower than built-in C libraries. For example, look at the Julia `sum`. It is written in Julia. Or that we are in the process of replacing openlibm (based on freebsd libm) with a pure julia implementation. Or any of the fused array kernels (arithmetic, indexing, etc.). Our entire sparse matrix implementation (except for the solvers) is in pure Julia.
Pancake Numbers – Numberphile
Exactly the same:

Repo.get_by(Post, title: "My post")

https://hexdocs.pm/ecto/Ecto.Repo.html#c:get_by/3

(Rails/AR deprecated find_by_xxx methods, promotes find_by() instead - for performance reasons)
There are plenty of ally/partner organizations. "East Bay For Everyone" is the east bay one, and there are a few budding orgs in silicon valley (http://www.sjyimby.org/). We all work on local issues, and partner on big projects. For instance, I live in SF but I have traveled to mountain view to advocate for the north bayshore development. SFYIMBY is the "mothership", is the most mature and has the most power to drive votes at the state level.
Some of Microsoft overlaps Google (lots of people still use Outlook/Hotmail/Contacts/Calendar/Office/OneDrive/Skype/etc, it's kind of a pain to switch over everything)

The gaming community would loose an awful lot too. Not just PC Gamers, but most of the industry development tools and workflow are largely Windows-centric.
Show HN: Empathize – manage user conversations easily
10x. fixed it.
I think it's easier for most people to get started using Docker for Mac, but yeah – I run Debian headless in a VM, SSH in and use that for Docker. Way less magic, and I have full control of the underlying OS to test out new kernels etc.

I also like that my underlying code is also within an encrypted VM disk, not laying around on my host mac os.
You think building an elixir team is hard? Try finding an elixir job!
California has a initiative right? Couldn't it be done through a statewide ballot measure?
Thats really interesting, does anyone have a link to an explanation about this?
I checked.

CUP, 8% of the votes. The other pro-independence parties mostly from the right.

There goes the communism thing, what about the slavery thing?

It seems to me that you are trying again the same trick.