skysight-inc/HackerNews huggingface dataset:
The external 1080Ti will run pretty much everything flawlessly.

I play Overwatch, Rocket League, GTA V, etc, and run everything with max settings and get consistent 60FPS with vsync and no tearing.

Of course, you can always upgrade the graphics card in your external GPU enclosure to keep up with future titles
I should also note that KLEE 2.0 was released[1] in line with LLVM 8.0 release. It is the first release in the last 2 years, so the amount of changes is huge. If you are using symbolic execution - I recommend you to check out this version.

[1] https://github.com/klee/klee/releases/tag/v2.0
he recently put out a draft paper about decentralized imageboards, which we were discussing on 8chan. We want to make a fully p2p board without censorship, and optional curation lists (for spam and the like). We are tired of being beholden to the parties which would like us gone, so we will build something complemtely open and non-jurisdictional. There will be no censorship of the board (by governments, ISPs, DNS servers, CA authorities) and no censorship by board administrators. If the owners leave & turn off their computers, the site will continue to exist. Juan Benet used the term "open service," to describe something like this.

https://t.co/xJt2dR3B7B
In social sciences if the effects aren't clear and readily apparent without quibbling over whether p<0.05 or p<0.01 is the right standard then perhaps the whole thing is a waste of time. If our experimental techniques are insufficient for dealing with multiple factors and complex webs of causality then why bother?
Complexity is objective, so a numeric measure isn’t good or bad. It’s the rules upon that number that are subjective.

I am curious about why developers find this frustrating. It is very commonly frustrating. Developers almost always claim to want simplicity until the terms are defined, which makes me wonder what they are actually wanting.
These groups all exist on ‘general platforms’ - ie Facebook and reddit.
But it doesn’t help the situation- in fact, it may worsen it.

People end up only connected to people that share their viewpoints; and specific discussions in groups or subreddits are not occurring on a ‘soap box’ environment where the broader community is exposed or engaging with it; so it flourishes, with sometimes toxic results
I am working on interpreters and compilers for dynamic languages for my PHD. I'm spitballing the numbers a bit but in my experience the exact speedups vary a lot depending on the particular choice of language and benchmark. I have more experience with Lua, for which I wrote a bytecode-to-C compiler once (gcc can do wonderful things if you throw some C code at it...). Most of my benchmarks got a speedup between 2x to 3x but some of them got up to 9x.

BTW, "number crunchy" benchmarks like GCD are the best case scenario for ahead of time compilation because the interpretation overhead for them is very high. The interpreter is running lots of bytecodes, and each bytecode is only doing one or two machine instructions of actual work. Did you happen to compare your results against a C implementation of the program (or PyPy JIT)? My experience with Lua was that despite the high speedups compared to the interpreter, the numeric benchmarks still ran much slower than something an AOT compiler for a statically-typed language (or a speculative JIT for a dynamic one) can produce. There is a high cost to the dynamic typing, as variables have to be stored in the interpreter stack instead of in machine registers, and the diamond-shaped control flow gets in the way of optimizations, etc. Getting a 10x speedup in a benchmark that runs 100x slower than C might mean that there is still a lot of fat left to cut :)
Over the past decade or so that "want" turned into "require". I would much rather go with a slightly inferior FOSS alternative than depend on the whims of the investors of whoever sold me proprietary software. Pretty much the only non-free "core" thing I use is GitHub, and I could easily drop it if Microsoft gets uppity about anything.
A Surprisingly Underutilized Tactic for Getting ~20% Plus More Ecommerce Sales
"Google’s system scans the content of emails stored on Google’s servers as well as those being sent and received by any Google email account"
8chan is not the problem. People are the problem. If he never made 8chan they would have congregated somewhere else. I think this idea that unsavory websites breed their unsavory bits is pretty close to blaming school shootings on video games.
Detecting and Breaking Request Loops
I really like some if the companies this year specifically those with a social aspect. Wish there was a YC fund that average people could invest in. It would give a real opportunity to vote with money for more socially relevant companies at early stages instead of waiting for them on the stock exchanges
Anyone know of any interesting counter-points or examples of exceptions?
A technology company selling vibrators uses a mobile application to spy on its customers in their most intimate moments...
False premise: it doesn't.
> sneak the usual "macros are too powerful for everyday use"

