skysight-inc/HackerNews huggingface dataset:
You don’t understand. CEOs are allowed to have political opinions as long as they are the right political opinions.

Everything else is hate and shouldn’t be allowed.
Squeeze therapeutic putty 30s per hand, wrist curl underhand and overhand 10x3, rotate hammer from left to right 10x3. Nothing too fancy but it's the routine an occupational therapist gave me and it worked.
Decline of Global Extreme Poverty Continues but Has Slowed
Google can do whatever they want as long as they are honest about it. If they want to call themselves “The progressive search engine” then at least they are being upfront about it.
Unless companywide guidelines are agreed upon, and published.

E.g http://google.github.io/styleguide/javaguide.html

https://github.com/google/styleguide/blob/gh-pages/pyguide.m...
Sorry for the late reply, but it's a pretty standard (imo) setup with postfix, dovecot, spamassassin, postfixadmin.

I'm planning to redo this soon (been a few years) and I'm as of yet undecided if I just do it manually again (like I do every 3-5 years) or if I'll use some template ala sovereign, mailinabox, mailcow, modoboa.

Also check this thread from last year: https://news.ycombinator.com/item?id=16238937
Wait, do you mean when he supported banning gay marriage? Outside of that, I'm not aware of any controversies around him.

Arguing some humans should have less rights than others is imo not a political opinion.
It would be interesting to view a skyplot of the GPS satellite trajectories, or at the least output the Dilution of Precision values comparing GPS with GPS+Galileo. This would help to illustrate the effect of additional satellites on measurement geometry, and thus on the precision of the output PVT solution.
Or Keybase? Signal has similar weaknesses as WhatsApp
OK, we have a bet! How can I ping you if I win? (My contact info is in my profile.)

(Still open to more action, on same or similar terms, from ~DannyBee, ~dragonewriter, or others.)
Well, that's not what he said, and he still is one of the world's best mathematicians. So one wonders why you would take that surprise as indicative of a mistake on his part rather than on yours?
Saying gay people shouldn't get married isn't a political opinion, it is you said it first, just hating arbitrarily a randomly assigned group of people.

Are you suggesting it's the same ballpark as saying "I don't like the current elected official?"
There's now "Google time".[1] This handles by leap seconds by making each second slightly longer, starting 12 hours before the leap second and ending 12 hours after it.

[1] https://developers.google.com/time/smear
Usually grad level courses were about reading research papers. And many times the exercise is to read the paper, try to predict what next para or page will be about and even try to find faults, even though there might be none. I assume Math department does the same.
What you're saying is that comparing the existing build time to the new one, the existing one is about 70% slower. You can also phrase it as comparing the new build time to the existing one, it's about 42% faster.

Both are true statements, however people generally like to discuss how much improved the new releases are versus how much worse the old ones are.

Fun fact, it's important to understand that relationship in other areas as well like the stock market; if your holdings lose 50% of their value, they then need to increase by 100% for you to be back neutral :)
That’s been my experience as well. CNN has really gone downhill in the last decade. I used to be able to get a relatively balanced view, but every time I go on CNN.com all is see is “Trump should be impeached” as every other article. As though there was no other news in the world.
MagicaVoxel – a free lightweight voxel art editor
Sounds kind of similar to CMU's Peloton.
> The worst that WhatsApp can see is "who's talking to who

Not really, given keys are centrally managed, it is fairly straightforward for WhatsApp to setup MITM intercept.

In fact they don't even need to push a malicious client etc, they just need to push a different public key than the sender/receiver's actual ones when contacts mutually add each other and this will quite simply allow MITM interception unless the people do key verification in person. If what the whistle blower is trying to do is stay anonymous - would they physically meet the reporter immediately?

They could even push new keys to existing mutual contacts and get away with it since most people don't display or again verify key change messages.

Lastly, most people turn on message backup in Google drive which is not encrypted - so a warrant or an account hack would suffice.

