skysight-inc/HackerNews huggingface dataset:
That could be a start, but this is the wrong mentality.

Investors shouldn't back Canadian startups because they're cheap. That's almost a distinctly Canadian view of investment -- get things cheap, undervalued, or with a low risk profile. (Sorry, Canada, somebody in Canadian VC is going to roll their eyes at me here but it's pretty accurate.)

They should back Canadian or Canadian-led startups because talent is undervalued, and with the right mentorship and a good talent aggregator (an ambitious company that can compete on the world stage), the ROI on product development is going to be through the roof. Don't think about it as getting talent on the cheap, think about it as: if you pay the talent what they're worth, they're going to do 10x the job for you.

Note: there's been a huge uptick in Canadian tech $ recently. Both Microsoft and Uber investing $750M combined in Toronto, announced just this month. People are noticing.

... but that's just my $0.02 :).

Edit: First thing you learn when you talk to sophisticated investors / founders in SV is nobody gives a shit about cheap. Bad investors chase "cheap." What's most important is total magnitude of the opportunity space: who cares what we pay today, how big could this be? Because if the answer is "there's a $3T opportunity here over the next decade" then it doesn't matter if you invest $1M or $10M from a $1B fund -- in fact you'd probably rather invest more to ensure the company you're funding stays capitalized.

You're not going to get top SV VCs dumping $ into Canada because they can make a few bucks on cheap deals. You'll get top SV VCs dumping $ into Canada when the collective Canadian psychology changes from, "we're cheap, invest in Canada" to "we're going to be the most technically sophisticated nation on the planet, and a primary home of the next five major $100B technology companies over the next 30 years."

Canada will get there. Already leading in AI. But not by being "cheap."
He's been infuriatingly wrong in every article of his I've ever read, but holy shit! He was an icon. 36 years and they "fire" him via e-mail!? Despicable.
Interesting, I have StartPage set as my default search engine, and it persists between updates.
Ack, sorry! And now I can't edit the submission. My bad.
Meet the Man Who Lives at the Bottom of the Grand Canyon
I've been to Sofia. Its a good place to start a business and has the best coworking space in Eastern Europe (look up Puzl Coworking).

Downside is that English is not at all widespread (except among the IT elite and some young people), air pollution can be pretty bad, and there are problems with street dogs. They use the Cyrillic alphabet, so you at least have to learn that to get by.

Like most European countries you also have a byzantine mess of taxes if you want to hire a worker or pay yourself. You also have royalty withholding taxes if a US company pays you.
I cannot reply to the reply from v_lisivka (for some reason) but I don't know why you'd think a temporary run of decimal digits in pi would have any effect on the geometry of a circle. It all comes down to whether pi is Normal or not. Repeating the quote above, it is thought likely but not proven at this stage;

Quoting:

> It is widely believed that the (computable) numbers √2, π, and e are normal, but a proof remains elusive.
Thuốc Cefixim 200mg có tác dụng gì?
Behind a very thin veil of social liberalism, we are in fact living in a profoundly conservative and conventional era. It's like this weird bohemian puritanism, or the 50s with Tinder. The big difference is the religion. Back then it was nationalism and Christian puritanism. Now it's the worship of GDP and corporatism.

These things are cyclic.

In any case this is too bad. The first time I went to Boston my first stop after the airport was to be dragged to Senior House. Seemed like something out of a movie.
My reading implies that the number of muscle cells does not change and that protein in the muscles is rapidly rebuilt upon re-feeding.

Entering 'starvation mode' from studies appears to happen around day 3-5 of fasting, there's charts in the links I provided. That's when the new energy distribution is in full effect and the brain is deriving most of its required energy from ketone bodies. If you have some interesting stuff to read about another shift that happens around 2 weeks I'd love to check it out, I'm always looking to learn more about this stuff. When 'starvation mode' switches to dying mode appears to be when all your fat stores are exhausted and the body no longer has fat to consume for energy. If you're obese that can be 12 months away or more. Most people who fast for long periods note the switchover happens when their breath turns sweet and a real feeling of hunger returns -- that's obviously when they break the fast so as not to die.
I discussed memes in the 90s, but have never read Dawkin's book.