Not trying to "sneak" anything, I openly say that language design, which is what macro usage is, is not something you should have to engage in everyday. In fact, I would turn it around: if you have to (repeatedly) resort to language design in your everyday programming, your programming language is (woefully) inadequate. Most are.

Which is why the reasons for hitting that boundary interest me: where do I have to resort to metaprogramming, why, and what can I do about it? What non-metaprongramming facilities are missing here so that I don't have to resort to metaprogramming? And if I don't want to just add those facilities to the base, which I don't, what mechanisms can I add to the language so that users of the language can use plain, non-meta mechanisms to provide those facilities themselves?

This is a bit tricky, but I am making good progress using a software architectural approach[1], with frequent surprises as to how much simpler things can be.

> left out of a language altogether?

Quite the contrary. I think "escape hatches" (metaprogramming) are fundamental and your everyday language(s) should be built 100% on top of those mechanisms. Heck, I named my company "metaobject"[2] 20 years ago, after The Art of Metaobject Protocol.

[1] http://objective.st/

[2] http://www.metaobject.com/
As far as I can tell, it has become exponentially worse.
looking at the majority of posts it seems like people are angry about "noise"?
Reddit is pretty aggressive with it's censorship. In fact it used the NZ shootings as an excuse to remove several "problematic" subreddits.
Praggnanandhaa is actually the fourth youngest GM of all time and the third youngest right now, but still, it's impressive. There's no guarantees that this kid will progress at the same rate, but don't let that take away from the feel-good aspect of the story.
But if you don't drive them off then advertisers will leave and it will cease to exist at all.

Advertisers are the ones you need to keep happy not users.
They're randomly aggressive. There's little rhyme or reason to it. They shut down watchpeopledie after some content was posted there and got outside news attention, they have no problem with other subs posting hate and talking about race based wars, violence against minorities and immigrants and etc.
Since I saw the URL https://certificates.clearip.com in the link, went to that URL and it offers a ClearIP root certificate. ClearIP being a product from the company who wrote this blog.

I wouldn't be entirely surprised if the carriers themselves were acting as the root CA for their given calls. There's no reason to tie it to the CAs on the Internet.
OK, we've replaced the title. I've been thinking recently that for book review articles maybe we should just use the book title anyhow.
If you asked them what’s a reasonable way to treat their data, I believe the GDPR is close-ish to what a lot of Europeans would want.

I'm pretty sure that if you asked people whether they would prefer to pay for Facebook and Google with cash or by sharing data for ad targeting, most would choose the latter. The GDPR specifically forbids that option.

Article 13 on the other hand is what you get if you ask rights-holders groups what they want, and poses a direct threat to freedom of expression for millions of Europeans.

And it demonstrates the impossibility of having a powerful bureaucracy that does only the things that you want.
As an aside, I wish the WSJ didn’t name the terrorist in their article and instead followed the NZ PM on leaving him nameless. If people really want to know it they can go to Wikipedia.
https://futurism.com/graphene-computers-work-1000-times-fast...
Maybe they’re after people like me.

I like having all of my news in fewer apps rather than more. I’d subscribe to the Journal if it was part of Apple News, but as a stand-alone app, I’m not interested.

Similarly, I listen to as many of my favorite streaming radion stations through TuneIn as possible, rather than having a folder full of individual apps.
Every job ad must include why the company or the position is unique. Ideally you have a key differentiator driving applicants to self-select in or out.

Applicants excited about your company or role will apply immediately and put much more effort into the process. Applicants opting out probably weren't great hires for you anyway. By triggering a strong in/out, you only spend your time vetting the very best applicants.

