skysight-inc/HackerNews huggingface dataset:
The diagonalization argument is constructive, but with an asterisk. However the classic understanding of cardinality also requires Cantor's bijection theorem. If there is a one-to-one function from A into B and from B into A, then there is a bijection between them. This proof is non-constructive. And without it, the entire tower of cardinalities falls apart.

The asterisk with the diagonalization argument can be seen best with an example. Suppose that we define "reals" as programs which have been proven to construct Cauchy sequences that converge at a given rate from some set of axioms. Suppose that we construct a program that will enumerate all possible proofs from that set of axioms. This is doable. We search those proofs for proofs of statements of the form "this computer program computes a Cauchy sequence". That gives us a purported listing of all possible real numbers according to this definition. (Any given real will show up many times.)

Now apply Cantor's proof. It can construct a program which we believe produces a Cauchy sequence which converts at the given rate which is not in the list of all possible real numbers. The construction is concrete and we can write down the resulting program with only modest difficulty. BUT is the program that we found a real number under the definition that we chose?

It cannot be if the set of axioms is consistent. Because if there was a proof that it was, then it would be on the list and we'd be looking for a number that we don't want. Indeed, a proof that it actually produces a Cauchy sequence would follow immediately from the assertion that the axiom system we were using is consistent. But Gödel's theorem says that the axiom system, if it is consistent, can't ever prove that. The program that we have produced is some sort of "meta-real" - but it is not a "real" by the definition chosen since there is no proof from the chosen axiom system that it actually produces a Cauchy sequence.

And now Cantor's argument is not showing up as "there are more reals than integers". It is showing up as some sort of, "Our definition of reals is complex and recurses in on itself in a way that tangles up the division between true, false, and unknown."

See https://mathoverflow.net/questions/30643/are-real-numbers-co... for more variations on the complexity of constructivism and Cantor's diagonalization argument.
Survival of the fittest; Can hacks strengthen the Crypto Industry?
For generics:

How do recursive types and self-referencing types work? What about generic types that themselves require generic types? Can type constraints be applied? What do generics look like on interfaces? How about in slices? When compiled, are specialized functions written or is the code shared? How is runtime reflection for type params implemented?

Also, oblig ref of a now-defunct lang on top of Go: https://oden-lang.github.io/

Finally, good work, I hope it was fun! Don't take criticisms too seriously, they are good things (as opposed to silence) and par for the course on this site.
Cities don't want housing. They want other cities to fund residents, while they extract their pound of flesh from business offices.
Maybe they can turn large vacant malls into housing for the vast homeless populations found living in shantytowns and tent-cities throughout the west coast?
The executive branch of the government has found a use:

concentration camps for children
As opposed to classical reals which have a computable equivalence? (Hint: they don't)
> Well, you can pass laws blatantly targeting a major world religion

Which one would that be?
The capacity factor for utility scale solar PV in the US was 27% in 2017:

https://www.eia.gov/electricity/monthly/epm_table_grapher.ph...

The capacity factor gap with utility scale gas plants isn't as large as you might guess from looking at residential rooftop solar.
Why is this general rant on the state of software development relevant to a Gitlab outage?
Why is non-locality a problem for hidden variables theories and not for the "standard" interpretation of quantum mechanics?
I do some of my best work while walking my dog! :)
Just to provide a counter-point from someone with different tastes, I actually prefer to be left alone when I go to a shop. I'd rather ask for help than have someone hovering trying to be helpful.
To add to this - I have watched the industry over the last decade gradually become more conscious of and less tolerant of "accomplished" assholes. The behavior is still endemic but it feels like we are on the verge of a major shift in attitude in the wake of #MeToo. Over the last year companies, charities, clubs, and other organizations were finally willing to (forced to) deal with toxic behavior and are finding that they can survive just fine without the supposed "rock stars" that were fired and the toxic environments they fostered.

