skysight-inc/HackerNews huggingface dataset:
Onfleet | Support Engineering Manager | San Francisco, CA | Full time | Onsite

Onfleet powers last-mile delivery logistics for hundreds of companies, across 60+ countries, reaching millions of people every month.

Several of our customers have posted in this very thread. Business is good.

We're looking for a technical individual - someone who is very familiar with both databases and programming - and has a few years of technical support experience to expand and transform our support operations.

If this is you, please get in touch with us here: https://angel.co/onfleet/jobs/131122-support-engineering-man...
C++: it feels so good when the beating stops

Maybe object Pascal or rust for the less masochistic?

I’m ok with C if need be.
Does this imply I should answer the 1-800 calls and keep them on the line as long as possible? :D
Yes, it is. If semen got on someone's hand at the wrong time, this could result.
The surprising part of most of these vulnerabilities is they are hardware attacks. I had a talk with someone the other day that said she heard people were hacking votes from iPhones. The over simplification of the topic is doing just as much harm as good.

I don't know any security professional that would tell you physical access isn't equal to the ability to hack a device.

The reality is subversion of people managing processes is of a higher probability that attacks of the machines themselves. It's also not unique to electronic voting, people are always the weak link in security and will always be the weak link.
> And I think its consequences are under appreciated: no (sufficiently complex) logical system is free from self-contradictions.

That doesn't seem right? Any logical system that has a self-contradiction (which I take to mean can prove a statement and its inverse) will be able to prove everything, which is obviously a pretty big flaw.

What Godel's 2nd incompleteness theorem says is that if a system can prove its own consistency, then it follows that it is unsound.
Uber | Sr Back-end | Amsterdam, Netherlands | FULL-TIME ONSITE VISA

Amsterdam is the home of Uber’s European HQ, as well as our largest engineering office outside the US. We are looking for senior back-end engineers on the following teams:

* Payments: building the future of payments for on-demand services. We build most of the payments architecture at Uber, which means challenging problems and exciting opportunities.

* Site Reliability Engineering: build systems that are best-in-class for monitoring, alerting and automatically resolving issues on top of our payments stack.

* Developer platform: build tooling that will make hundreds of our engineers more productive (and happier!)

Learn more about our team at http://t.uber.com/amsterdam. Interested? Shoot gergely@uber.com an email.

--

About me: I'm an engineering manager started as an engineer here at Uber, in Amsterdam. My first project was rewriting the Uber app (https://eng.uber.com/new-rider-app/) and the last interesting piece of code I committed was open sourcing the architecture behind it (https://github.com/uber/RIBs). I recently shared some things that I’ve learned about distributed systems, while building the payments systems at Uber, which was quite popular here, on HN (https://news.ycombinator.com/item?id=16852295)
I wonder how much of the chunk of federal income tax goes towards airports, rather than state funds. Regardless, if they were just paying out infrastructure costs, they would not need to take such an absurd portion of the income of the people they are supposedly trying to help. In no way does the mere existence of roads and planes prove the need for the automatic confiscation of tens of thousands of dollars a year from the fruits of a middle class person's labor.
At least Damore put in some effort. Strumia slides end with right-wing conspiracy theory tone.
Do you know if a small business can use DEP features?

Could per-app VPNs be used without DEP? If so, could they be used with MicroMDM, native iOS IPSEC client and an open-source VPN server, or is a 3rd-party VPN client like Cisco required for per-app VPN?
SEEKING WORK:
Location: NYC.
REMOTE YES

Small Artificial Intelligence shop.

$250/hr. 10 hour minimum.

Free Consultation 15 min. If we can’t add value to your business problem we will tell you. You need to present your problem.
contact(at)qureshimedia(dot)com

A convergence of algorithmic advances, data proliferation, and tremendous increases in computing power and storage has propelled AI from hype to reality.

Convolutional neural network.

COMPUTER VISION

MACHINE LEARNING:

Gradient-boosting trees

Simple neural network

Linear regression