WhatsApp implementation can protect basically from malicious non state actors. That's a great thing in today's world in itself but be aware of the underlying tech.
Wyden cybersecurity letter 9-19-18
Maybe a default path through the document could be specified by the author or by convention
I will be glad when people stop using the word “modern” for this kind of thing.

It’s an artifact of some imagined distinction we seem to cling to in the computer world, between the present and the past. No one talks about how to write modern novels. They’re just novels. It’s presumed that they are changing over time. And that things are situated in a historical progression.

Also, modernism is an actual thing, and it would be nice if we could use the word for that.
It certainly wasn't scientific, so it's hard to argue it was some sort of decrying of the fall of rationality. He had a singular reason to write it, I argue a sexist one.

Seeing as he didn't have science to back up his claims.
Tesla’s Biggest Problem Isn’t Elon Musk; It's $11B in Debt
Most programming is about turning set of chaotic and very poorly defined business requirements into a code. Which usually means you end up with complex code to handle edge cases that were not defined prior to development. Constantly changing business requirements and unreasonably deadlines don't help. End result can be very stressful and not enjoyable. That's why I think there isn't enough developers. Lots of people just don't have nerves to do this job.
Yeah wow. I just deleted the element blocking my view but that's strange. Ad blockers will just easily stop this countermeasure.