So even if you are a Linus Torvalds, it may only be a matter of time before you find yourself sidelined. I will be surprised if Linus's career ends on his own terms.
> If you publish a dat archive, how do you notify Hashbase to pin it?

This is provided by hashbase in their ui. Sign up for an account and add your dat. It is email based, no credit card/address unless you go over the data cap.

If you are uncomfortable using the service you can run your own node, it is open source: https://github.com/beakerbrowser/hashbase
An interesting point is that since taking SSRIs LSD and mushrooms have a much more diminished effect on me which anecdotally seems to be common.
I've had great experiences with LSD, experiences that may have even changed my trajectory in life.

That being said I would never recommend LSD to someone undergoing serious mental health issues. IMO not safe at all, you can really end up in a bad place.
The negativity is easy to understand. Somehow, Apple managed to sell routers for 20 years, and keep them updated for over a decade after purchase, without charging exorbitant fees for routine software updates. How did they manage that? They didn't do it in a "halfass" way, either.
This is why I have a mild dislike for ORMs. They're pretty handy, but most of the time, I prefer to hand-make SQL statements. Are they more work? Yes. But no ORM will ever give me the actual flexibility and performance of raw SQL queries (unless it becomes SQL itself).
Every country has "limitations", including the US. See, for example, the obscenity trials in the US.
The Jevons paradox applies to computers [1]. Additional computational power is mostly wasted. That's why I use Xfce. The additional bloat doesn't accomplish anything in my view. (And I might switch to something lighter in the future.)

[1] https://en.wikipedia.org/wiki/Jevons_paradox
You really missed the opportunity here to call your language Foo
I actually can't tell, is this article an advertisement?
It's a good suggestion but the luxury of the nice glass bottles and great taste makes me enjoy it more. I recycle all of the bottles. It's a bit of a vice but not a bad one as vices go.
So watch the international feed
It gets hot going through the fuel pump.
It certainly doesn't help that most bread sold in the US contains added sugars.
> But the reals? Well they are invented purely so we can take the square root of two.

I agree with what you say, but I also think that we overly conflate "importance" with "the order we found/defined them in". It's a big leap (conceptually, arithmetically, etc.) to go from the rationals to the reals; sure that's what the ancients actually did, but we don't need to follow the same path when e.g. generalising some result, teaching mathematics in school, defining a computer mathematics tool, etc.

There's no reason to "skip past" algebraic numbers, computable numbers, etc. especially since they're most often the sets we're dealing with; e.g. in high school most problems were something like 'find the real number x such that something-involving-x = 0'.

PS: You've inspired me to have another go at reading the road to reality; it's been gathering dust on my shelf for years!
It seems to compile ("transpile") to Go, and then invoke Go compiler on the generated source. So I guess that would make it also binary compatible?

https://github.com/albrow/fo/blob/master/main.go#L70
I'm looking forward to the post-mortem of this (hopefully by someone like Dave Hahn)

Hopefully it wasn't a Hurricane's Butterfly kind of deal...
Begin by thinking of a goal that is important to you but that you've kept yourself from attempting, and divide a piece of paper into three columns.

In the first column, write down all of the things that could go wrong should your attempt fail. Think of the most terrible things possible.
In the second column, determine ways that you can mitigate the possibility of each of those bad consequences from happening.
In the third column, think of how you would recover from each of the scenarios you imagined and wrote in the first column.

source: http://www.businessinsider.com/tim-ferriss-on-exercise-to-ov...
I remember this and I have both books which are excellent. Well, here I am again, contemplating getting which version of the book???
This issue is different, but gitlab.com usually has poor availability which I'm sure it's caused in part by technical decisions they made.
Ah yes I love receiving Smug Reports[0] in my inbox. A 30,000' fix provided by someone with a 10' view of the code base and no business understanding outside their own organization.

