skysight-inc/HackerNews huggingface dataset:
>Again, it seems unlikely that this was the sticking point.

Look at the proof - page after page of work showing how to encode and decode formal propositions using primitive recursive functions.

>E.g. Hilbert understood mathematics as a symbolic game, thought about this exactly question, and didn't come up with Goedel's proof. And Hilbert was definitely no dullard.

Goedel's theorem is exactly that mathematics is not a symbolic game - that Hilbert's program is not possible. The proof relies on reducing logical deduction to arithmetic.
Regardless of how well they work, the #1 problem is that they are a proprietary blob, which kills any chance of being able to trust it.
Googlers can donate with two clicks on G-Give, with Google matching. I highly recommend it.
> no executive/manager is going to hold a CEO accountable for being late/strolling into work

I did this. I had just been promoted to the lowest manager position at a global bank. Our global head had a habit of starting meetings late.

After one, I asked to speak privately. I said I had been working hard with my team on improving their timeliness. They responded, and our mornings became more productive as a result. But once a quarter they came to these meetings and saw the top guys in our division stroll in late. It undid work I fought hard for, and which I continued to believe in.

He thanked me for my perspective and was never late again. (Another example: CEO assigned our intern class a book assignment. I proceeded to reject the author’s thesis.)

Organisations that don’t permit upwards feedback are, in my opinion, unhealthy.

(In the interest of balance, I have also given upward feedback that was rejected. The reasons for their rejection changed how I worked going forward, every time productively.)
EmCasa | Several positions | Rio de Janeiro, Brazil | REMOTE

We are a real estate company changing the way you buy and sell real estate in Brazil. We're looking for several positions to grow our team.

Our stack:

* React + Next.js

* React Native

* Elixir, Phoenix and Absinthe (GraphQL)

* Postgres, ELK

We're looking for:

- Frontend Engineers

- Backend Engineers

- Data Engineer

- Data Scientist

And also operations, sales, HR and finance openings as well.

Speaking portuguese is required.

https://jobs.emcasa.com
Do you do have any plans to better distinguish between noise and regressions? I run a similar performance testing infrastructure for Chakra, and found that comparing against the previous run makes the results noisy. That means more manual review of results, which gets old fast.

What I do now is run a script that averages results from the preceding 10 runs and compares that to the average of the following 5 runs to see if the regression is consistent or anomalous. If the regression is consistent, then the script automatically files a bug in our tracker.

There is still some noise in the results, but it cuts down on those one-off issues.
Uhh this article is useless click bait.
I always laugh at this obsession with early rising. Many factory line workers wake up at 4:30 am every day, because their shift starts at 6:00 am, and somehow that does not make them billionaires.
The classic paper in which Knuth and Plass described the algorithm is actually very readable and enjoyable [1] — though it's long (66 pages!), you can just stop at any point and still get a lot of value out of it.