(Not that its unreasonable but I just want to scan the page for a few seconds to see if it's interesting or just has a clickbait title and I'm not paying 10 cents for every clickbait title on the internet.
I did some experimentation back in March, but it wasn't my work, I've found that Dwayne Slater (ds84182 on github) has made some modifications (with SDL) to get it through https://github.com/ds84182?utf8=&tab=repositories&q=flutter

I was able to get the gallery on, had to do some tweaks (like enforce binary mode when reading files, and certain other things, but haven't looked since then).
SiC Chip Demand Surges
The outrageous plan to haul icebergs to Africa
> Calendars almost never have crazy holes in the middle of them.

The comment right above yours at the moment talks about effectively that very problem (in this case, an unforeseen date moving a calendar back a day).

https://news.ycombinator.com/item?id=18036403
llvm is not an order of magnitude better than gcc as a compiler.
Discussed at length two days ago:

https://news.ycombinator.com/item?id=18025209
Why would an obscure link come up first for a simple word? Perhaps you are logged in and it relates to your profile but for generic searches it shouldn't but if it did the link would quickly lose the obscure label anyhow.

Maybe the vanilla term isn't so vanilla if those terms are being used that way on the most popular sites.
Recently discovered this amazing app, allows you to create beautiful voxel art. Very intuitive and fun to use.

I'm not affiliated with it, just sharing it because I think it's awesome and more people should know about it. You guys will probably appreciate it even if you're not into 3D art. Also it's really inspiring that it's an indie project, and it's so damn good.

Author on twitter: https://twitter.com/ephtracy

(he posts feature updates and shares examples of beautiful artworks made with this app)
I feel you. In most cases, Android and iOS's native components are superior to custom-rolled UI elements. Easier to use, more performant, and they leverage our platform muscle memory.

Fortunately, it does seem like these platforms are beginning to converge on a set of common UI patterns, e.g. Android adopting the tab bar, and iOS apps beginning to adopt Android's horizontal-paging navigation. The colors, iconography, and typography shifting can disorient somewhat, but I'd argue it's the navigation model that's most disruptive when using different apps.
Cool, thanks, I looked in the official docs but didn't notice any mention of this feature. :)
Thank you so much for the work on the language/platform. I used to work for Google (LAX), and our team was using GWT, hopefully they have transitioned to Dart + Angular (by now). I fell in love with Flutter right away, but it was in no way connected to what I did back there.
People have been saying that since Xamarin came out though, myself included a few years back.

I often get the feeling that what has happened in "the last year" is that the developer saying it has gotten to know Xamarin well enough to avoid the warts.
I seem to remember Tom Scott doing a really good little video about this.
Applaud the ambition, but please be careful. People go to jail in the US for trying to hack or cheat at gambling games.
Destroy All Software has (as usual) an excellent screencast on it: https://www.destroyallsoftware.com/screencasts/catalog/a-com...
Vortex Pok3r. It's a 60% keyboard which is a nice compromise for travel IMO. You still have programmable layers, but don't have to reach for them when doing basic programming tasks. 4 dipswitches at the bottom allow you to switch to colmak or dvorak in hardware, so no messing up the host system settings.
Some off the shelf 60% keyboards have this, the one I remember is Poker 2/Pok3r Keyboards.
When I'm troubleshooting/explaining something over an IM chat, I'd estimate my inner voice is doing at least 200wpm. The faster I can type, then, the better. (Since I highly doubt I'll ever make it to 200wpm.)
The most valuable skills I've learned are empathy and a servant attitude. I cringe at some of the things I've said in the past with an inflated ego and poor attitude. I try to put relationships first and listen before problem solving.
>Under SALT, income that paid for public schools went untaxed at the federal level. Current law allows states that raise taxes to better fund public schools to receive a deduction through SALT. The Senate bill ends that ability. As states struggle to lessen the impact of the tax bill on citizens, there will be an outsized amount of pressure on the taxes that typically help public schools.

https://thinkprogress.org/taxes-schools-public-private-d89e5...

>
The administration’s new “America First” budget, released Thursday, follows through on this promise by slashing funds for the Education Department by 13.5 percent, or $9.2 billion.

https://www.theatlantic.com/education/archive/2017/03/trumps...

Education funding at local levels can be pathetically bad. So sure, someone can look at the doe and say "that's a bloated budget!" But the local politicians sure aren't helping. Why do teachers have to buy notebooks for their kids out of their own pocket? Why do so many teachers scrape by with 30, 40k/year salaries in places where that's definitely not affordable? These problems are real and they are happening in this country. Time just did a great piece on it, I highly recommend it.
Never heard of the Ergodox EZ. Looks great. Neat that you can replace entire switches with no soldering.

Most of my typing is done with my Kinesis keyboard on my lap. Doesn't look like the Ergodox can go on your lap, which is a dealbreaker for me.

Also, I mounted a trackpad|touchpad in the center of the Kinesis (with tape), and it's wonderful. Again, doesn't look like you can do that with the Ergodox.
Ah well congratulations! Sounds like everything went as planned.
Brain in a vat
Alright, for your education startup employees, let's run through some numbers I have as a stockholder in Clustrix.

In 2010, they raised $12M in their Series B at ~$100M post-money valuation. Things were looking alright.

In 2013, they raised $16.5M in their Series C, and then shortly thereafter $10M in an unusual series D. That funding round reverse-split the outstanding stock 26-to-1 and converted all existing shares, preferred or otherwise, to common stock. What was left was $10M in new preferred stock, and $20M in existing common stock! New post-money valuation: $30M. This down round ended up being a 30x dilution for existing shareholders. If you had a tenth of a percent of $100M before, now you had a hundredth of a percent of $30M. Yowza!

After that bath, the board amended the charter so they stopped mailing out these notices. I don't know what's happened since, but I'll find out soon enough.

I feel bad that the company wasn't successful. It really was a great team and an impressive technical feat.
Mathematicians are happy to use computers for typesetting papers, but not for the initial creative phase:

1) computer displays require you to scroll, which interrupts your mental flow

2) paper and pencil or pen is free-form

3) in advanced mathematics, results are rarely calculated in numerical form, so the computer isn't helpful

4) notebooks are permanent. No backups needed.

I imagine the same is true for most cartoon artists.
Every company I’ve worked for, big and small, has had an apolitical culture.

Sure, you hear jokes about the President and you know who they voted for, but never somebody using a political argument to drive business decisions.

That’s just weird and you’re asking for an HR nightmare.
For the Kepler Conjecture, human mathematicians first found a way to show that it could be proved by checking a finite (but long) list of computer-verifiable claims.

Here Scholze is saying that part of the proof simply hasn't been written, so there's nothing to verify. I think he's missing that computer verification proponents are also aware of that and are either

