skysight-inc/HackerNews huggingface dataset:
The startup I was a part of in a previous life did that.

The two owners took too much money for personal stuff and couldn't pay the employees. Several times we were told to not cash our paychecks for a few days or were asked to take an unpaid day off, etc. That same year that they let 3 employees go and they each bought a new house, new vehicles, and one of them bought a $75k trailer. So between the 2 of them, we figured that that year they could barely afford to pay us they got around $800k worth of personal stuff.

Then they pushed all the extra work onto the remaining employees. 4 more left a few months after they let go of the first employees which caused them to change their business model quite a bit to retain the remaining employees.

Now looking back, the 3 employees they let go were paid less than $80k between them and were considered contractors (until the IRS was involved).

The lean stuff here burnt several of us out, and for those that remained, the thanks they got was being told there wasn't enough money for a holiday party.

I keep in contact with several of the employees. They're a successful startup in most aspects I assume, but only because they were forced to change stuff that they didn't want to. If they didn't change the business model, they would have bled more employees within a few months and probably would have went under.
So what do you think about the subject?
Is it not computing to 16px for your screen? I feel like you must have problems on 99% of websites if 16px font does not render large enough for you to read. Heck, HackerNews renders at 10.6/12px for me.
> I'm not looking to break through the undecidability barrier

That, too, was far from clear. You said you were tackling this problem:

> what is the property of a program that makes it undecidable?

and I told you:

> That is itself an undecidable question!

and explained why (at least three times). And AFAICT you still don't get it because you still say you want to:

