skysight-inc/HackerNews huggingface dataset:
Just as spying through eavesdropping on plaintext was defeated through technical means, pushing malicious updates will also be defeated.

Tech companies will have to declare that their update mechanisms contain no means to apply updates without user consent, and when updates are sent they will publish the hash. Security researchers will independently verify such claims by reverse engineering.

Then whoever some government wants to spy on cannot be tricked into installing a malicious update, as suggested by this blog post.

Governments are just going to have to accept that fact that their ability to intercept private communication and recover private documents will be reduced to zero in the near future, as it should be.
Is Mathematics plural? Would you say "Mathematics is cool", or "Mathematics are cool"?
For projects or programs I like to design a methodology which is appropriate for the context.

For instance, off-the-shelf "agile" methodologies that would be great for a Ruby on Rails webapp can fail if you apply them to a project which is heavy on 'data science' because the 2 week sprint (10 working days) involves a 2 day batch job. Start the 2 day job on the last day and you are screwed, start it on the second to last day and you take a big risk that something could go wrong, start it early enough and you will nail it every time. Thus the model of "managing punchclock time" needs to be supplemented with "managing calendar time" methods.

To take another example, if you were developing a video game you are going to have people creating image, sound, video, 3-d, levels and other assets and you need the right methods and tools to deal with that.

As for people who "hate agile" I have two things to say: (1) if you cannot plan two weeks of work you cannot plan six months of work, and (2) agile does force people to work through interpersonal conflicts that can often be avoided in other cases. If you are lucky you can avoid them until "ship day", if you are not lucky you get angry meetings, finger-pointing and another year of "death march" to finish up what you thought was a six month project.
I use irc pls add
About to join their analytics team soon. Their technical capability is high and growing. Their involvement with "AI" is not that huge, but they'll have one of the best outlooks of how average companies are starting to throw machine learning/optimization at their operations.
> Not all math is beautiful IMHO.