[0] https://blog.codinghorror.com/new-programming-jargon/ Number 4
Welcome to the "office". Your workday will consist of 7 hours 59 minutes of accounting spreadsheets, and 1 minute of rearranging these gumballs on display next to the entrance. If anyone asks, you work at a gumball store :)
> people get hurt exercising all the time.

Olympic weightlifting is actually one of the safest sports. But most people who lift are doing body building or more sport-specific training, which is where you see most of the injuries.
you guys need to read this blog https://mechanical-sympathy.blogspot.com/
It's pretty easy. You just get a specific version you patent through the FDA and that will be the only one doctors are allowed to proscribe because it's FDA approved.

http://slatestarcodex.com/2014/06/15/fish-now-by-prescriptio...
Better, automated tools for optimization are needed. Postgres ecosystem right now lacks a lot of things that enterprise systems have for decades.
Mid-level and in the top 10%?
why is the website dependent on the database being up? Shouldn't there at least be a fallback that says "We're offline right now sorry" when the database is unavailable?

According to the outage Google Doc it's supposed to do this but it stopped working a little while ago:

16h33 | Yorick: Why have the 502s on GitLab.com switched to 500s?

16h46 | Slight concern that 500s have not yet gone away, but let’s focus on standing up postgres-04 first...
I still wish these guys all the best, but if you want to start doing 3rd party like this then everything will eventually devolve like it did for the normal web. We do need a new web and way of moving information, but once you start directly connecting to servers they need to know who you are.
Really neat to see beaker broswer support native P2P with progressive enhancements like github.com/beakerbrowser/hashbase providing the cute URL's we all like.

I'm sure hashbase.io will be blocked really quick, so it's important that the core P2P address system stay in the forefront. Transports also need to find many ways to communicate over https, shadowsocks, tor, DNS, and others.
Hey! I think all of those points are 100% valid and I understand where you're coming from.

I'd like to preface that the product you see today isn't the end goal we're trying to reach, it's very much just the beginning of the vision of easy to use ML we want to accomplish, and we hope to meet the rest of the pains you've outlined in the future.

1. Data cleaning is the most important and painful thing we experience, and all the companies we talk to experience as well. "Data cleaning" is often a very broad term and can mean a lot of different things across different companies. It's something we absolutely want to tackle, but it's not on the immediate roadmap (it's still a bit vague of how to bring all the different problems companies face together).

2. This is something we hope to move into in the short term, we understand that production does not mean "ML runs on sever and returns requests that look right". We know that it means that the model scores well on offline validation data, online data, and is able to notify appropriately of shifting distributions of input data. We hope to have tools in place that can allow teams to understand the performance of the model both in an offline and continual online setting, and be alerted when the model is failing due to unseen feedback loops or drastic difference between training and inference distributions.

Where we think this stands today is that any engineer on any team can get started quicker with validating a ML PoC and get it deployed into production faster. While I understand there's a ton of nuance to "production", sometimes "good enough" is fine for the short term (and there's a lot of tools that can support them with the problems outlined above as well!), while we work out how to support customers in the long term even better.

As for accuracy, one of our core values is transparency, you can read about the technical workings here: https://medium.com/modeldepot/percept-whats-inside-the-ml-co.... This should arm a team with the appropriate terms to search for and understand if our product is the right fit for their use case. We hope to only expand the capabilities and options customers can tune as well if this exact solution won't work for them out of the box. Additionally, users are free to experiment around with how to understand the accuracy of the model (beyond a single accuracy metric), we even go a bit into this at the end of our guide here: https://medium.com/modeldepot/apples-oranges-a-machine-learn...

As for performance, since it's deployed on your own infrastructure, you can scale horizontally as much as you'd like without hitting arbitrary rate limits. In our own internal benchmarks we can get around ~6 sustained QPS on a c5.4xlarge and about ~12 sustained QPS on a c5.9xlarge. If you'd like to learn more, we can go more into details about p90s and whatnot across various concurrent connection settings.