Logistic regression

Linear/quadratic discriminant analysis

Decision tree

Naive Bayes

And more. We will suggest a method based on your business domain / problem.
Give us your business problem!
Yes, that is the plan if I understand correctly.
Mine stopped after 4 years. 20 employees, Europe. New hires for senior positions preferred clear bonus structure while new hires for junior positions hardly understood stock option legal documents. The company was running profitable, there was no exponential growing or projects/pivots planed, company valuation wasn't expected to double and there was no clear exit path. In my opinion it was a good decision to switch from options to bonus payments/goals.
Kind of like ip routing, email routing, or even physical mail routing.
Exactly. Someone who has taken a virginity pledge is more likely to have an "everything but penetration" sex life. This is the group most likely to have pregnancy without penetration. I'm really surprised the article didn't address this.
Banks should really just stop calling customers and taking them through security. If there's something urgent, the protocol should be that they call you, give you a ticket number, and tell you to call them back on the bank's standard number for customer service. Anything else just conditions people to expect incoming calls with security questions which will always result in scammers finding a way through.
This is the scary thing about sharing swimming pools.
You have to add the disk as a shared folder in the File Sharing section, then right-click and in Options there's a checkbox to make it a Time Machine share.
It's an option - it may be that some of the people involved are unaware of all the possible ways one can get pregnant, and I feel like those who've signed a chastity pledge are also the ones most likely to not mention any sort of acts they've performed, and instead just deny having had sex (which is possibly technically true).
that site is father of one of the coolest websites ever: https://fauux.neocities.org/
I wish Elon would read this article and get some sleep.
A Primer on Reproducing Kernel Hilbert Spaces
TLDR: A survey asked respondents over time both "have you ever been pregnant" and "have you had vaginal intercourse" and some percentage, especially of young people said "yes" to pregnant and "no" to having had intercourse which is confusing.

Maybe I missed it, but I didn't see any legitimate follow up to validate that "having been pregnant" translated to actually giving birth (which to be fair, it often doesn't in the case of miscarriage or abortion), so it's imposisble to validate, but I'm especially skeptical given that when they asked the sex of these "virgins" children, and 60% of the respondents claimed to give birth to a boy. Which seems unrealistic by the odds.

Anyhow, I remember taking "health" surveys in middle school, and I can say honestly, that many kids lie on those in the most absurd ways possible, especially after they tell them it's confidential. I sure did because I was immature and thought it would be hilarious if the survey taker thought 13 year-olds were doing hard drugs daily. I really doubt this is anything more than that.
There is such a steady stream of excellent work and innovation coming from Cloudflare these days - it's pretty amazing.
"Gödel's second incompleteness theorem states no consistent axiomatic system which includes Peano arithmetic can prove its own consistency. Stated more colloquially, any formal system that is interesting enough to formulate its own consistency can prove its own consistency iff it is inconsistent." [1]

I believe your position is that "sufficiently complex" == "able to formulate and prove its own consistency"; my position is that such a system would be worthless as a logic, because in such a system you can prove anything.

Your second paragraph is inscrutable to me. Are you trying to claim that you can't prove everything with a known inconsistent logic? Are you referring to paraconsistent logics?

[1] http://mathworld.wolfram.com/GoedelsSecondIncompletenessTheo...
Exactly, If your provider can't be certain that the number is real (i.e. they generated it themselves or it came from a trusted/liable source) then they shouldn't be charging for it and held liable if they allow a spoofed number for fraud. Maybe that would be the mean the end of caller-ID and associated fees, but if I'm not sure that it's useful today with the level of spam. If someone spoofs your ph# to make 5000 spam calls, I guarantee it's not useful to you.

Find another in/out of band way of providing caller-ID services.
Every electronic device is hackable with physical access. Every process that has humans involved is exploitable.

I'm more alarmed at the number of people willing to complain and moan about change, yet refuse to volunteer at their local polling station. If awareness is important, we have to start somewhere, yet the vast majority of people complaining expect it to just solve itself.