Example: Company X has a strong "dogs in the office" culture. It's a big part of who they are! People who love dogs absolutely want to work there, and may be willing to select Company X over other equivalent positions. People who don't love dogs, are alergic, or just prefer animal-free offices would never really be happy there, and the hiring manager doesn't even need to look at those resumes.
FWIW, Dell's XPSes are supposed to get an OLED screen shortly: https://www.engadget.com/2019/01/08/dell-4k-oled-xps-alienwa.... May not be valuable to everyone, but it's likely valuable to some people.
Oh great! This is truly excellent work. I love the ability to toggle through the chord voicings as well.
Platforms that explicitly enable harmful things (child pornography, racism, and much, much more in the case of 8chan) make the world a worse place. And sure, if this person hadn't created 8chan those horrible people may have just congregated somewhere else, but that next person could also decide not to create/support a hateful platform, and the next person, etc. Are they always going to exist? Of course. But we are all responsible for ensuring that they don't come into existence or continue to exist once they do.
Considering that a bunch of Christians were massacred by Muslims in Nigeria around the same time as the New Zealand shooting and those killers weren’t known to be active Internet forum users, your theory seems correct.

https://www.newsbusters.org/blogs/culture/matt-philbin/2019/...
I kind of dislike that view. It's very narrow minded. It also depends on your definition of tolerance. Tolerance in my opinion is inherently something on a sliding scale. In other words, to be tolerant you must by definition find certain things tolerable [to some degree].

I would posit that being tolerant and intolerant to intolerance is not a mutually exclusive stste. You can be both to varying degrees.

In fact, being somewhat intolerant of intolerance is probably a prerequisite to being truly tollerant.

That middle ground is what we need to protect and preserve.

Acting like you must be one of the other is something a clever 5 year old would do.
#1 is a myth debunked over and over.

https://www.nytimes.com/2018/04/24/us/politics/trump-economi...
Alternate alternate narrative: Not being on general platforms reduces the available recruitment surface area.

We've seen movements co-opted from one thing into entirely different things fairly regularly. Vulnerable people brought into far more extreme views. The pattern seems clear with things like Gamergate that turned into a reactionary identity type thing pretty quickly. "Incels" where frustrated men feed of each other's anger and it just builds and builds.
It would be criticized if it didn’t.
We've replaced the title with that of the article. (Submitted title was "HTML has 5 different tags to preload something. Here’s a deep-dive into all".)
Exactly. There's no Deepfake here. They've recreated each of the GIFs as a 3D model, and then do a reasonable job of converting a photo of your face into that model. Somewhat underwhelming.

Here I am as Obama doing a mic drop: https://imgur.com/a/AzBNbBO -- it is apparently recognizable as me

Edit: with freakishly long fingers, which makes a change from the current president at least?
Also using hp here, i used 2 models (burnt the first one by connecting it to a cheap hdmi adapter while on battery). They're not the best but you get a great laptop for 600€. Nvidia graphic card handling needs tweaking on Ubuntu or it stays constantly at max power. I never tried to get the fingerprint reader to work. The rest works fine. I really like having 3 external screen outputs (vga + hdmi + usb c) to make a triple screen setup without needing an adapter
That's a sort of mixed up analogy. Video games don't advocate for action in the real world. Shooting a bunch of demons on mars isn't a proxy for an agenda of anti-demon martian immigration. Even if you're shooting a bunch of nazis in Wolfenstein, there's no logical path to an real world aryan genocide.

But if you put a bunch of racists in a forum together, and there's no grownup there to tell them that this isn't OK, they'll fester and feed back and eventually someone will take things farther than the lulz-seekers originally intended.

Like an aircraft accident, there's no one "fault" here. There are lots of contributing factors. But the ease of access to a welcoming shithole of hate is absolutely a contributing factor.
I don't particularly care what someone who murders a bunch of people "thinks they're doing." Perhaps that makes me intolerant.
I have no problem buying tools up to around $1000. $50 is a total no brainer for which I don't need any approval. I often buy stuff that's only used once but it still is worth it because it saves time.