Surely no-one claims that it is? Speaking of 'beautiful code' does not invite the rebuttal that there is also ugly code, just encourages the appreciation that ugly code isn't all there is, and that formal systems can be æsthetically pleasing.
A possible solution is to reduce the surface of what can be imposed by law, so that what people vote can affect less the people around them. This can be done by more and stronger liberties (not rights, that's a different story). But even this one is far from enough.
I am not thinking of any secession, that would solve nothing.
I've been doing something similar to your everydaycheck app, but manually using google sheets for about a year now. Works great for me too. Your app looks pretty neat!

Does it get much interest from others, or are you the main user?
> things like running Quickcheck and Nitpick in a separate thread

In my experience with Isabelle, these tools provide feedback on the order of seconds (because they do expensive things). Maybe several hundreds of milliseconds, for simple cases. At these scales, it makes no noticeable difference what kind of parallelism solution you use. Spawning separate processes and sending messages would work just as well.

So the reason there is no parallel Quickcheck for Coq is more likely due to the fact that there is no Quickcheck for Coq, period.
It's pretty much the same issue as with FizzBuzz: You'd be completely shocked at the insane ratio of people passing already the very basic smoke tests of good due diligence.
This is reasonable -- I think companies that get a solid team together and then look for a quick acquisition is a way for top players to capture something closer to their market value. Or as a way to develop good tech that a big player is interested in, without having to deal with the specifics of profitably monetizing that tech.

I don't understand why he'd be cagey about telling us that, though.
That doesn't account for the genetic component.
> There are only so many ways formal structures can relate to each other aesthetically.

I think that a lot of the inherent beauty of mathematics (there is also the beauty of the climb, as you very nicely described it) comes precisely from the realisation that, sensible as this claim is, it doesn't seem to be true: there seem always to be more relationships out there to discover, and their hidden and surprising natures can make them all the more beautiful once uncovered.
This post is rather naive. Pandas performance improves when one uses in built functions. Also the performance of pandas is better over numpy for larger sizes [1].

[1] http://gouthamanbalaraman.com/blog/numpy-vs-pandas-compariso...
Or their executives sent to jail for life or executed in the streets like other drug kingpins?
I automate legal documents usings Advobot (advobot.co), a messenger based chatbot that walks you through drafting legal documents. It makes drafting legal documents easy and conversational and is much faster than traditional methods. I can also use it from my phone, which makes drafting legal documents on the go much easier.

advobot.co/web
Surely you can succeed without working like an animal? You probably can't take it easy like with a larger established company, but it doesn't mean you have to run yourself to into the ground in order to be successful.
They do have some incredibly talented people working for them, and they get to see a great many different organisations of every size, industry, and nationality, or type.

You can probably better find the technical state-of-the-art on arxiv github. But I can't think of many people or organisations better placed to know the impact of AI on business. The technology is developed at universities, and at the likes of Google and Facebook, who are focused on in-house applications only. Maybe IBM, but the last person to read an IBM white paper was later seen walking South from McMurdoch station and is feared(and/or hoped) dead.

Personally, I still prefer the Kinsey report. But this certainly isn't terrible.
U.S. Military Believes Humans Have a Sixth Sense Intuition
Have fun! This one is a trend-following system for swing/position trading. It hasn't been backtested to factor new market behavior for the last 6-7 years, so it'll probably do badly now. My failure was not being able to convert that for daytrading timeframe.

PS: anyway, sorry for digressing away from the topic of the HN thread lol
I don't think that any commercially available GSM modems actually have open-source GSM implementations - SIM5320 isn't an exception, sadly =( So, compared to AOSP, the main difference is that this project is open hardware (excluding the Pi Zero, mainly).
Show HN: The missing Heroku CLI releases:diff plugin
Looks like this implements multi-member districts elected via STV, similar to the system used in Republic of Ireland to elect members of the Dáil.

Overall I think this is better than single member districts with plurality voting, but IMHO there are simpler reforms that offer better mathematical properties.

MMP [1] (used in Germany, New Zealand) ensures proportional representation and still allows for small geographic-based districts. The overhang allocation mitigates the incentive for gerrymandering. A minor but significant enhancement would be to use approval voting instance of plurality to elect the single winner district MPs.

RRV [2] (not implemented anywhere I'm aware of) is similar to STV in that it uses multi-member districts, but uses a simpler range ballot (think amazon 1-5 'star' ratings for candidates) rather than a ranked ballot.

The Center for Election Science [3] has some very good resources on this general topic. Electoral reform is a terribly important issue that is very difficult to make progress on. My hope is that we start to see some reforms at the state and local levels that can provide indication that these reforms are legitimate and are not being done to game the vote.

Speaking of, "Gaming the Vote" [4] is a really good book on this subject.

I think reforms like HR 3057 are well intended but I think it's too early to attempt this at the federal level. Voters in the US have very little context for electoral reform and it's an issue that tends to (perhaps legitimately) cause people to be suspicious.

[1] https://en.wikipedia.org/wiki/Mixed-member_proportional_repr...
[2] http://rangevoting.org/RRV.html
[3] https://www.electology.org/
[4] https://www.amazon.com/dp/B003K154R0/
Hey now, the Artistic License is also one you can trust not to bite you in the ass.
You can look up DW nominate scores from since late 1800s and you'll see the rise since 1975

https://legacy.voteview.com/Political_Polarization_2014.htm
As a lower-level employee, aggressive debating is also something that is simply not accepted from lower-level employees. It seems to be working as a signal of status. While officially welcomed, blunt criticism has been followed by behaviours that I can only understand as retaliatory.
I've seen a few people making incorrect comments about Charlie Gard. This blog post is a neat summary of some of the more common misconceptions.

The judgements, and the summaries of those judgements, are very readable.

April: https://www.judiciary.gov.uk/judgments/press-summary-great-o...

May: https://www.judiciary.gov.uk/judgments/great-ormond-street-h...
Discalimer: I am working for uptime robot as a freelancer.
Hi, if it fits, uptime robot[1] has keyword monitor type. I think you may use this monitor type to track book pages(for ex you use "available" as keyword).

It is free for 50 monitors.

[1] https://uptimerobot.com
Well, yes. It's just pulling data together from a bunch of different sources and interpreting it, talking to people, putting together case studies, presenting it in a fairly concise format, etc. Certainly other firms are capable of doing something similar but it's not as if this sort of information is readily available from a single source to just turn into a table.
It was both ways around. The wanted it, got it, then continued using it after it was no longer official.
I'm having trouble finding the source of this quote, but here:

>Many mathematicians have the opposite opinion; they do not or cannot distinguish the beauty or importance of a theorem from its proof. A theorem that is first published with a long and difficult proof is highly regarded. Someone who, preferably many years later, finds a short proof is "brilliant." But if the short proof had been obtained in the beginning, the theorem might have been disparaged as an "easy result." Erdős was a genius at finding brilliantly simple proofs of deep results, but, until recently, much of his work was ignored by the mathematical establishment.

And here is an interesting study on what mathematicians consider beautiful: https://www.gwern.net/docs/math/1990-wells.pdf They found that mathematicians varied a great deal in what they considered beautiful. And that there isn't any consensus on what is considered beautiful. It also changes over time:

>There was a notable number of low scores for the high
rank theorems 9 Le Lionnais has one explanation [7]:
"Euler's formula e^pi*i = - 1 establishes what appeared
in its time to be a fantastic connection between the
most important numbers in mathematics... It was
generally considered 'the most beautiful formula of
mathematics' . . . Today the intrinsic reason for this
compatibility has become so obvious that the same
formula now seems, if not insipid, at least entirely natural."

I think the interestingness or surprisingness of a mathematical idea is a temporary thing. Once you really deeply understand something, it's no longer surprising or interesting. It should just feel obvious and simple.

This goes along with Jurgen Schmidhuber's theory of art (http://people.idsia.ch/~juergen/creativity.html). That humans crave novelty and unexpectedness in all areas, and that is what we consider beautiful. But once you get very familiar with something, it loses it's novelty.
Yes, there's an extensive bibliography that follows - which only makes me more confounded that most educated people haven't even begun the journey (or have skipped the first distinction.)

While reason could be complementary, that's NOT what Rationalism is, and it's not what the humanists I keep encountering say or write, either - it may be the position they would retreat to if pressed, but it's absolutely not what they say.

Reason has so often been the refuge of the enemies of empiricism. That it shouldn't be this way is true, but careful you don't fall into a "No true Scotsman argument," here; since the complementary view is not an accurate look either at history or of much of academia now, in my experience.

Too-quickly assuming complentarity (as de facto true or worse logically true) is precisely how many people fall into the trap of conflating the two very distinct things.
One of my favorite features of D.
You can use a spare Bluetooth keyboard (or even a USB one), and I hope to produce a QWERTY keyboard attachment for ZeroPhone this year. In general, this is going to be one of the most important addons I'll be working on this year - both in hardware and in software.
There has always been war b/t static vs dynamic linking. The debate will continue forever, but it doesn't really matter anymore. Each side understands and has solutions to its deficiencies.
Yup - we have plans to expand it to other languages and cover more useful word lists. The QR Code option will definitely be a nice addition, though we have code sharing feature in android app over WhatsApp and other available apps.
For big rewrites, I like to see someone who's been burned by a failed rewrite at the helm. They'll be much more aware of the pros and cons, and at far less risk of underestimating the effort involved, or the value of working code.
IoT Myth Busting
Make an effort to actually read his comments. He is very kind and patient but he expects to be treated kindly too.
I go about automation in even less efficient way.

I spend many months doing repetitive tasks. And than I realize I should automate them, and proceed to spend hours coming up with scripts/tools to automate them.

Happens way too often...
A Mac Podcast App You Can't Have
I have the same problem, I would like to develope a circuit to recycle dripping water to a tank and reuse it to allow overwatering eithout leaching the nutrients and wasting water.
I didn't quite get it. Do you mean that Boeing is built by independent people who work on whatever they want to and then a plane is assembled of that independently built parts and no one takes the responsibility of the result? Or you mean that Boeing is subcontracting particular work to independent firms serving as architect, coordinator, and sponsor and taking all the responsibility?
I wish there was a more clear language tutorial, instead of mixing embedding tutorial with the language itself.
My estimates show about 5 hours for the assembly time, so unless you get paid $1000/hour, this is not going to cost that much =) As for the time invested in software and hardware development - yep, it takes time, like any project is going to.
Cool! It would be great if we could post short messages to the other player + have a timer for the answers.
Pyfiddle, online Python IDE
I wrote https://pyfiddle.io, an online Python IDE for running, saving and sharing light weight Python with ease
Also support features like file uploads, argument passing and package installation.

Happy fiddling at pyfiddle.io !!

Love, a pythonista
Considering that my job is to do the automating, not having a job would be the least of my worries when that day comes.
> In what way does it restrict you from suing Facebook?

Economically, by losing the license to use React in your product once you serve them with papers. It's an implied gun to the head. Or poison pill, if you prefer.
C++ sort is faster than qsort mainly because it uses radix sort for integer data in most implementations. You can use radix sort in C, too, e.g. some benchmarks [1]

[1] https://github.com/faragon/libsrt/blob/master/doc/benchmarks...
Kindness and sincerity have to go together. I see way too many people going through rituals that are supposed to make them look kind but they are not sincere.
I may be biased since I'm american but I always felt "maths" to be silly. The argument for "maths" is that mathematics is plural. But it is plural in the sense it is a "mass noun" like software or equipment. You wouldn't shorten software to "softe" or equipment to "equipe". Also, maths sound awkward and silly and went spoken pretty much similar to math.
I never would have thought of that but it makes sense
Author is Yildiray Ogur! He is anything but liberal. As a matter of fact his best bud(Mustafa Varank)from college is perhaps the top advisor to Erdogan.
He was also the chief propagandist during Ergenekon trials which they jailed thousands od secular writers, millitary officers, journalist.
Cool! Maybe you'll enjoy something such as Sikuli. It basically lets you automate the actions to take on your desktop or laptop visually. It's based on OpenCV and has a simple interface to use.
I have a small irrigation setup that works somewhat well for my needs. I have a small pond/waterfall pump inside a rain barrel that pushes a decent flow to my emitters that water my lettuce and cucumber plants. The pump inside the barrel is connected to an outdoor Z-Wave switch that is ultimately controlled by my SmartThings hub.

The main downside is it's currently manual and water is limited in the barrel. The rain barrel can only hold so much water and at times, I find my ZWave switch will turn off, then back on, which eventually drains the barrel if I'm away. I usually turn it on/off on hot nights when I'm home so I can monitor it.

Next summer I'll take a different approach with some of the ideas from this article. Perhaps use the rain barrel only if it's full (using sonar sensors that ping off the water level), but use the main house line as the primary.

That hacker/tinkerer in me wants to ultimately build a system that waters based on weather patterns/demands. I'll save that for next year.
It isn't a regular plural. What is a mathematic? Mathematic is not a noun. Mathematics is a mass noun like software or equipment.
This is a spectacularly bad headline. SF VC investment had a down quarter, but continues to completely dominate nationwide, and SF is separated out from Silicon Valley, which is in a very dominant second place.
I agree that a library such as this project is not at all as consumer-friendly as an application is. Some might even call it completely unsexy. It's a component of something bigger though, something you can indeed call into from nodejs. But that's another project.

>or sell directly to those who know exacly what you are talking about

Yeah I've been thinking I should try to get a few gigs as a speaker at tech meetups or conferences to talk about this tech but I haven't yet found a good enough story to tell.

Edit: give me one more chance to describe what Resin is.

Have you heard of SQL Server LocalDB? It's proper SQL Server, but it runs inside the process of your application. It's a library that has support for SQL, fast reads and writes. It's a database like any other databasem but it's a library.

Unfortunately (or not) SQL Server LocalDB has no support for full-text search. This is why there is a marketplace for libraries such as Lucene, who make full-text search their priority. That market place has been as fixed on Lucene, an open source free software project (LGPL), as the world has been on Google for about as long a timespan. If I want to make a dent on that market I need to be as open as Lucene and as performant.

To keep up with achademia the code base of a search engine should move fast (my view). Managed code lacks the preciseness of C++ but allow you to work fast. As hell.

So, ResinDB looks very much like a much smaller (in code size) version of Lucene. We will see the coming months or so, who moves the fastest. Me or the Lucene team.
Totally agree on build quality. I'm a desktop linux guy since 2007, but a company I worked for a few years ago gave us all 15" MBPr's, and I've been using it ever since just for the build quality. Not a fan of closed source, walled gardens, or of running Linux in a VM, but the durability of the hardware is addicting.
Voloshyn: “Participation in art fairs  is a long and hard work for the future”
Yes, of course. Sorry for the cheap cliché about bankers, when they, both as customers and through their firms' support do indeed support many worthy causes. I hope the cultural scene in London won't be hit too hard–they must have been among the strongest supporters of continued EU membership, considering how international it is.

Maybe rent prices at least drop a bit to compensate. Or Britain&The EU find a way out of this misery once the consequences sink in.
I hope that the other side of forking is also being considered - forks have a draining effect on existing contributors and can potentially have a divisive effect on an existing community.
This particular attack had China inserting a javascript reloader into Baidu's javascript file to hit the two github projects they didn't like to perpetrate the DDoS. So, it wasn't just a redirect.
I believe there is also merit in spending a lot of time repeatedly doing something, before proceeding to automate that workflow. Because only through that, you gain a deep understanding of 'edge/exception' cases which you can directly code into your script later on to manage.
And getting the sw stack to work without a million bugs. But it's good to have hobbies ;-)
> it's obvious the F# author blatantly copied

That's a really unfortunate choice of words. It almost makes him look like he stole something in the middle of the night and never gave anyone credit.

Don Syme worked on Project 7 which brought Generics to .NET, and then spoke with Leroy and others to bring OCaml to this environment.

The next logical step was to implement an OCaml- style language directly,
and the OCaml designers were very encouraging when we talked to them
about bringing this class of languages into the .NET space. That led to the
early versions of F#.

See this interview:
http://through-the-interface.typepad.com/through_the_interfa...
Good design, simple interface, fun to play. I see you are trying to keep it feature minimal at first. My thought after I finished a game: I would like to send a message to opponent, say good game, and let them know I'm a native English speaker.
I've been looking for something like this - I want to do some serious research into my cats meowing. One of them will walk into a room, make eye contact then emit a complicated sequence of meows, chirrups and squeaks. She is obviously trying to say something and it's my job to find out what.
MPC-HC v1.7.13 is released and farewell
I don't see how it is any more incremental than what Remacs is trying to do. They're doing a parasitic rewrite of GNU Emacs, it's not a from-scratch implementation.
i like this game.
some ui effects will helpful for web
Examples do not look very readable.
That's a great video and exactly the depth of answer I was hoping for. Thanks!
Hard not to LOL at SF and Silicon Valley being treated as separate markets for funding. For extremely local services, sure (like dry cleaning or a coffeeshop), they're different markets. Maybe even for a daily-commute job (although that's debatable). For fund raising, I don't think there's anyone unwilling to Uber/drive/BART/caltrain an extra 20 miles for $1mm to $1b in funding. You meet investors monthly at most, and more likely quarterly or annually.