Sometimes to fix a broken system you have to become a part of it and change from the inside.
MBA is at best dangerous without real world operations experience. Business case studies and accounting are meaningful and a lot of fun once you have contributed to a business and have tried to run your own business or marketing effort. Jamming business training into somone who has never really analyzed an operation or contributed significantly is near futile...they just will not have anything to relate it to.
The reason people want to give crypto is because they haven't reported it to the IRS. There are a lot of people with big gains in crypto that they should have reported years ago, and they're not sure what to do with it now. If they can directly give it without a reporting requirement, they're happy. Perhaps there's a secondary (primary?) business in people receiving anonymous donations from a generous benefactor, which they then are able to report as income and get square with the government without admitting to underreporting income.
Teradata | Software Engineer | El Segundo, CA | Full-time, Onsite |

Teradata’s Product Development Group, the technology research and development (R&D) organization within Teradata Corporation, has been turning innovative decision support technology into business results for over 30 years. Our R&D team of analytic architects, database developers and engineers work to understand and advance emerging technologies to invent the next wave of cutting-edge analytic data solutions.

Use this link to learn more about the job and apply if you are interested: https://careers.teradata.com/index.gp?method=cappportal.show...
I went to the Haas part time program. I had some Cs in my undergrad statement that I did not have to re-take. I'm surprised they said that.
I think I have enough practice. I find assembly very readable on small scale. But when I need to write larger pieces of vectorized code, higher-level C++ constructs help a lot with readability, following reasons.

Local variables and function arguments are named, as opposed to xmm/ymm register numbers.

I can use (forcefully inlined) C++ functions to compose code from smaller pieces. In some cases, even OOP.

Even in vectorized code there’re pieces running on scalar blocks of cores: loops, addresses calculations, conditions. With assembly you have to use it for the whole things.
Curious: how does the PBX verify caller ID? Do you know how it works in practice?
From the article:

> Here’s another example (known as the Berry paradox):

> Define {x} to be the smallest positive integer that cannot be defined in under {100} words.

> This might look like a valid mathematical definition. But again it’s nonsensical. And, importantly for the sanity of mathematics, no analogous statement can be made mathematically formal.

I thought it was worth mentioning that the Berry Paradox does show up in a mathematically formal way, and it was fascinating to me. It can be used to prove that a general algorithm to compute the Kolmogorov complexity of a string is uncomputable.

https://en.wikipedia.org/wiki/Berry_paradox#Formal_analogues
Determined AI | San Francisco, CA | Remote (SF preferred).

We build software to make deep learning engineers dramatically more productive. Founded by leading experts in distributed systems and machine learning, our product is a complete ML environment that enables teams of DL engineers to share a GPU cluster, do efficient hyperparameter tuning, and train and deploy deep neural networks up to 100x faster than with state-of-the-art tools. We are well-funded and have significant customer traction.

The team is deeply technical and working at the cutting edge of modern ML infrastructure, but we also care about building practical technology that solves real problems for our customers.

We’re hiring exceptional software engineers to play a fundamental role in building the company and shaping the culture. We're particularly interested in

(1) Distributed Systems Engineers who are passionate about building scalable, reliable software.

(2) Full-stack Engineers who believe that building enterprise software doesn't mean that great UX is optional.

(3) ML Engineers with a strong algorithmic and statistical background, as well as hands-on experience building deep learning applications.

Tech Stack: Python, Go, Elm, Kubernetes, Mesos, Docker, TensorFlow/Keras/PyTorch.

Compensation: Competitive salary and benefits, meaningful equity stake.

https://determined.ai/careers/

neil@determined.ai
Conclusions Around 0.5% of women consistently affirmed their status as virgins and did not use assisted reproductive technology, yet reported virgin births. Even with numerous enhancements and safeguards to optimize reporting accuracy, researchers may still face challenges in the collection and analysis of self reported data on potentially sensitive topics.