I probably got it from study of artificial intelligence/machine learning/evolutionary algorithms - I had no indication most of the others in my discussions had read The Selfish Gene either.
Using Clojure to Query AWS EMR via Hive JDBC
It all had to do with his keyboard. Metcalfe was the better read.
There's a million ways for a crooked exchange to fleece clients, but front-running is the most obvious and profitable way. If you're evaluating Coinbase, then start there.
A more appropriate direction would be "trust Google as much as you trust the government of the area you're in"

Google has clearly showed that they will kowtow to whatever the local law is. As far as I can tell they do this as a last option though, and not just because they don't believe in certain ideas of privacy.
Not necessarily. In the case of word vectors we are using unsupervised learning to identify patterns in a large corpus of data to improve the learning. This is a completely different issue than your credit score example, which is supervised learning.

Not all patterns are equally useful. By removing those unuseful patterns we might make less mistakes (for example giving negative sentiment to a Mexican restaurant review) and free up capacity in the word vectors to store more useful patterns. I would expect baking other real-world assumptions into your word vectors unrelated to bias could also be helpful.
The whole idea is that AI is supposed to:
a) run more accurately than humans - good luck when translating
b) run with lower cost - even Mechanical Turk is not as cheap
c) do not require an army of people to handle the task

If the "AI" company lies by using manual translation without the Turk, they're lying about point B a lot.
If they're using Turk, they're lying about point C and a bit less about point B.
Me? I'm not having trouble with Firefox. The Yahoo problem with Linux Mint was many years ago. My search engines in Firefox haven't switched on me since I uninstalled Mint.
did you regret that last one? how much of a DMT trip can you actually remember?
Possibly this? http://www.macs.hw.ac.uk/~ek19/ML4PG/ It's mostly in maintenance mode (at least, I seem to have inherited its maintenance; and it's such a horrible mess of Emacs Lisp + Matlab + shell scripts that I don't dare touch it unless asked ;) ).

It's used for clustering statements and proofs, the idea being that if you're stuck trying to prove something, you might be able to find something "similar" in an existing library to use as inspiration. It's mostly to help with manual searches, rather than automatically solving anything (although there is some related work on doing that for Coq called SEPIA https://arxiv.org/abs/1505.07987 and ACL2 http://www.macs.hw.ac.uk/~ek19/ACL2ml/index.html ).
Hiya. They have a free option that is useless and a paid one that is less so.
Oh boy, another advertising platform, just what the world needs.
Mithril Capital Management Is Leaving the Bay Area
I have priced some popular computer vision APIs and found you can get a human in southeast Asia to do the work cheaper... Something seems wrong with that!!!
FWIW, Doreen you are one of the most level headed and sensible commenters on HN.
A great example of how tedious it is to list out all the steps of a proof is the Principia Mathematica https://en.wikipedia.org/wiki/Principia_Mathematica

"Proof assistants" like Coq and Isabelle can generate some of the more "obvious" steps using metaprogramming (known as "tactics").
I remember writing that guy off as hopelessly wrong back in the mid 1990s. Not a bad career for a talentless troll.
I've had the same phone number since my first mobile phone. I have so much crap tied to it that changing it isn't really an option.
Trucks and shops are definitley one of the biggest problems for riverside. These are the biggest source of pm2.5 precursors because the wind patterns basically funnel all of the LA basin atmosphere out there and the pollution transforms over the 24-36 hr journey.

I used to work for air pollution regulators. I don’t have the citations but I’ve seen the presentations.
I bet you we bought the same app. Its cut about 80% of em out. Not perfect but I'll take it.
For Angels but what about seed funding? YCombinator/Other incubators?
I am sure China has more experience building tracking technologies. They are not high tech at all, unlike nuclear arsenals.
HN ate my comment, hope to figure hn out someday! Had written:

From the bailis.org link you posted:

> Linearizability is a guarantee about single operations on single objects.

The place we references "linearizability" (in the Jepsen blog and docs) are in the context of single row-key operations; I can update our docs to clarify that further.

For multi-key transactions, our docs clearly point out that we support Snapshot Isolation now and Serializable Isolation is in the roadmap.
Google Voice had a feature like this years ago didn't it? Man I thought it was a nuisance then but I would use the heck out of it now.
That logic is so strained my head hurts.
That's the whole basis of fractional-reserve banking, banks loan out deposits while keeping a small percentage on hand (last I cared to check it was 10%) to meet their reserve requirements.

Without deposits banks couldn't loan out anything since they couldn't meet their reserve requirements and they'd basically be insolvent.

So, true, banks don't loan out 100% of deposits but they certainly do loan out deposits.
The amount of money created is the entire loan amount. The full deposit still exists in addition to the loan. What the reserve ratio does is create an upper bound on how much new money the bank can create (before it needs more reserves).
AFAIK, nobody proved that Pi digits sequence is normal. See https://www.quora.com/How-random-are-the-digits-in-pi .
So it quite possible for some finite sequences to be omitted from the Pi digits sequence.
This article is about a simple model. Within that model, it absolutely makes sense for “dark black alley” to get a negative score.
It's expected to only have benefits for longer queries. The problem is primarily that the current logic what is likely to be a long query isn't perfect, so can trigger in the wrong moments. Since integrating the feature we'd added an item in the "pre-release item list" [1], to decide whether to enable/disable - but we definitely wanted it enabled during most of the beta test period. This wasn't really a last-minute "whaaaaaaa" thing...

[1] https://wiki.postgresql.org/wiki/PostgreSQL_11_Open_Items
There's likely not much if any institutional money involved in a $500k raise.

If there was, then it's not as great of an outcome, but to an institutional investor this would likely just have been a "let's see what happens" check -- which makes it pretty good regardless.
Except Powershell. :(
Are you non-sarcastically defending Alex Jones?
Karthik's response to this comment is on the original blog here:

http://dbmsmusings.blogspot.com/2018/09/newsql-database-syst...
>YOUR Google Account (emphasis mine).

This says nothing of internal tracking, and the data is certainly being sent to multiple google services.
The Couple Who Helped Decode Dyslexia
A poorly-kept secret in Silicon Valley is that many "AI startups" started over the last few years are actually using humans, with a long-term plan to slowly decrease the amount of work the humans do using algorithms (generally based on machine learning, but not always) as well as more basic automation. In some cases they don't actually do any "AI" work for the company's first few years, and if they do, it's more likely a quick-and-dirty logistic regression than what most people think of as "interesting AI".

The actual approach is a perfectly reasonable business strategy, because (A) it's really hard to work on machine learning without a lot of data, and it's often hard to get that data without actual users using the product in roughly the way it's supposed to work, and (B) the company can prove there's commercially significant demand for the user experience that they hope to be able to eventually do with some algorithms/AI technology, and thus can attract investor capital for making the thing actually work (potentially years later). In some cases, the human-powered product might actually be really good, and the economics might work in.

But it really sucks that the general hype around AI has generated a whole category of "AI companies" that don't actually use any AI technology. The dishonesty is really poor (I have a friend who's actually a machine learning expert start a job at one of these companies, and only then discover that the company did not use machine learning and no technical plans to do in the next year and actually just wanted another web developer... which obviously resulted in my friend quitting).

That said, I expect the trend to continue as long as companies get lots of extra press and investor attention for claiming to be an AI company.
That takes me back! I did a lot with set theory (music) back in college.

Somewhat related to that, I had a teacher that also worked out a harmonic theoretical framework based on overall degrees of dissonance and consonance which had some relatively interesting properties for analyzing both common practice and later music within the same framework. It had something akin to set theory's interval classes, but rather than representing a pure measurement of scalar intervals, it was measuring relative dissonance of intervals and groups of intervals. The dissonance values were on an arbitrary scale, but the system nonetheless provided an interesting and different perspective on musical constructs and harmonic progression.