1. trying to motivate the camp that claims to understand Mochizuki's work to formalize and computer-verify it

and/or

2. suggesting that some of the gaps can be filled in by automatic theorem provers
And VRML.
Day 1 – Coroutine or Coroutine Function
Can anybody suggest me a good side project idea
I am a software developer.I am trying to build a side project that will help some people..

Any language or platform.
Love to learn new things.
There is great power in rdf graph databases (Allegrograph) and the rapidly growing collection of valuable ontologies https://lov.linkeddata.es/dataset/lov/

The barrier to entry is thinking in “graph” instead of relational dB, which is a big cultural change, and then shifting focus and attention to the information science of building valuable ontologies. Once you make the leap, it’s hard to go back - it’s an order of magnitude productivity gain.
I don't really understand why the entire known mathematics is not automatically proven yet.

I think the problem is that this would be a significant amount of programming and data entry work, and there's no incentive for anyone to put in this work. There are many important math papers that are written at a level that is enough for a human math professor to understand, but not for a symbolic mathematics program to understand.

Since math research is generally prioritized by other math professors, and the current system of publications is optimized for math professors to read, they have no incentive to convert to a "formal language proofs are what matters" model. And there is no real financial incentive for computer programmers to implement something like this if math professors don't want it.

At the end of the day, what is the benefit of formally proving mathematical theorems via computer? If the only people consuming math proofs are other mathematicians, the only point is to check that you haven't made a mistake, which is useful but perhaps not worth much investment because the current system already does okay at catching mistakes.

If you could actually develop new mathematical research more easily with computer assistance, then I think these formal methods would be quite valuable, but I don't see how that would happen.
Of course you know this bit of doggerel verse, everyone does;

...

“There must be some way out of here,” said the joker to the thief

“There’s too much confusion, I can’t get no relief

Businessmen, they drink my wine, plowmen dig my earth

None of them along the line know what any of it is worth”

“No reason to get excited,” the thief, he kindly spoke

“There are many here among us who feel that life is but a joke

But you and I, we’ve been through that, and this is not our fate

So let us not talk falsely now, the hour is getting late”

All along the watchtower, princes kept the view

While all the women came and went, barefoot servants, too

Outside in the distance a wildcat did growl

Two riders were approaching, the wind began to howl

...

Have you ever heard it with the lines reversed though?

...

Two riders were approaching, the wind began to howl

Outside in the distance a wildcat did growl

While all the women came and went, barefoot servants, too

All along the watchtower, princes kept the view

So let us not talk falsely now, the hour is getting late”

But you and I, we’ve been through that, and this is not our fate

“There are many here among us who feel that life is but a joke

“No reason to get excited,” the thief, he kindly spoke

None of them along the line know what any of it is worth”

Businessmen, they drink my wine, plowmen dig my earth

“There’s too much confusion, I can’t get no relief

“There must be some way out of here,” said the joker to the thief

...

Now you have to admit, that is not the work of someone who doesn't know what they are doing with language, irrespective of whether or not you personally like it.
http://www.timqian.com/star-history/#gohugoio/hugo&jekyll/je...

Hugo vs Jekyll: Interpolation is in the favor of Hugo :)
No doubt. I believe the word they are looking for is contemporary.
It's not? Where do you think rights come from? The question of who has rights to do what is the central question of politics. Pretending that questions of rights are not questions of politics is a sleight-of-hand move that is designed to put your opponents on the defensive and reverse the burden of proof.
I'm sort of terrified that democracy, individualism, and freedom might die within the span of a decade or two, with the advent of AI and its abuse by those in power. China will likely also use and leverage this system to monitor and influence external governments and individuals. And I wonder what the spillover of that will be?
Profit on an individual level, maybe, but not an industrial level. Taxpayers funded it.
XWindows?
From the NY Times instructions on their tips page:

https://www.nytimes.com/tips

What Makes a Good Tip?

A strong news tip will have several components. Documentation or evidence is essential. Speculating or having a hunch does not rise to the level of a tip.
0 and 1 look like I and O, B looks like 8, and so on. They picked characters that can't be easily confused. The letters are also chosen so they won't spell meaningful words.