Years ago, I was acquainted with a public defender that told me they had a client swearing they were not the daddy of the child in question and providing supporting evidence of this statement by asserting "Because my dad never fathered any children."

I think the above conclusion statement is an incredibly delicate way of saying "Wow, US sex ed has some serious deficiencies, especially in some communities where religious values actively incentivize certain inaccurate claims or fudging a bit about some details."
Brilliant. I’d love to know what he’s doing with that brain now!
Simply adopt the Finnish model - everyone's tax return is public, and fines are based on income in your last return. I think Sweden operates similarly.

$100,000 speeding fine anyone? http://news.bbc.co.uk/1/hi/world/europe/1759791.stm and that was in 2002!
In the old days, Google would have bought an existing player and scale it. Now seeing Google bootstrap this kind of mainstream business seems awkward. Also I personably am very doubtful of any new app/service that Google releases.
If I were able, I would disable incoming telephone calls entirely (consider that a feature request, Apple). The phone system today is fundamentally untrustworthy because of caller ID spoofing, and the phone companies involved are culpable for not addressing this problem.

A new ID system using PKI could eliminate the spoofing problem completely. Yes, I'm sure it would require a huge coordinated effort. Given spam calls will exceed 50% of all calls next year [1], this should be seen as an existential crisis for phone companies.

[1]: https://finance.yahoo.com/news/spam-robocalls-will-soon-acco...
Soundcircle | Software Entrepreneur or Technical Genius | Los Angeles, CA | Remote working

Soundcircle is everything in music. Begin building the world's largest resource for canonical music information. Bring the best possible experience to finding and enjoying sound.

Looking for someone looking for a dream to dedicate their work to.

Email me at erik@soundcircle.com
https://soundcircle.com
And they're more likely to be unaware that non-penetrative sex can cause pregnancy. Gah, sex ed is really underwhelming in most places.
Sorry, the URL got weirdly truncated. It should be https://web.noom.com/careers-listings/?department=engineerin...
My day job mostly involves C code, which lives in a company repository; I only rarely search for C specific stuff. Hobby projects - work on OSS in C++/Python, or learning Rust - must result in an order of magnitude more of my language-specific searching and public committing, even though it represents a small fraction of my programming time.

So, for me, searching is mainly related to the learning about a language, not so much using a language. This makes me wonder if the integral over time of search volumes might be a useful measure of language use?
In the parent's case, it probably made sense though. He was looking to get into management with an eMBA program with (I'm assuming) a school in the state that's probably well-represented at the company. A degree from a regional school is probably going to be less useful in another part of the country and/or for a less well-defined purpose.
Any US visitors to that particular URL will see the same thing you're seeing. You probably want this page, though currently it just lets you request an invite: https://web.archive.org/web/20181001174931/https://projectst...

Their blog post has more information: https://blog.google/technology/developers/pushing-limits-str...

As well as the help and FAQ support articles: https://support.google.com/projectstream/
This is also a good point. There's the related problem of the extension author selling the extension to a shady company for some extra bucks, who then pushes out an auto-installing update bundling it with malware/adware.

Example: Stylish -- https://arstechnica.com/information-technology/2018/07/styli...
Joe Frank, Ira Glass, and Narrative Radio
Our government can't even stop people from distributing files containing data they don't like - what makes you think they can magically seize every single copy of a wallet that exists?
I'm administrator for GSuite for the school I'm a trustee of, so my personal (Android) device is enrolled by virtue of me wanting to know how it works and also wanting my school email on that device.

I'm not sure it would be worthwhile setting up for personal use -- the policies it lets you set aren't doing anything other than ensuring you're following best practices (like setting a screen lock) so you don't gain anything over just doing that, and the direct management tools aren't any finer-grained than you can get from Google's Find My Device.

I'm not sure you're able to set up a linked "for work" profile without MDM; that might be a benefit if you want compartmentalisation.
> I just don’t understand why you’ve written off an entire style of programming