> implement an algorithm that can prove theorems we already know are decidable (well, group functions into the always halts/doesn't always halt/undecidable categories)

and that is the problem of automated theorem proving, which is an open research issue, and (provably) always will be.

If you want to get a small taste of what you're up against, try proving that this program always halts:

f(x:int, y:int) = ( x+y == y+x ? halt : loop )

In other words, try proving the commutative law of addition.

If you get that, try to prove that this lambda-calculus expression

(λ (n f) (n (λ (c i) (i (c (λ (f x) (i f (f x))))))(λ x f) (λ x x)))

computes a factorial expressed as a Church numeral. (See http://www.flownet.com/ron/lambda-calculus.html for some hints.)

And that's just what you get from elementary arithmetic. If you really want to blow your mind, look at:

http://www.mrob.com/pub/math/largenum.html

and the associated software:

http://www.mrob.com/pub/perl/hypercalc.html

Once you get to infinity you are only just getting started:

https://johncarlosbaez.wordpress.com/2016/06/29/large-counta...

And even all that is just what you get from discrete math! Then there's calculus, topology, algebraic varieties (of which elliptic curves are one example, and even that is a whole field of study). And even here we've not even begun to scratch the surface of what is possible. The world of math is (provably!) richer than you -- or anyone -- can possibly imagine! That's what "undecidable" means.

Your only reasonable hope of making any kind of non-trivial progress is to focus on one domain, and then use the constraints imposed by the properties of that domain to shrink the problem down to something potentially manageable.
Unfortunately if you read more closely you will see that it is a rejection letter :'(
Lockheed and Boeing are very much involved in space. They just don't build rockets like SpaceX, because they take lower risk projects to avoid being propped up by investors.

FYI, one of the biggest space companies is Orbital ATK (now owned by NG).
I volunteer. Gimme that golden parachute.
yeah you are right @Fede_V, sorry about this, just made it public https://lab.snark.ai/pricing
This blows my mind. You’re basically betting money on an athlete before knowing what sport they’ll decide to play. It’s as if these people have run out of viable investments and are just guessing.

That said, if anyone with $1M burning a hole in their pocket has no idea what to do with it, just reach out: I accept PayPal and Bitcoin. I offer you the same 0% return!
This hasn't been my experience at all when walking around Santa Monica. It seems like about half the time Birds are parked in a reasonable place - in an alcove designed for bike parking, on the edge of the sidewalk on the Promenade, off to the side next to a door - and the rest are just... random. It's not at all uncommon to see three or four Birds parked in the middle of the sidewalk in front of a popular store or restaurant.

The last time I was over there, it seemed like someone was going around and purposefully knocking them over: https://scontent-dfw5-1.cdninstagram.com/vp/1cd4296b10424b53...
Zynga was founded in 2007. If Parker is 38 now then he'd have been at high school 20 years ago, when Zynga didn't exist. It's a basic error anyone who did two seconds of fact checking on Wikipedia would have caught.
What you call "serene," I would call "austere." That's not meant as a denigration, mind you: I'm very curious as to your viewpoint here. What do you enjoy about such an experience?
[UPDATE] prices are public https://lab.snark.ai/pricing
I'm so surprised that smart contracts aren't being used to release the funds over some set of time, with the ability for community to vote to block it if they feel team has stalled. Nobody needs $20 or $50m on day 1.
That's a subplot of Philip K. Dick's novel Ubik. The protagonist is locked out of his apartment and his household appliances until he feeds coins into the meter.
Can you zero in on a few specific pieces of YC advice that are most wrong for early-stage companies in Asia? I think it'd be more productive to have a discussion around some specific issues.

YC has much less experience in Asia than the US, and we'd like to learn.
Doctors' offices generally make some effort to verify the identity of anyone not paying up front. Some insist on scanning a government-issued photo ID. Others are more flexible.

Regulations for dispensing controlled substances vary from state to state. As of 2013, only 24 states required pharmacists to verify identity.[1] Many of those regulations apply only in certain circumstances, don't specifically require government-issued photo ID, have fallback procedures, or allow the pharmacist to dispense the medication without ID if withholding it would harm the patient. Florida recently passed a law that says it's good enough if the pharmacist recognizes the patient.[2]

[1] https://www.cdc.gov/phlp/docs/menu-pdil.pdf

[2] https://www.healthlawrx.com/2018/07/florida-imposes-new-id-r...
High technical risk projects like this typically come with highly vetted market needs.

On the other hand low technical risk projects tend to come with higher market need risk.
I didn't say that was their intent, only that the current state of the art has that effect. And that I think this is a bad thing.
The Android "emulator" is using an x86 build of Android. Running the entire stack will increase memory use but should have no real impact on performance. Given that many people are running the emulator on non-Linux kernels (and this story is explicitly about doing so on Windows), how would a simulator work?

(I work at Google, but not on Android)
I'm surprised they don't have a technical solution -- like, say, have it take a photo from the scooter when you log out to validate you put it in a good spot. (Or gps if they have drop-off points, etc.)
An in Depth Explanation of Why I Am Leaving Union Square Ventures
This seems like over-solving the problem, to me. All that's needed is a general guideline: 'Scooters should be parked on the side of the sidewalk nearest the road, no more than 12" from the curb'.

Given that photos of the scooter are required by the apps anyhow, enforcement via a small fine should be trivial.
Rescale | San Francisco, CA | On-site | Full-Time | Visa Sponsorship

Rescale provides the largest, most secure, global HPC footprint seamlessly integrated into an easy-to-use platform built for engineers and scientists. Rescale is disrupting the staid on premise HPC world. Rescale is HPC in the Cloud. www.rescale.com

* Senior Backend Engineer: https://jobs.lever.co/rescale/ba8800d3-b0bd-40b0-8a72-887e27...
* Senior Frontend Engineer: https://jobs.lever.co/rescale/db57778b-268d-473d-9edf-111fb8...

OR email your resume to Amara Rogers at: amara@rescale.com and note that you came from Hacker News. Thank you!
Announcing the Public Preview of Azure Dev Spaces
A lot of things were better in the ANSI C/C90 era; but the definition of undefined behavior is essentially the same.

"Permissible" is a poor choice of word; "possible" is a legitimate clarification.

The reason "permissible" is poor because it wrongly hints at the possibility that some behaviors in response to UB may be "impermissible". Which, in turn, wrongly suggests that UB is something other than the absence of requirements.

Compilers were more sensible, but not because of squabbling over some minor wording over the definition of undefined behavior.

It was never the case that undefined behavior was intended to be constrained in any way.
Just 2000 loc!
possible to share analysis of what the equivalent would've cost in infrastructure on AWS/GCP/Azure?
So it spawned brains capable of conceptualizing the halting problem - and then proving it unsolvable. Shouldn't the universe shut itself down now?
U.S. Government Is Providing an Encouraging Environment for Commercial Space
Topsoil Re-Uptake of CO2 Is a Major Solution to Climate Progression
ah no worries, thanks for helping us out! sure will add automatic deletion support.
Software dev as an industry tends to be bifurcated: startups and unicorns tend to be very anticredentialist, at least when it comes to formal education. They'd rather see X years at Y company than really care what school you went to or what degree you got, unless that's all you have to show.

Unfortunately for you, this is slightly less true for Microsoft-centric development environments. Government and big business still value the degree a lot.

Unless your A.S. or A.A. is in basket weaving, getting some kind of BSCS in five years of part-time distance ed would probably be both affordable and worthwhile.
>HR can be your friend, when the interest of the company, and your interest happen to align, which in my experience is more often than not.

I think that very much depends on how HR decides to view things.

Someone complains about another coworker's behavior.

"Oh man we better protect the company by addressing that person's behavior."

"Oh man we better protect the company by addressing the person who complained."

Just about every HR situation can go in a lot of directions, it just depends on what HR decides their best choice is. The problem as an employee is that you DON'T KNOW what HR thinks or will do, pretty much ever.

HR as an organization has all your personal information, and HR groups expect / requires you share that with them .... but generally you have no relationship with them and no reason to trust them. It's a weird situation.
What happened with the people you had to let go? Did you prioritize rehiring them once your ship was righted or help them find new positions?
Less #1, that future is already here, it's called China.
It’s almost like... they got busy and started working on what they promised to do.
Gluu writes its own software, like the OAuth2 Authorization Server, oxAuth, and bundles other open source software like the Shibboleth SAML IDP.
Why would anyone running an ICO agree to that? Clearly the current system ‘works’.

They get money, no accountability, and everyone just moves on.

No wonder crypto-currencies enjoy such a positive image among the ‘haters’ and ‘doubters’. Because they keep earning it.
Or they ran away with the money and don’t want to be as easy to track.
Oasis Labs: privacy-first high-performance cloud computing on blockchain
Perhaps it is time for an Android Subsystem for Windows that is analogous to the Linux Subsystem for Windows 10.
Thanks.

> I'm not sure what "new names for variables" means here.

All the examples I could find were of the template

(when-let ((name1 scalar1)
(name2 scalar2)
...)

where presumably the `scalar`s were standins for existing named bindings. Same for `if-let`.

I wasn't awake enough to contemplate that the `scalar`s above could probably be arbitrary expressions.

But skimming your blog post again, I do see this example about half-way through:

(let* ((name (read-string))
(length (length name)))
; ...
)
And because it's cool? Not a girl, but I was a scout and if we were seriously learning lock picking then the number of people going would have skyrocketed.
The Open AI solution uses demonstrations though, which is the article's point, that bare DQN can't solve the games, and something like demonstrations are needed.
If you want to spend your days learning flavor of the minute web frameworks instead of actually building stuff, knock yourself out.

If you have anything more substantial to add to the conversation that actually relates to my original comment, I'll be here.
What does this mean in the VW case? I believe the unions are strong in Germany. So either the "rogue engineers" was a lie from the management or they were doing it in their own volition?
I lived in CityPlace for over two years. The apartment itself was great. Fast internet, reliable guards / mail delivery. Nice BBQ area. I even used the football area.

My problem was once they started filling up the commercial areas downstairs. They were almost all kinda blah. The automotive-first design also made the area kinda sterile and windy. I used a bike, but most friends that visited felt like it was a part of Toronto that felt completely disjoint from the rest of it. Plus the bridge between the two buildings is so tacky and ugly. The area with the canoe is ugly. The "art" they put up is the type of garbage that makes it out of a committee. They could have engaged real artists. The look of the buildings themselves don't really bother me as much as they bother some other people, but they don't add a ton of architectural value to the city and their proximity to the rail yard makes them even more desolate from nice places.
I mean, good for them it they think it helps in their life.

I personally don't understand the obsession with getting things done. In the post, they say the tattoo remind them that there's always things to get done. I don't think that's a good way to think. If you don't rest, you can burn out, and then you can't get anything done.

But hey, whatever works for you. Tattoos are personal and symbolic. I get that.

And checklists are great tools - I can personally attest.
For the curious, the maximum motor size to ride in the bike lanes in Boston is 50cc.
Let me know if you have any questions too, I'm always happy to help!
it is not legal to ride them on the sidewalk here (neither are bikes legal to ride on the sidewalk) but I see it everyday now -- with folks yelling "get out of my way"
Oh... well that explains the snark. Sorry to hear that, keep your head up. The student makes the school, not the other way around.
I was at a deep learning conference recently. The topic of how AI can improve healthcare came up. One panelist said that a startup they were working with wants to help doctors use AI to use NLP to send claims to insurance companies in a way that won't be rejected. Another panelist said that he was working with another startup that wants to use AI and NLP to help insurance companies reject claims.

I think in the future we'll see their AI fighting against our AI in an arms race similar to the spam wars. The one with the most computing power and biggest dataset will win and humans will be at their mercy.
I have been an embedded developer working quite close to the metal. Over the years, I have noticed that the further you get away from the metal, the less reliant you are on the debugger. In projects past, I have worked with MathLab developers who are deploying their code on a multicore CPU and they have no need to have a debugger (in the traditional sense) in their tool set.
So I've been doing alot of thinking lately about traditional VC and PE vs ICO's for work.

Its pretty rare for VC and PE firms to just be blatantly ripped off like a good portion of ICO investors are.

As far as I can this is due to 3 things.

1) Geography, Most VC/PE firms only invest in a particular country and know the laws as they relate to the contracts they sign with companies. This ensures that they can atleast try and go after the founders, legally speaking, if any "shenanigans" occur.

2) KYC, most will only invest after performing due diligence, which always includes meeting the team and confirming through lawyers that the team is who they say they are and they own the IP they say they do.

3) Contracts, I've participated in a few ICO's and never signed anything. I realized I was essentially giving money to a complete stranger with nothing more than an IOU from someone who I'll never meet and in many ICO cases, never have any way to find them.