At the time I knew the person that put this together, I think it was his thesis that he was writing... I'll have to see what ever became of it (of course, I haven't talked to the guy in over 30 years... but hey... )
I’m on Mariko’s team. She said in a team email today that she took her inspiration from the “How Browsers Work” series [1] by Tali Garsiel and Paul Irish from 2011.

[1] https://www.html5rocks.com/en/tutorials/internals/howbrowser...
How is this job posting legal? (requiring applicants to be under 37)
> The painful part is that you're using tools which are trying to bridge between wildly different logical foundations.

If you're referring to the fact that many proof assistants (e.g. Coq) are based on constructive/intuitionistic type theory, whilst most mathematics is formulated in classical set theory, then yes there is some translation involved. However, I would point out that we can use classical logic pretty easily by adding excluded middle, double negation elimination, etc. to an intuitionistic system (this is available in the Coq standard library https://coq.inria.fr/library/Coq.Logic.ClassicalFacts.html ). There are also systems which can use set theory (directly or indirectly), like Metamath and Isabelle.

Personally, I much prefer type theory (which I self-learned, before pursuing a related PhD) to set theory (which I was taught as an undergraduate and enjoyed, but not enough to do it as a hobby). However, I'm well aware that my computer scientist background is nothing like that of a trained mathematician.
They of course did not foresee the French Terror, Communist revolution, Pol Pot's killing fields, Mao's Great Leap Forward, and the Holocaust. But, they did realize the implications of believing man was only matter and that there was no moral order. Christianity was formed in the midst of societies that had very little regard for human life, and stood out for protesting the oppression of their day.
Well in the first case the problem is the lack of centralized repo: there are a million and one forks of linux, and they are all linux however they have all different code (Linus maintains the one that most people call linux, but there all Linux nonetheless). Imagine if it wasn't code, but financial data that would not really work.. The problem with git is that it doesn't allow you to form any consensus with a group of people (that you can't always trust). git's answer to 2 people committing to the same file is to throw a merge conflict in your face: Git is saying: I can't figure out what the truth anymore, so please tell me. That only works if you can trust everyone.

> Merkle trees have been around since the 70s.

Blockchains didn't reinvent many things, 95% of a blockchain is basic cryptography. Merkle trees are awesome and they are used as well (for example when grouping transactions into blocks within Bitcoin). The reason why you need more than a merkle tree is because a merkle tree doesn't help you if:

- You can't trust one single party to maintain (or host) the whole thing: yes you can use digital signatures to make sure they don't forge what you said. But what if they deny you access and ignore your messages? What if they change the order people said things? A merkle tree can't protect you from this.

- You need to agree with other people in what order certain things happened, this is a hard problem in networks / distributed systems. Especially if you have actors trying to manipulate this very thing.

- You need to align incentives in a way that breaking the complete system is infeasible from a financial point of view.

----

Take Bitcoin as an example, a (kind of) anonymous payment system in the internet, the only things protecting everyone's money are public/private cryptography and the costs involved with rewriting history (51% attack). Bad actors attack it every day, but no matter who's door the police kicks in you only have to trust cryptography (the only other weak link is your personal private key, so if you they hit in your door - but there is no other middlemen).

> I just don't get the hype.

There is a ton of hype, and whether it's valid or not depends on if the world needs such a system. Blockchain proponents say that once you have a stable decentralized system that can run any code and cannot be corrupted in any way, you will see innovation flourishing similar to the internet: the internet brought complete freedom of information (and industries build on top were not imaginable in the 80s), some people think the blockchain will bring freedom to anything that is (or should be) scarce. Like money and commodities.
I'm hoping aphyr will comment on this...
I would recommend checking out the google image search for "Brazilian wax" to see what comes up for that. It's not a bunch of hot models in bikinis.
This isn't the first time something like this has happened.

Pinscreen was also accused of faking results, including those shown off at Siggraph 2017.
https://www.theregister.co.uk/2018/07/18/pinscreen_fraud_cla...
With $80 Billion in Value Created, Techstars is the #1 Global Accelerator (2016)
I wouldn't call that lock-in.
I agree, but I think it still takes some coding self-discipline to write code with a functional core and stateful shell in Haskell. There’s little stopping you from having every return type wrapped in the IO monad. It’s not any more unnatural to do that than it is to code in any imperative language.
I actually prefer to write dev tools. Implementing my product manager next feature will always be less satisfying than helping a co-worker.
No, exactly the opposite. All scientific evidence we have is filtered through the first person perspective. The most directly evident view is that consciousness is primary and matter is secondary.
If you're an employee (no equity), be assured your employers don't care about you when the money starts to dry up. If you're overpriced for the revenue you bring in, you're gone. This is stuff everyone learned in the 90s bubble. Now the paper mags are falling over and he's acting surprised. SMH
https://archive.st/archive/2018/9/www.economist.com/w316/
Why millennials are facing a terrifying financial future
You use the word intuitive a couple of times, and suggest there's a natural way to exit interactive cli programs (and it's not ctrl-d).