Async(io) is not a "style of programming"; it is an approach to solving a certain class of problems which arise undercertain conditions, and is only really useful if it fits your use case. I'm certainly happy that Python has introduced it on a low level, but I definitely won't use it in situations that don't warrant it -- the same holds true for many other Python idioms, like say ABCs or Ellipsis.
This proof using Turing machines is indeed very slick! Its elegance is balanced by its nonconstructiveness: Gödel's proof yields an explicit example for an unprovable statement (namely a formal rendering of "this statement is not provable"), while the Turing machine proof doesn't.

Also let me add a remark on a certain subtlety: Step 3 only works if we assume that, if a claim about the halting behaviour of Turing machines has a proof in the studied formal system, then it's actually true.

This assumption is believed to be warranted for the standard formal systems of mathematics such as Peano Arithmetic (PA) or Zermelo–Fraenkel set theory (ZF), but Gödel's proof also applies to formal systems for which this assumption doesn't hold, or for which the assumption does hold but cannot be proven in a weak metatheory.

These systems are typically not very useful as vehicles to carry out formalized mathematics, but they are nevertheless very interesting and fundamental to the study of logic. An example for such an anti-real formal system is PA adjoined by an axiom expressing that PA is inconsistent.
The same could be said for any system where a vulnerability is found.

Vulnerabilities exist, it's the efforts we put into addressing them that matters. Yelling about one party or the other being responsible won't solve the problem. The first steps to a big fix would simply be locking down processes, things that can be done by volunteers joining in the efforts of their local and or state voting agencies.

It's easy to sit on the sides lines and say this and that are wrong, I'd rather see more people standing up and trying to find solutions that work.

I volunteer and we are always short and no one every seems to "have the time". The quality of candidates that do volunteer are all over and would have far greater an impact with more tech exposed individuals instead of the common retirees that I work with.
I certainly read "stop stealing 30% of my income" as saying that:

- the government takes 30% of my income, and

- that's stealing.

To many of us, that was the plain meaning of your exact words. "All taxation is stealing" seemed the clear not-quite-stated implication.

> And to be clear, all taxes are confiscatory, by definition.

Which definition? dictionary.com says:

> 1. to seize as forfeited to the public domain; appropriate, by way of penalty, for public use.

> 2. to seize by or as if by authority; appropriate summarily.

The first (primary) definition has an element of forfeiture or penalty; the second does not. All taxes are confiscatory by the second definition; not by the first. When you say "all taxes are confiscatory", people are apt to hear "confiscatory" in the first sense, which makes your statement wrong by definition. It also may make it claiming more than you intended it to claim.
The earth doesn't get a whole lot bigger, but consider that 100 years ago sand was useful only as fill. Now there is a trillion dollar industry turning it into microprocessors. Value does not derive solely from raw materials.
Why is that "dickish"? Was the FreeBSD team upset?
That's going to vary wildly depending on who you interview, which is going to depend on what sort of thing your company does. A game studio is going to get people that know C and Lua with a fringe group that are excited about Rust, while a big enterprisey company is going to get Java and C# developers with a fringe group that are excited about F#. (Maybe these examples are all wrong, but you get the idea.)
I dont think i even heard about such issue in EU.
One thing that I'd like to see is mandatory code signing, so that even in the event of a compromised developer account it's not possible for an update to be pushed out unless the attacker also has the signing key.
Passenger AI | Toronto, Canada | 100-160K + 0.1-0.75% equity | Full-time Onsite

Passenger AI is building one of the other components essential to launch robotaxi operations: remote monitoring tools. I started the company in April after noticing the gap while working at Volkswagen. 6-months later... we're an 8-person team (Mozilla, Lyft, Facebook and Pivotal), backed by top-tier VCs and have a few great customers.

Senior Software Engineer: https://angel.co/passenger-ai/jobs/399491-senior-software-en...
Machine Learning + Computer Vision: https://angel.co/passenger-ai/jobs/433495-machine-learning-c...

Email me at martin@passenger.ai or text at 4154045650.