I think there is more willingness to pay in the Windows and Mac world than in the Linux world though.
I always like seeing this house when I drive the 280. It’s one of those landmarks I recognize as a signal I’m getting close to home.

The owners should start a Kickstarter for a legal defense fund or something. Call it “Keep Hillsborough Weird!” The owners are likely rich already if they own a home in that area, but I don’t like the idea of a rich city strong arming a homeowner to change their house to something more “normal” if there’s no real safety issues. Live and let live.

The weird homes and cars are always fun to look at and give a city character. Like that car in Pacifica with all the squirrel statues glued all over it: http://www.reallyweirdstuff.com/squirlywhirlyartcar.htm
How clear or important the effect is has nothing at all to do with a p-value. I can have p < 10^(-10) and still have an effect that is so weak that it's meaningless. The confusion you're having so pervasive and a big part of the problem. You have to use effect sizes in order to measure this.
I don't think a given atrocity that doesn't involve the internet... says anything about what might or might not happen with the internet... your conclusion makes no sense.

Also that talking point about Christians in Nigeria has been a common talking point among folks who seem very interested indirectly playing down the NZ event, and I belive ignores that Muslims were massacred before the Christians in Nigeria just before the Christian event...
Are you sure $150 every 2-3 years actually sounds like a lot of money to you? Especially on something as important as listening to audio? I don't even think you believe this. My headphones last longer than that, but that's irrelevant to my counterargument.

Show me your receipts and I'll find things I "can't fathom" and all sorts of environmentally questionable decisions. You clearly are willing enough to let technology into your life yet care so little about the environment to post here on your high tech device, to use your own argument. You would lose the game you started very quickly.
A military precaution? Any valuable system has to have a self-destruct button, to prevent it from falling into enemy's hands.
Given zero interest rates, and the fact that AirPods used half as much will last twice as many days, the two-pair implementation is financially equivalent to the one-pair implementation.
Real life...

Why not?

Perhaps the fact that Elite could create its universe via mathematical functions points to something that we as-of-yet do not understand (mathematically) about the nature of our own (real) universe...
This is so random!

I can't imagine the amount of patience and focus this guy has.
I wonder if being owned by Murdoch made any difference in that decision.
Thank you for the feedback. That is a very valid complaint and one that is hard to avoid because the complex numbers are basically derived by trying to solve equations like x^2 + 1 = 0. It may be a bit more geometrically intuitive to describe complex numbers as a system of making 2D vectors work with multiplication and division which I sort of touch on later. The explanation is there to provide a brief overview and support the following visualizations, but I will see if I can improve that section.
I found it incredibly childish that she did that. Like she's trying to stick her fingers in her ears and sing "LA LA THIS DIDN'T HAPPEN". He's not Voldemort.
>Nothing wrong with building headsets for the more casual consumers...

Not sure if this is true. There is nothing casual about blocking out the real world entirely with a sensory depriving helmet on your head. I just don't see a casual market for this tech until it integrates seamlessly with the real world.
A look at an original iPhone prototype
Show HN: A Tax Calculator for India
Yeah. I recently checked out Voat, as it was proposed as an alternative for reddit. Not saying that it’s representative of the whole community, but the top of /v/programming was quite, erm, different to what I excepted:
https://voat.co/v/programming/top?span=all
I built this command-line tax calculator as a side project.

This script determines:

- When you're made an offer for a given CTC, how much will you take home every month?

- If you want a certain amount of take-home pay every month, what CTC should you ask for?
This is for Indians.

This script handles:

- Differing tax treatments for employees and consultants. The latter are eligible for presumptive taxation under section 44AD.

- Health and education cess

- Surcharge

- GST

- PF and pension

- Section 80C investments

- Professional tax
Thanks!

With msys2, pacman -Syu then pacman -Su will update your minty to 2.9.9, which according to https://github.com/mintty/wsltty/issues/145 should include the 30 ms patch.