PS: I started collecting a few of the more obscure implementations of TeX here (https://github.com/tex-other) — please let me know if there are more that I missed (other than the popular ones: pdfTeX/XeTeX/LuaTeX which are in TeX Live / MiKTeX and don't require archival). Among these, there are JavaScript and C implementations of this algorithm.

[1]: http://eprg.org/G53DOC/pdfs/knuth-plass-breaking.pdf
This post has had its title substantively changed from the original. Is there a way to change it to the original title "Devin Nunes's family farm is hiding a politically explosive secret"?
Voter ID laws solve a problem that does not exist. I do not support pointless laws that open us up to further abuse by partisans.

Voter ID laws have been written in a way that they can be systematically (and I believe deliberately) abused to disenfranchise minorities. This is done by setting unreasonable office hours or locations to obtain voter IDs among other methods.

There is no need for voter ID laws and so there will be no bipartisan support for them unless both sides are interested in vote suppression.
Telling them to call the customer service number on their credit card seems pretty good?
What's the limit on code size? I imagine we'll have to be careful about bringing in large existing libraries.
> The problem with SS7 is that you extend your SMTP analogy, there is no way to implement the equivalent of SPF, DKIM and DMARC for verification of incoming traffic without breaking SS7-to-SS7 links between the vast majority of installed phone switching gear out there on the PSTN.

Why not? That's how it was done for email. SPF doesn't prevent interoperability for sending domains that don't use it or recipients that don't verify it. What it does is inhibit forged messages from a domain that does use it to a recipient that does verify it.

Then the more senders who have an SPF record, the stronger a spam signal it is for a domain to not have one, and the stronger the incentive gets for senders to use it. It's already in the recipient's interest to verify it when it's used.

They could even use DNS for this exactly like email. Create a lookup zone equivalent to in-addr.arpa but for phone numbers.
US election laws are pretty much swiss cheese already when it comes to the various ways dark money can be funneled and redirected, it may make it easier but you need to try really hard to actually get arrested for campaign donations... and if you do you might just get pardoned anyways.
According to this 9-28-2018 article,

"Today, the Wayback Machine houses some 388B web pages, and its parent ... The Internet Archive’s collection, which spans not just the web, but books, audio 78rpm records, videos, images, and software, amounts to more than 40 petabytes, or 40 million gigabytes, of data. The Wayback Machine makes up about 63% of that."

https://thehustle.co/inside-wayback-machine-internet-archive

It's essentially the only cure for the serious link-rot problems in Wikipedia's references.
You can use WASM from Node. There is even an open source module called “isolated-vm” which implements a similar security scheme to the one employed by Cloudflare. You could install that on whatever you want and run essentially the same thing (minus the rest of Cloudflare, obviously).
I don't totally agree with the OS analogy. The federal government should not have absolute control over how individual states run their elections. The federal government can provide guidelines and basic requirements but it is important that states be allowed to make their own decisions as much as possible.

State's rights are comparable to redundancy in the software world but really these analogies are strained.
What a strange, disappointing article. I was expecting trends in annoying behavior, but this was just some low-grade complaining about rich people. And I'm not complaining about people complaining about rich people, I'm complaining about the poor quality of the complaints:

- Richard Branson once said that he didn't like when people were late, but Virgin's trains aren't very timely

- Tim Cook would probably be just as successful if he got up three hours later (opines the writer)

- General fear mongering about the dangers of executives like Jobs and Zuckerberg wearing the same attire every day
Amazon Inc. | Front End Engineer – Retail Accessibility | Seattle, WA,US

https://www.a11yjobs.com/jobs/29b9Z-front-end-engineer-retai...

Basic Qualifications

Experience in XHTML, Javascript, CSS and general Web 2.0 techniques
Understanding of web services technologies such as SOAP, HTTP, WSDL, XSD, and REST
OO design and coding skills in Java
Experience in a Unix/Linux environment
2+ years of software development experience
Bachelor's degree or equivalent experience

Preferred Qualifications

Experience with WCAG 2.0 and ARIA implementation and accessibility best practices
Experience with the development of mobile applications for iOS and/or Android
Experience developing software using modern frameworks such as AngularJS, React, Spring or Node.
Degree preferably in computer science or a similar technical discipline
Wow, the contortions we go through trying to make HTML into a full-blown native application platform, instead of writing native applications.

I'm impressed, but good god do we spend a lot of time reinventing the wheel within the limitations of browser engines.
It looks like Canada is moving in this direction.

Here is a PR piece (by a telecom technology vendor) that explains that the Canadian telecom regulator will require non-spoofable caller id by March 2019 [1]. The technology is called STIR and SHAKEN. (That's all I know; I'm no expert).

The US FCC doesn't seem to be moving as quickly, if at all.

[1] https://transnexus.com/blog/2018/canadian-regulators-mandate...
The limit on the code (the Worker + WASM), after compression is 1MB. Please reach out if you run into limitations with it (rita at cloudflare).
At the top 6-8 schools in the US, networking plus the placement office justified the bill. But if you’re an @$$hole then the networking won’t help.
Is it obvious to anyone else that this is blatant copyright infringement? Does anyone care?
Michael Huemer has written extensively on the topic of why people are irrational about politics [0]. I recommend this brief talk [1] which goes over some of the key ideas. Fundamentally, it's a problem of incentives: There is little or no incentive for people to be rational about their political beliefs, and there is frequently an incentive to be irrational about them. In particular:

The theory of Rational Irrationality holds that people often choose—rationally—to adopt irrational beliefs because the costs of rational beliefs exceed their benefits. To understand this, one has to distinguish two senses of the word “rational”: Instrumental rationality (or “means-end rationality”) consists in choosing the correct means to attain one’s actual goals, given one’s actual beliefs. This is the kind of rationality that economists generally assume in explaining human behavior. Epistemic rationality consists, roughly, in forming beliefs in truth-conducive ways—accepting beliefs that are well-supported by evidence, avoiding logical fallacies, avoiding contradictions, revising one’s beliefs in the light of new evidence against them, and so on. This is the kind of rationality that books on logic and critical thinking aim to instill.

The theory of Rational Irrationality holds that it is often instrumentally rational to be epistemically irrational.

The theory of Rational Irrationality makes two main assumptions. First, individuals have non-epistemic belief preferences (otherwise known as “biases”). That is, there are certain things that people want to believe, for reasons independent of the truth of those propositions or of how well-supported they are by the evidence. Second, individuals can exercise some control over their beliefs. Given the first assumption, there is a “cost” to thinking rationally—namely, that one may not get to believe the things one wants to believe. Given the second assumption (and given that individuals are usually instrumentally rational), most people will accept this cost only if they receive greater benefits from thinking rationally. But since individuals receive almost none of the benefit from being epistemically rational about political issues, we can predict that people will often choose to be epistemically irrational about political issues.

[0] http://www.owl232.net/papers/irrationality.htm

[1] https://www.youtube.com/watch?v=4JYL5VUe5NQ
I know this is the exception and not the rule, but cdpr games are DRM free on GoG.
I still haven't opened my 100-pack of CD-R blanks I bought on a fire sale at the local Microcenter.
The CS degree is 5X as hard. It will be more immediately useful. The business degree will be more useful long term if you expect to land in a non-Tech role.
We detached this comment from https://news.ycombinator.com/item?id=18114701 and marked it off-topic. Please read the rules at the top.
Housing bubbles are universally destructive
Because it's a huge installed base of non-upgradeable equipment that is 15, 20, 25 years old. People doing oldschool SS7 telco stuff are just not going to upgrade. They'll sue their upstream carriers if they suddenly cut them off because their new re-implementation of SS7 is incompatible with their old gear. I'm a senior network engineer for a mid sized regional ISP, and encounter this shit on a fairly regular basis.

It is not as simple as getting everyone who runs public facing smtpd on the Internet to upgrade their software and practices. Telco and PSTN phone stuff is the very opposite of being up to date and continually evolving best practices for security.
I’m one of the security researchers that zalmoxes linked above (the Black Hat talk) =)