I hope you have a chance to check out the product and leave us more feedback, we're striving to be different than other MLaaS offerings out there with more transparency in what we do, to empower engineers to leverage ML in a more meaningful way.
I can see and am grateful for your effort to answer the questions as helpfully as you can. But to me, when you say "the owner of the Mona Lisa is whoever has the most tokens in our system", it sounds like complete nonsense. The Louvre owns the Mona Lisa, and if your system disagrees with that, your system is broken.
Just let us get through one winter season. Is anyone trying this in an area other that those with mild weather. Northern cities will have days if not weeks worth of time where the roads won't be safe.

plus have any of these startups had issues with injury lawsuits?
> I personally believe one should be able to appreciate all communications styles

Wut? Some communication styles are just "harassment", including Linus'. One can put up with it, but appreciation? BS. Linus is worse than Kalanick.
Yes. And the fact that, being taken as serious science, it actually affected penal policy, makes it particularly ugly.
It is about culture. He comes from a background where people say what they think without trying to make it sound nice.

Many times i think in my mind about something: this is just stupid. He says it out loud. That is the difference.

If one can see behind the rude attitude, there is plenty to learn.
"Yorick hupping unicorn"

I picked a bad day to stop hupping unicorns.
Depends on your contract and whether you get paid overtime.
Yeah, the idea of using prime beef in a burger is... weird.

The point of prime is it's better marbled. You can get that same effect in a burger by just adjusting the fat/meat mix. I grind mine to about 20% fat, but you can pick pretty much any proportion.
Yep - this is one of the main reasons I first gravitated to HN about 8 years ago
That's brain-chemistry-related, with psychedelics competing with the SSRI for your serotonin receptors.
Tanenbaum reminds me of those "smart people" Art Williams was talking about in his 1987 "Just Do It" speech. Good to learn of another example of "more smart" not being "more successful".
It also takes a lot of commitment and time that not everyone has, and requires you to by physically capable of lifting weights which not everyone is.

On a more nuanced note, different things work for different people, and gyms aren't the optimal mental healing environment for everyone.

If you're gonna arrange everyone on a hypothetical comfort spectrum between gym and library, it seems reasonable that some people would be more likely to seek mental help if it came in the form of taking a tab under supervision from a qualified professional in a private room than they would if they have to go lift in the company of a bunch of loudly moaning middle-aged men hell bent on proving to the room at large that they are the highest quality specimen of humanity in the room. Lets not be elitist about the paths to mental health, options are good.
Worker testifies that Tesla stopped him from organizing union
A lot of people just want a no-effort cure-all. Things like exercise, meditation, healthy eating--all of which can help with mental health problems--require concentrated effort over a long period of time, and thus are unlikely to be preferred over a pill.

Before anyone gets upset, I'm not saying that pills are bad, I'm just saying that many rely on them without making an effort to make other positive changes to their life.
Tesla is laying off ‘about 9%’ of its workforce as it ‘restructures’ the company
Encore Musical Puts a ‘Frank’ 1915 Miscarriage of Justice on Full “PARADE”
You overstate your case.

The proof that there is a bijection between the reals and the power set of the natural numbers depends on Cantor's bijection theorem. As you can verify from https://en.wikipedia.org/wiki/Constructivism_(mathematics) or many other sources, that proof and theorem has been rejected by many reputable mathematicians over time. Most notably including Brouwer.
>Honest question. What is this demographic which will ride a scooter but don’t want to walk less than a mile.

Professionals that don't want to arrive at work all sweaty because it's a hot day.

People who need to be somewhere in 5-10 minutes and don't want to jog.

People who generally value their time more than the cost of the ride.
>materialist consumerism: something millennials want no part of.

You must have missed Instagram... Consumerism is alive and well among millenials. Remember not everyone is a HN reader who works in IT...
The US and EU have been decommissioning a few older nuclear power plants early because just operating let alone building them is not cost effective.