It feels quite smooth to me, but I haven't done measurements
Not to get too far down the digression, but... you don't find it odd that the only coverage you can find on that "massacre" is from right wing sources? I mean... terrorist attacks by muslims normally get front page press in the US. Why are they ignoring this one so totally?

It's because it's fake. Or at best unverifiable. Someone took a press release from the Nigerian government about a death toll (not one event), spun, laundered and seasoned until it sounded like a terrorist attack, then launched it as counter press to (pause while I take a breath to calm down) effectively defend the very real, very hateful attack in NZ.

What you just posted is straight up propaganda being used to "both sides" a way out for right wing, white christians to believe that this was somehow justified.
Yamanote Line train driver fulfills life's dream, down to the exact second
Leaving them nameless doesn’t give them the “fame” they want. It’s a really good practice.
You mean that you don't care about discouraging the next one? That's the motivation to understand.

The point is that this "Paradox of tolerance" meme is invokable to escalate the aggression of any viewpoint - a paradox in the common (not not A -> A) logic system means anything can be proved.

We don't have a problem with the murderer and his enablers because they were intolerant, but because they committed and encouraged murder.
pgAdmin3 doesn't connect to newer PG versions though.
The internet, as a whole, doesn't learn lessons easily. Edgelords grow up, younger edgelords come online and replace them. It's always September.
Quantum ColorBloch
The Bloch Sphere (https://en.wikipedia.org/wiki/Bloch_sphere) is a way of representing
information about a quantum system.

For those familiar with the idea, I propose a model where the north pole is a binary 1.
The south pole is a binary 0. But the equator is a circle of colors and points along
the longitude are intensity.

States can be represented by color (latitude) and intensity (longitude) and are
continuous.

But any "measurement" of a state can only result in a binary 0 or 1. Measurement
"collapses" the point on the sphere to the north pole if above the equator and
0 if below.

So quantum state can be represented as colors. Noise can be represented as colors
that mix with states to cause "drift". Mixing colors follows well known rules.
Colors can also be compared so quantum noise algorithms (which compare but do not
measure) can be implemented.

In this way it might be possible to simulate quantum algorithms in a color space.
Damnatio memoriae has been around for a long time.
> Video games don't advocate for action in the real world.

The argument at the time was that the kids aren't violent, video games make them violent. The analogue here is that the shooter wasn't a radical, 8chan made him one. Shitty people radicalize each other with or without the internet, much less with or without a very specific site.
The paradox of tolerance is twaddle because it works for literally any viewpoint in the world. Your side righteously doesn't tolerate the intolerance your opponents and then your opponents righteously doesn't tolerate your side's intolerance. Both sides are perfectly and equally "justified" in their refusal to tolerate the other and 'round and 'round it goes.

Citing the "paradox of tolerance" is nothing but a faux intellectual fig leaf for those who want to establish controls on what is allowed to be said.
> Advertisers are the ones you need to keep happy not users

Not many advertisers on sites with 0 users. You need both.
Hey man, as long as you can share images.

Everyone else just over here dying because white guys think it’s about their freedom to do X. And please don’t get confused. I am one too. I want to suggest if you are spending your time writing DRAFT proposals of a p2p image sharing amazing protocol that can’t be taken down by any jurisdiction man .... well that’s theoretically useful for every freedom-loving man everywhere but most likely something useful to child pornographers and there are lots of people actually suffering under boots and heels of tyrants now and what they don’t need is you writing RFPs while sipping Mountain Dew.

If you can’t see all the trolling about race and gender and just people in general isn’t helpful and is actually causing people harm in meatspace, that’s something you should work on.
No, she refused to say his name in order to make it harder for him to be recognized or idolized for what he did; she has refused to give him any sort of platform for his ideology. That's not the same as saying it didn't happen. She has very explicitly said that NZ's gun laws will change and that policy will be passed in order to help prevent this from happening again. We should know the names of the victims, not the perpetrator.

It's a very well known phenomenon that when there is media frenzy over the identity and "secret life" of the attacker, violence rates go up. Many attackers do this for infamy.