Duo very nicely gave multiple shout outs in their post. Including to zalmoxes (above), as well as my co-presenter and I. Sadly the traditional vendors in the space don’t have a track record of caring about security engineering. I’m glad that Duo’s latest research emphasizes the importance of authenticating the device enrollment process in particular. We touched on this in our whitepaper^, but it wasn’t a primary focus of our research and we didn’t tie it back to the shortcomings of DEP’s lack of verification around device identity. Extremely happy to see more focus on this stuff.

^See the vendor security checklist section of our whitepaper. Specifically, the bit about using an HMAC within the SCEP payload.

Full transparency: I’m cofounder/CSO of a security focused product in the MDM space (fleetsmith.com).
Early rising isn't so much what time you wake up as it is waking up early enough so you have time to yourself before you have to go into the office or start your day job.

The important thing is your first few hours after waking go to your most important goals.
Oh you just wait! If you haven't gotten one of these yet, the latest version of this is that they actually send a calendar invitation (through a 3rd party service) for a meeting out of the blue. Gmail will helpfully pencil that time in on your calendar automatically until you go in and delete the event. This prevents legit meetings from being scheduled since people are afraid you have some important sales call. If you're absent minded and click "No" to your RSVP, they know you saw it! Blech!
Facebook Is Equipping K-8 Classrooms with Robot Sets to Boost Tech Diversity
And if they produce less food, prices will rise and they'll have more money to buy more water or Lord forbid make some investments in water sustainability.
I wish there was an app for https://www.surveyking.com its the only way their online survey tools could really be any better
Stop taking away people's locks just because other people don't use them.