Fortunetly for ICO's as a legit means to raise money these are all solvable. They just require "adults in the room.".

If you look at the successful ICO's from a professional investors angle(VC,PE) they all followed the above 3 steps.
Good catch! We don't own hardware ourselves, but we are considering EULA with our partners.
>Sure... but define "correctness".

How about this, for example:

The patient lives.
From there:

“RTGs use thermoelectric generators to convert heat from the radioactive material into electricity. Thermoelectric modules, though very reliable and long-lasting, are very inefficient; efficiencies above 10% have never been achieved and most RTGs have efficiencies between 3–7%”

Also interesting, the price of RTGs:

"Plutonium 238, which is used to power Radioactive ThermoGenerators such as the ones that power the Voyagers, Galileo, and Cassini probes has not been produced in the US for 25 years, but NASA and DOE have budgeted $50 million to restart production of about 2 Kg per year for 5 years…an average cost of about $5 million per Kg. That is expensive stuff!"

One SNAP-27 unit, the type used in Apollo missions, providing only around 70 W, had around 4 Kg, which means its Pu price alone would be at least around 20 million, if it would be produced now.
Yup.

>The pickup_ntaname column is stored as varchars by ClickHouse and kdb+, and as dictionary encoded single byte values by LocustDB.

But it would be trivial to convert to enum/sym type in kdb+. It's silly to query and group by strings.
This additional source of income will only last until we fully implement ASR's - Autonomous Scooter Rebalancers.
As you say, much waste is unavoidable. Would "pay-as-you-throw" encourage people to litter if you make the Right Thing (throwing away and recycling) not free and the Wrong Thing free? I've lived in apartment buildings where tenants who leave trash bags on the floor of the trash room because they can't even be bothered to lift their bags into the dumpster. Or they dump mattresses on the floor of the trash room or on the sidewalk instead of scheduling a (free!) bulk trash pick-up.
What a load of hand-waving. "Planned cities always fail?" You mean like Chicago? https://en.wikipedia.org/wiki/Burnham_Plan_of_Chicago
Would thoroughly recommend reading "The Last Dive: A Father and Son's Fatal Descent Into the Ocean's Depths Paperback" by Bernie Chowdhury. It features the author of this pdf, Sheck Exley quite extensively.
It’s unfortunate that Big companies are pushing for OAuth 2.0 and trying to blindsided developers as if OAuth 2.0 is an upgrade to OAuth 1.0a. It is not! OAuth 1.0a provides authenticity, integrity, and non-repudiation. Something that OAuth 2.0 cannot match.
I didn't see in the article a T_low or T_high where this device was operational. Normally TEGs work well with high temperature differences (attached to the side of a hot wire pipe with a heat sink on the opposite side), and they work poorly at lower temps (room temp). Anyone know what temperature range this device is made for?
I have a similar interview question, but I have a few layers on top of it, not all of which are required to progress through the interview:

1. Send CSP headers that prevent some of the JS from executing. This is really obscure to most people, but if you look at the console and search the internet for the error, it gives you a good idea. This gets you thinking about the script.

2. Include a simple JS syntax error in the AJAX call. It helps prime them to figure out why the call, once the error is fixed, still doesn't work, rather than having them try to think about the entire front-end as a source for potential problems.

I like to make sure that people are generally guided to the problem to solve, but also to test them along that path. A lot of debugging involves things a few steps/layers removed from the actual problem before you get to the point of solving it, so it's fun to test those steps too, as each can lead you down a wrong/different path.
> Honestly though, I don't know what I'm trying to say much of the time, aside, 'help', lol. Life is terrifying. :)

from another comment made by you:

> Evolution does not care if an asteroid hits the earth and wipes out all life as it presently exists.

My advice: Stop worrying. Enjoy the randomness :)
Maybe book a flight to Asia. Life is short. Embrace uncertainty. Sell luxurious sanitary pads to rich women in their 40s. Dress well and be funny. Then suddenly change your mood to sexy, ask a stranger for a kiss. I now write random love letters to my ex-girlfriends. Let's see where randomness will lead us to. See you on the other side of existence.
Characterizing Audio and Video Exfiltration from Android Applications
Looks like the point about correctness is misunderstood. The post argues that 1) perfect simplicity, correctness or speed is unachievable in most software of any complexity and 2) given that there is necessarily going to be a trade-off, focusing on simplicity makes the other two easier to solve. There is nothing in there about simply writing `return 1` and considering that the perfect solution.
yes and the lecticae, i believe they were popular in Rome because carriages were not allowed.
Make adding a blog to your site smoother with Butter
I think in that case your ability to raise additional funds will be dependent on the persuasiveness of your argument. The investors would need to believe that you have a viable plan, and that you are the person who can execute it. If they don't believe you are worthy of investment others may take inspiration from your work in their attempts to make the product a reality.