The relevant section of the definition is short, and an interesting read: https://github.com/google/open-location-code/blob/master/doc...
Oh absolutely cnn is biased left.

But its journalists don't lie at nearly the same frequency as fox's

Here's a very simple comparison, persue at your leisure:

https://www.politifact.com/punditfact/tv/fox/

https://www.politifact.com/punditfact/tv/cnn/
Lets assume each of those prosecutors sends >1 person to prison. Then imprisoning said prosecutors would likely result in fewer prisoners.
I’m currently on week 8 of Andrew Ng’s original course on machine learning. All the exercises are in Octave/Matlab. I was wondering if Octave is still widely used. I’ve been programming in Python almost exclusively for the past few years.
I appreciate the math explanations in this course. I don’t have a formal math background but it is really helping me understand what is going on. Looking forward to finishing this course then moving forward to a course specifically on deep learning.
Linkage (mechanical)
> Every time I am required to update my web browser to support some new snowflake code I am again reminded just how wrong you are.

That sounds like incredible hyperbole considering all the major browsers are evergreen now.
Human made video game "The Sims", now we have officially reversed it and turn ourselves into those game characters. The AI is now shaping our behaviors and dictating what we buy, eat, and drink. The scores are even live and updated in real time. Well done human, you have played yourself.
CNN doesn't lie at anywhere near the level fox news does. Please take a look at a hard comparison of the times both organizations have been caught lying.

https://www.politifact.com/punditfact/tv/fox/

https://www.politifact.com/punditfact/tv/cnn/
This doesn’t really help as much as you seem to hope for. As a counterpoint, I would like to introduce you to the Underhanded competitions:

http://www.underhanded-c.org

https://underhandedcrypto.com
I imagine everything is a lot more expensive now. More people, right of ways, etc

Didn’t California want to build its high-speed rail in the 1970s?

Americans chose to pay later for mass transit. Now it’ll cost us a fortune.
Stanford CS140e - An Experimental Course on Operating Systems [1]: students implement a simple, clean operating system (virtual memory, processes, file system) on a Raspberry Pi 3 in the Rust programming language and use the result to run a variety of devices

MIT 6.828 - Operating System Engineering [2]: This course studies fundamental design and implementation ideas in the engineering of operating systems. Lectures are based on a study of UNIX and research papers. Topics include virtual memory, threads, context switches, kernels, interrupts, system calls, interprocess communication, coordination, and the interaction between software and hardware. Individual laboratory assignments involve implementation of a small operating system in C, with some x86 assembly

[1] https://web.stanford.edu/class/cs140e/about/

[2] https://pdos.csail.mit.edu/6.828/2018/schedule.html
Sad. Same people that ruined Forward Thrust seem to be going out of their way to ruin ST3, just so they don't have to pay slightly more for their $100k Teslas.
Ask HN: What are some successful 1 person sites that have a very plain design?
I'm thinking of sites like:

https://pinboard.in/
http://www.tarsnap.com/

any others?
DevOps and DRY
Maybe we'll get lucky and perfectly safe self driving cars will solve the problem once and for all in 20 years?
Why doesn't the source you cite also have agendas? IME, those who attack everyone else as having an agenda and present themselves as the antidote - that act is propaganda in itself and they the most prone to it.
It sounds a lot more like Google employees were trying to remove overtly political content from apolitical search terms, but you do you.
How are you crossing the bridge from webassembly to having access to the native UX primitives? Are you directly making C calls to native libraries like win32?
What is the essential difference between the success of browsers and the failure of X-Windows and Java applets?

For my money its that Java applets and X-Windows didn't have a distribution mechanism and security model. They simply didn't do anything I couldn't already do with desktop apps and HTML.

Also, frankly, they were kind of slow and not very good. I think thats the biggest problem with this sort of idea - the breadth of surface area for GUI toolkits is crazy huge. Building something that works well, and works cross-platform is a seriously huge amount of work.