Yes, many non-technical users do not pay attention to permissions. But permissions are extremely helpful to people who do use them -- and the number of people who do use them is larger than the number of people who audit source code or set up VMs.

Educating normal users to pay attention to permissions is a problem. It is a separate problem than, "do they even have tools in the first place if they want to use them." The problem I want solved is how I verify that an extension is safe. Granular extension permissions solves that problem for people like me.

After that problem is solved, then I can worry about educating my friends and family.
CEO biographies are interesting just like any other biography, I suppose. But never once have I heard/read, "I read this other CEO's biography and decided to copy their habits, and that was my secret."
Which is pretty much the foundation of law enforcement - make the consequences apparent before the crime happened.
Thank you. Is that documented somewhere?
And you'd better not bump your desk during that time.
Surprised to see somewhere based in Grants Pass! Could you give me a hint on your salary ranges?
> They are a phone company today

I know that you're underscoring that the iPhone is their primary product. However, even though "phone" is in its name and was it's primarily replaced device, the iPhone to me has long since passed being a phone. Comparing time spent on device to the amount of minutes used as a phone, the "dialer" app is one of the least used apps on my phone. Essentially, it's a computer that fits in a pocket to the point we've been seeing designs to power a laptop by sliding a smartphone into a laptop style chassis (maybe not from Apple).
This is a false aggregate: https://blog.shortbar.com/false-aggregates-571745b2d483

If I'm writing a game I care about what's most popular with games. If I'm writing an enterprise reservation system, I care about that.

These languages really live in completely different universes and I think it's time we acknowledge that. The one-size-fits-all survey of this sort feels like a holdover of a time when software development was far more homogeneous.

It's yet another example of how the entire profession is getting more specialized. You used to be a "programmer". Now you're a data engineer, ops engineer, front-end engineer, back-end/full-stack engineer, ios/android/react, system/OS programmer, etc. These are becoming entirely different jobs with little crossover between them, just like family law vs. criminal law vs. estate law vs. corporate law.

https://blog.shortbar.com/the-end-of-the-country-developer-7...
That's smart. I hope more people think and act like her.
Yes, because then it's saved. One day we'll have a little memory stick that contains the collected and organised works of mankind (all movies, all music, all websites, digitised books, ...) and it'll be thanks to the archivists.
> highly experimental and pushing what might even be possible

This is hardly true, Nvidia already does this, charges for it, and it works really well on a good connection.
I still think you missed the point, though... the point of the finding was that the hack takes less time alone with the machine than the average voter takes to vote.... therefore, a hacker won't arouse suspicion while they are doing the hack.

It doesn't matter if there are things a voter can do to speed up voting, it only matters that it still wouldn't be suspicious if someone was in the booth for 2 minutes.
It's true. I'm grateful though whenever I need to use a computer that's not mine and need access to stuff.
I like how I'm shadowbanned for no apparent reason but you're free to call people fascist on a programming forum.
http://archive.is/TtLIn non-paywall link
For political science, these are not exactly textbooks, but they are by far the most useful I've ever read:

The Art of Political Manipulation by William H. Riker

Get Out the Vote by Donald P. Green and Alan S. Gerber
Combine modern polling data/models with these exploits and the hackers would only have to target a dozen counties(?) to change the outcome of the presidential election because of the how the Electoral College works.

( This is a guess. Trump won in 2016 by 107k votes across 3 states - inside those states how many counties were actually "swingy"? https://www.washingtonpost.com/graphics/politics/2016-electi...)
I was lucky to connect with Quinn and get the opportunity to volunteer as a guinea pig for open sourcing this code :).

Sourcegraph is an interesting product and company. I see the potential for it to have a bigger positive impact on developer productivity than even Jetbrains IntelliJ has, because the reach can go beyond any particular editor or frontend. It could be a ubiquitous solution to efficient code search and discovery.

Will definitely be watching how things unfold for Sourcegraph. If you haven't already read their Master Plan, it's a compelling vision.

https://about.sourcegraph.com/plan
>"If a field is getting by without expecting its contributors to do statistics it is either a straggler before we realized this aspect of rigor or it is a case where the effects are so large that a nonrigorous detection of them works well enough."

It makes no sense to be concerned about sources of prediction error that are orders of magnitude smaller than your measurement error. Such concerns would only waste time and money for no benefit. This has nothing to do with "straggling" or expected "effect size".
Xledger | Colorado Springs, CO | ONSITE | Permanent | Sr. Software Engineer (100-130k salary) Xledger is a finance, project, and business information system that gives customers tighter control of their businesses.

We are expanding our team in Colorado Springs, and are looking for Sr. Software Engineers to help us create best-in-class functionality for our customers.

You:

- Have experience building and deploying production web applications

- Have stuck around to see the impact of your decisions

- Pick things up quickly

- Have high standards, and can focus and get things done

- Know and enjoy Clojure

We:

- Prefer having a lightweight process with few meetings

- Strive towards solutions that are simple, yet leveraged and performant

Our hiring process consists of phone interviews and sample work (~2 hr) submissions (and/or open-source work review).

Contact techjob@xledger.com with resume, and if available, links to some of your work (e.g., Github profile). Note: No remote position or visa sponsorship available.
Can anyone offer any insight into the latest series of odd phone calls I've been noticing, where you get either a private number or an out-of-state number call you, and then sit in silence until you utter a word in which it hangs up at that moment?

I've experienced a few so far over the previous months. I've even experimented by not saying anything for an extended time - up to about 30 seconds of silence (and then it usually hangs up itself). But the next time it happens, if you say 'hi' within a few seconds, it immediately hangs up afterwards. Like its waiting for a verbal prompt.

The apathetic part of me thinks 'maybe its a robocall thats bugging out', but then the pessimistic part of me wonders 'are they trying to sample my voice'.
Cooklist | Django / React Native / CTO | Dallas, TX / Remote | $90K - 120K w/ restricted stock

Cooklist shows you recipes you can cook with the groceries you buy and will allow you to order groceries by choosing recipes you want to cook.

Our app can connect directly to 81 grocery chains like Walmart, Safeway, Kroger etc. and automatically download every purchase a user makes in store and online. It uses NLP to match each product purchased to recipe ingredients. Over 1,000,000 products are matched to 1,000,000 recipes.

Cooklist is live on iOS and Android. Hundreds of users are participating in the development process. 10,000+ purchases have been downloaded in the last week.

We are a team of experienced startup founders and are looking to bring 3 people onto our team. We are currently in the Techstars Retail program with Target.

You can see a demo video and find links to download the apps at https://cooklist.co or email me at daniel@cooklist.co if interested
A lot of the course material from MIT Sloan is online, for free:

https://ocw.mit.edu/courses/sloan-school-of-management/