Yet for me, ctrl-d is my usual first way of trying to exit any shell or cli utility.

Whether it's natural or not, I couldn't say. Arguably the nipple is the first and only intuitive interface, everything after that is learned. After many years on my/maria I find the backslash shortcuts very counterintuitive to 'show databases | tables' etc.

While I think it's great to have both options present, I don't think the demographic of people who work out they want an rdbms, evaluate and select postgresql, work out how to install server and client components, su to the postgres user, and are then likely to abandon in frustration as they can't determine how to exit the cli, is negligible.
Finally, a decent git GUI for Linux. More please.
One thing people talk about is the short-lived effects of DMT, and how they would like more time in the the DMT space. But as I understand it, your body doesn't build up a resistance to it. The DMTx [0] project is seeking to exploit this property and created extended-state DMT experiences using some basic medical techniques. Also, they are looking for volunteers.

[0]: https://www.dmtx.org
> Because implicit in the statements is somehow we have to take extraordinary measures for children we've never met.

Yes, we do have to take extraordinary measures for children who arrive on US soil, because they cannot take care of themselves, and we can afford to do so.

The alternative is simply monstrous, and causes irreversible behavioral harm to the children.
Object-Oriented Programming is Bad (2016)
Yes, "non-profits with political, jurisdictional, legal diversity" is pretty much the approach we plan to take. In fact, to begin with we'll be borrowing from Sovrin (decentralized identity)'s governance model.
Mariko made all of those illustrations herself. Check out her “alternative introduction to promises” [1] on her personal blog.

[1] https://kosamari.com/notes/the-promise-of-a-burger-party
I'm reminded of this bit, from https://www.gnu.org/fun/jokes/ed-msg.html

Let's look at a typical novice's session with the mighty ed:

golem$ ed

?
help
?
?
?
quit
?
exit
?
bye
?
hello?
?
eat flaming death
?
^C
?
^C
?
^D
?

---

Note the consistent user interface and error reportage. Ed is generous enough to flag errors, yet prudent enough not to overwhelm the novice with verbosity.
I’m already loving PG10’s native partitioning support. PG11 closes the loop on a few convenience features like being able to set foreign and primary keys at the master table level. With PG10 I can’t use ON CONFLICT clauses - looking forward to upgrading and sorting that out.
Awesome mission. But god I wish JS weren't eating the world like this.
Edit: my comment was misleading and confusing and I’m too tired to fix it right now so into the bin it goes :)
Note that there are formal, machine-checkable languages to describe geometric proofs: http://lambda-the-ultimate.org/node/3899

Of course, that still leaves the same problem of explicit proofs being tedious, i.e. being able to prove pythagoras's theorem "with a diagram" does not mean being able to prove it "within an explicit, formalised diagram language".