People talk about base load power like it's a good thing, but it's the opposite demand varies a lot over the day and you want to be able to ramp up and down quickly. You can do this with nuclear, but it pushes costs up even higher.

There is some regional differences and areas with a lot of dispatchable hydro don't care nearly as much. Still nuclear needs to be under 6c/kwh to be viable as base load power or be able to ramp up and down with demand while staying fairly cheap and it can't do either when you look at total lifetime costs.
Instagram is down (500s)
No startup or innovation should happen at the cost of harming the userbase.
I have plenty of athletic friends who are at least 6 feet tall and weigh more than 220.
I think you can contribute a meaningful amount to a startup in 3 months. Arguably the top reason to join a startup is to make faster impact. I'm not saying this is possible at all startups, but most startups yes.

Options/equity are a component of your compensation and I'm questioning the reasons we wait a year to get it. I think it would be more employee-friendly to smooth out the vesting schedule.

Startups seem to be having a hard time finding talent (probably why this thread was started). Everyone already thinks you work on more interesting problems and make more impact at a startup, but it seems like those reasons alone aren't attractive enough right now. If startups can't pay $300k/yr cash, then they need to think outside the box to entice people to join.

What burned me working at startups was the 1-year cliff and 3-month exercise window after leaving. I'd consider working for a startup again if those two disadvantages changed. Until then, I'm very happy at BigCorp.
As an investor, I would be seriously concerned with FOMO. Not on actually missing out on the next best thing - I would be worried that this phenomenon would lead me into bad investments because everyone else is doing it. In the current environment of overfunding, everyone looks like they are the next hot company. You need to look beyond the current trends and find something which matches your strategic vision of the future but has not received a huge amount of attention yet. It feels like the scooter space opportunity has already passed for seed investors.
I'm fine with "thin" ORMs that map rows to objects, and not much more. You can just write SQL (or use a view) while avoiding some repetitive code.
In a shop I used to work at all of the devs were looking into Entity Framework as an abstraction layer for access to an MSSQL database. They were using T4 generators to create classes based off of the tables they were interested in (it was hundreds) and so they were looking into unit of work/repository patterns.

I told them I had plenty of experience going down this route (my most popular StackOverflow question is on UOW/repo) and to just use Dapper and not look back. There is a pleasant simplicity in using plain old C# classes and simple queries that you can visualize just by looking at them without having to run a trace to figure out what's actually being executed.

This was one battle of many. I lost that battle.
I'm not following the logic there:

>We know some subset of the natural numbers are real because we can count things.

So he's saying:

1) X is real = there exists a one-to-one mapping between X and a consistent physical process.

2) Natural numbers map to counting.

Okay, but then:

>Well they are invented purely so we can take the square root of two. And the complex numbers? Invented so we can take the square root of minus one.

Not true: complex numbers also map to real-world dynamics, like oscillatory behavior. From a search for the physical significance of complex numbers:

https://www.quora.com/What-is-the-physical-significance-of-c...

I would add that real numbers have physical significance in terms of having to arbitrarily operate on some fraction of another value. It's true that the universe might prohibit arbitrary precision, but when you don't know the depths of the permitted halvings, and you're permitted arbitrarily large units, it amounts to the same thing.
If you take an inexperienced dev and have them hand write SQL it is not guaranteed to be very good either.

Either way with ORM or SQL you have to understand the underlying database technology.

The problem is lack of skills not tech.
>Almost everyone does, though.

Not in London (or, indeed, much of the UK). Not in Manhattan. Not any city where parking can take 20 minutes to find and costs $30+ a day.
This is hilarious. SQL has had parameter binding for most of its history; SQL injection is just a recent effect of people no longer caring about parse or serialization overhead.

You can go back 20+ years and find similar rants to this; I remember going through these OODB arguments in the 90's.
They do database maintenance at 11am EST on a Tuesday? Seems like a terrible time to do database maintenance?