skysight-inc/HackerNews huggingface dataset:
OK, I think I see where you're coming from. I don't think the distinction you make is a useful one.

> A concrete difference would be, in dependently-typed language, you define a list type as [...]

Coq is a dependently typed language, and while it has a definition like this for some thing (called vector, maybe? I forget), the definition for lists in the standard library is not dependent, and length is a separate function. You can still write a function like

Fixpoint lookup (xs: list a) (idx: {n: nat | n < length xs}): a := ...

I don't know how much experience you have with dependently typed languages, but it looks like you might have misunderstood tutorials showing that one can define a dependent list type as saying that one must define lists dependently?

> And then the type checker/SMT solver will treat `length` as an uninterpreted function that always maps the same array to the same integer, and use it to prove things.

Treating it as uninterpreted is quite weak. It allows you to prove simple callers of the lookup function, but not the implementation. Also, you would not be able to prove something like this:

if idx < length xs then
lookup (Cons foo xs) (idx + 1)
else
...

This is admittedly a silly example, but it should be provable. But you can only do that if you can reason about the relationship between length and Cons.

As for automating proofs, I very very much agree that we need a lot more automation. But if that means crippling our theories to an extend that they are no longer expressive enough to verify our software, not much is won.
F# does not support dependent typing. And in general, because it has to interop smoothly with .NET code written in C# and VB.NET, F# is not nearly as hardcore on functional purity as something like Haskell or
Agda, and correspondingly cannot guarantee as much safety through its type system.

It is a wonderfully pragmatic language though and does guide the user towards more reliable software patterns than C# does. It sort of bridges the gap to be something you can actually use in production today, whereas the dependently typed languages are still in the realm of experimentation and toy projects for now.
Never do anything more than say hi/bye to HR.
I suspect when someone asks you to tell what they really think of them, the word really should come with an asterik.
Ha! Many years ago when I was in the military, in tech school in fact, one of the teachers (a sergeant, for what it's worth) flat out asked me to my face what I thought of him. Apparently I was telegraphing my feelings pretty well despite attempting to keep a completely neutral face. I asked, "off the record?" and he said "yep" and then I told him.

Whoops. There is no such thing as off the record. Lesson learned. Though in the end it worked out okay and I just got some mildly amused reprimands from my superiors about telling someone [whom everyone agreed was a jerk] that he was a jerk. I'm much better at keeping my flap shut now.
I'm not even sure his pronunciation anecdote is true.

Pypy is pronounced pie-pie

PyPI is pronounced Pie Pee-Eye

Isn't it?
Yeah, that's some important information missing from the headline. The comments so far suggest no one read the article and/or have no idea who the author is.
> Why we allow these laws in a Democracy/Republic is mind blowing.

strong labor market and low unemployment.
> The "it's so cool to shit on Java" thing served an important purpose and is probably close to being retired

I don't know in which world you live in, but in the real world Java is by far the dominant platform for web services.
Howard Husock, who wrote this article, is a VP for policy research at the Manhattan Institute. The Manhattan Institute is a conservative think tank with an agenda, so please take this column with a grain of salt. Howard stated his opinion but did not provide any evidence that reducing rent stabilization in New York would effect housing prices positively. Please keep this context in mind while reading this article, and stay informed.
Laws are sometimes stupid.

However this assumes they will be able to trace back the device to you. If you do it properly (I guess start with not leaving 3 phones with active SIM cards inside) they won’t be able to and you can enjoy your sweet revenge.
I implemented a similar BiLSTM-CRF model at my current job. The architecture itself is really interesting, but runs into scaling issues. With LSTMs, you run into the constraint of having to wait on previous inputs and cache those results as well. Although TensorFlow now offers Cuda RNNS and fused kernels to speed up computation, I'd have thought for Amazon's scale, an attention/transformer based architcture would serve them better.

I also notice a lot of dismissive comments about "black box models" or the simple solutions of just parsing out whitespace. My two cents:

1. Models with hand crafted rules perform WORSE than learned representations, especially when you have an end-to-end model with pre trained embeddings. This is shown by one of the seminal papers on this model, Ma and Hovy (2016) https://arxiv.org/pdf/1603.01354.pdf.

"However, even systems that have utilized dis-tributed representations as inputs have used theseto augment, rather than replace, hand-crafted fea-tures (e.g. word spelling and capitalization pat-terns). Their performance drops rapidly when themodels solely depend on neural embeddings"

2. Human speech and human written text are messy. Having a rule for human speech will inevitably lead to a massive list of rules and exceptions to those rules.

3. This model is multi domain, meaning that you don't just need rules for one domain, but rules for multiple domains and interactions between those domains. Considering Amazon's hefty amount of data, it's much more efficient to learn these represntations though a machine learning model rather than constantly playing cat-and-mouse with keeping your hand crafted rules.
I could not be less interested in any debate on an HN thread than I am in the one about whether injustices were done to "Sargon of Akkad" and Justice Kavanaugh.

People who shun white supremacists are not morally equivalent to white supremacists.
Runtime Analysis of the M-to-N Schedulling Model (1996) [pdf]
to back this up, read the expose in the economist this week about family offices and how they all divesting from hedgefunds because the fees are ridiculous and they are doing no better than the S&P, usually worse when you take into account the onerous fees those mgrs are charging.
My decision is real simple... Microsoft has one thing most of those stacks don't: Longevity.
You can knock C# as being "old" and not as "shiny" as Node/React/ReactNative/Angular/etc... but C# has been stable for a long time and it isn't going anywhere.

JavaScript has been around longer than C#.

But if you want to compare how long framework of the week has been around, Microsoft frameworks have been anything but stable - Linq2Sql, Webforms, WCF, Windows Forms have all but been abandoned and the .Net Core versions of WebApi, MVC, and EF are mostly different from their older versions.

But seriously... I have more faith that Microsoft will be consistent and supportive of technology than Google or Apple

There is this story of VB6 and Classic ASP...

And all of the abandoned mobile efforts. MS abandoned Windows CE/Windows Mobile in 2008 when there were still millions of devices running specialized vertical market apps using it.

I don't know if that would change with C#, C++ or JavaScript - you are bound to hit a ceiling as a "developer" unless you move into engineering/architecture/management/bullshit (but I repeat myself)

Well, 10 years later, I can’t find any C/C+* jobs in my local market making $60K+ more what I was making back then. Honestly there aren’t too many C# jobs that are making 60K+ what I was making back then in my local market. I was able to negotiate a slightly higher than median salary because of my architect/Devops/AWS skills. There were plenty of jobs for the JS/Node/React/Docker skillset making what I make now - but I wasn’t qualified for them.

The ceiling for .Net developers is lower than that of the Javascript $cool_kids_stack.

But yes, it’s all about knowing where to jump on and off the hype cycle.

The larger companies where C# is more popular aren’t as willing to throw money at developers and honestly they don’t have to. C# developers are a dime a dozen.
Free CCNA Training Course
This site is a goldmine: https://fsharpforfunandprofit.com/
It can't differentiate between whether a comma is missing or a paren. This isn't a runtime error so in order for the program to run it would have to generate all possible permutations of what you could have run with corrected syntax and then output values from the multiple programs. That's not really how programming languages are supposed to work.
>Calling someone using Blue Apron a cook is like calling someone doing a "paint by numbers" a painter

>I'm not trying to be a cooking snob

Yes, yes you are trying to be a cooking snob. If you had said "someone who uses Blue Apron is not a chef" you'd have a point, but then again no one ever said that. Someone who cooks is a cook. Someone who paints is a painter. There is a big difference between cook vs chef and painter vs artist.

Blue Apron is not McDonalds, they don't make your food for you. They give you a recipe and the raw ingredients, same as finding a recipe online and buying the raw ingredients from the store. And then you cook it. As any normal cook would do.
Cargo[1]. REPL[2].

[1]: https://ardalis.com/how-to-add-a-nuget-package-using-dotnet-...
[2]: https://docs.microsoft.com/en-us/dotnet/fsharp/tutorials/fsh...
Because debt is counted multiple times. If Company A loans a dollar to Company B, which loans it to Person C, that's $2 of debt but only $1.
> I recall the moment’s emotion: I felt I was performing a good deed, being helpfully clear and honest,

I know this emotion well - it has led me to any number of problems. Some cases where in retrospect I was being a self-indulgent jerk ("What did you think of my performance/presentation/etc?") and some cases where I still feel I was not being harsh but was pointing out valid and relevant concerns, but from both I've learned to distrust this emotion. Perhaps saying what I think is good, perhaps not, but it should never feel _good_ to criticize.
You are probably thinking of ‘F*’
Well with a good build cache, CI can do things like incremental compiles too. You can even put the cache on the network and have most of your CI use incremental compiles.
Residual Policy Learning
Author names: https://en.wikipedia.org/wiki/Introduction_to_Algorithms
You are free to negotiate the reasons in your contract.
I personally do not think python is more readable than other langs.

Making a language more Englishy, does not make that language more readable.

I still have to learn what the hell the syntax is trying to express except the English makes it more verbose.
I'm not sure if you think you're correcting me, but it sounds like you think you've got it all figured out.

Java calls them "primitive types", btw.
The thing I’ve always liked about him, is he actually did bet the farm when he could have had a very easy life. Not sure I could have done it.
That was not the point of what I said at all. It Could interpret the vocal cues, yes. As far as I know this is still not a solved problem for speech to text, and results going the other way and trying to guess punctuation is still more reliable.

Back to what I really was getting at: I'm pretty sure the person I replied to was suggesting Alexa could just split(',') and call it a day. With text, yes. With voices this would be irritatingly unreliable. Everyone talks differently and sometimes people stumble weirdly. I am certain humans use a mix of vocal cues and interpretation to place the commas in their heads.
No stats on whether anyone was caught or prosecuted, and I guess that’s because nobody was.
You can pay to remove videos of you off the platform, revenge porn site style.
I made my first donation to Wikipedia this year. Now that you got me thinking about it, I should donate to Internet Archive (archive.org), too. I just went to archive.org right now and they apparently have a fundraiser going. Somehow, donations are being matched 2-to-1 so a $5 donation results in them receiving $15. It doesn't say who's providing the other $10, but it seems like a good time to help the Internet Archive.
This reminds me of Leadership BS by Jeffrey Pfeffer. [1]
And he gave a talk at Google about his book [2]

[1]: https://www.amazon.com/Leadership-BS-Fixing-Workplaces-Caree...

[2]: https://www.youtube.com/watch?v=pFXcqSUi3EI
No because the issues are not just Facebook issues or technical issues. What is happening involves society as a whole.

And society does not have perfect systems and even known solutions in place to handle this stuff.

There are deep sociological and psychological issues that have been uncovered over the last couple years, that have always existed beneath the surface in society. At a time of hyperconnection, if it wasn't Facebook surfacing them, it would have been YouTube or Twitter or Reddit or whoever else. I am not saying grave errors haven't been made and the future does look scary.

But now that the issues (from fakenews, to terror recruiting, to child abuse, to identity theft etc etc etc) have surfaced in a manner that cannot just be wished away, who else out there has the skills to do something about this stuff?

There is seriously no one out there, besides the Chinese govt with experience handling/understanding data flows at this scale. The expertise being built up in Facebook is going to be fundamental in addressing and eventually finding solutions to these problems. I have no doubt about that. Nobody else is seeing the data we are seeing. It's going to be a hard couple years ahead, with lot of turmoil, but we have a much better idea about what the issues are and therefore solutions are more likely to be found not less.

Read Walt Mossberg's own columns after Obama got elected in 2008 about the promise of social media. That hasn't changed. My mother has cancer and her biggest support system day to day is a group on Facebook. So I know personally what value a well functioning social network can create. How it can contribute to well being. The good stuff happening is not going away.
Eh what? I can eat out at a restaurant for like $15 with tax and tip, and the packed food usually lasts me an additional meal. I avoid pricey restaurants though.
His “soft touch” was actually the touch of death. Sometimes in those moments there’s a feeling that something is seriously off.

I think that was such a moment.
Are we comparing this to what Alexa is doing or not?
I've watched this video several times. There is a red car clearly present in the intersection when the Waymo begins forward motion. That car partially occludes (and is a potential obstacle) for anything that's off to the left of the camera; it also is simply a dynamic obstacle in the intersection. The Waymo can certainly detect and predict if cross-traffic is going to roll through the intersection. But the Waymo started launching right when the light turned green... even though there's a car in the intersection at that time.

I agree this is a bad example due to the camera angle, but there's enough evidence to show that the Waymo failed to correctly predict traffic here. And it executed a safety stop (which could have caused a rear-ender) as a result.

Occluders are still really hard for SDCs. Humans can usually handle them well though. Handling occluders properly requires a very strong prediction system.
Checking if an input is empty with CSS
While I'd never condone being rude, combative, or unnecessarily offensive, I think there's a time and a place to make waves.

And while the person doing so often personally suffers the consequences, it is a healthy signal to an organization that those opinions could be shared by others.

If nobody ever heard anything counter to the group-think, the organization itself would very quickly become stuck by momentum.
Basic is much easier for a complete novice to get into.
This looks interesting. Curious what the pricing is? I don't see it on the website.
No, it's the Intercept that invented its own conclusion from out-of-context quotes from an interview with a disgruntled ex-employee. The only substance from that interview was that Google was being less open than they usually were. Zunger had a political objection, which was outside the scope of his field of work, and leadership dismissed it as unimportant. Zunger deemed this unfair. The Intercept chose to interpret that as Dragonfly completely bypassing security and privacy, which other Googlers on that team claim never happened.
That’s demonsratably a bad idea when it comes to exercise and likely most other things in life. Limits are not binary, you are causing harm when you approach them. Going over just means the injury is more noticeable.

What’s really interesting is if you study the absolute top athletes is they treat down time as both nessisary and productive.

Absolute peak performance is simply not sustainable, you need to adjust to a huge range of tradeoffs.
My 'sue them' should have almost had a /s on it. It would be pointless suing someone with little or no assets. Its the only thing you can do, by yourself, within the courts as a private citizen.
> It's kind of silly to spread corporate and government debt across all people.

Well, no more than it is to spread the corporate and have government claims on debt across all people as assets.

Oh, wait, no one does that.
Ha! That’s awesome! Some of the kanji hall-of-famers actually turned out pretty great.
WebAssembly Is Fast: A Real-World Benchmark of WebAssembly vs. ES6
Nothing you've listed here precludes fakery.

> good luck talking random friends to let you bomb their cars and houses with glitter.

Right. Typically you pay an actor to do fake things that a real person would not be on board with.
Code Red: Organizing the tech sector
Note: the REPL doesn't _quite_ work fully cross-platform with .NET Core yet. But the work is ongoing and something we're (fairly) close to releasing. When it's done, you can simply "reference a package" in a script or interactive session, and it will resolve whatever that dependency graph is and let you use it as if you were editing source code in a project in an IDE.
I think the issue is less PR but more labor dispute essentially - the high end having greviances is rarer but it does happen. They can weather being just another evil corporation reputationally - they can't weather mass defections of expensive talent that may decide to go to competitors or go Traitorous Eight on them.

They have a pattern there of being forced to bend since at least the "memo-gate" and although they don't like it the math is clear enough to them. If employees are making money net it is rational to replace them if the alternative could make more money. Willful employees are an annoyance with a relative liability to corporate but their productivity gives them cold rational sway that says "just add it to the employee expenses section if you know what is good for you".

It isn't ideal for everyone - indeed it works because they are outliers. If everyone can do flawless brain surgery it no longer demands a premium no matter how difficult it is. It is in some ways more powerful than traditional labor - they organize because they need the company. Companies can decide to leave and out source to cheaper locales in response. Powerful labor has few equivalent alternatives. I say powerful and not scarce because mere obscurity can be subsituited for - powerful less so. If they could have already they would have. The companies need the high end and they know it. Just look at Hollywood movie budgets to the stars - they can ask for such outrageous sums because the alternative is worse in the current climate.

Of course there is a caveat - if they ever become obsolete they will be dropped quickly due to their leveraging. Things can be very fickle especially with advances that can metaphorically turn weaving from an apprentice-journeyman-master trade to a factory job worked by illiterate women and children.
> This seems like one of those statements that everyone knows but thinks for some reason everyone else doesn't.

It's just virtue signaling (and I don't mean that in a pejorative way). It doesn't matter that everyone knows HR isn't there to protect you. What you're really saying is "I share your beliefs".
>How many CS graduates are there that still want to live in Madison after they graduate?

Since that was literally the subject of the conversation, the obvious answer is "I hope all of them".
My C++ is a bit rusty, but AFAIR `void f(Object& o) { ... }` would allow you to replace the whole object in passed variable (`o = o2`). You can't do this in Java, you can only modify its fields.

It's more like `void f(Object* o) { ... }`
You can do compile-time reflection, which is very popular.
Or you can just fake it for a few months while you find a better position in your company or a new job.
A situation that benefits a small, essentially random group of people while hurting a larger, equally random group is a bad situation overall. You're getting downvoted because your question is both obvious and irrelevant to the point being made.
I don’t like Python, but not for the reasons given.

My dislikes:

- no pipe operator
- no type checker (something Flow would do)
- over dependence on whitespace syntax
The irony is that that's where I found this article in the first place.
Proudfeet!
I feel like it used to be this way, but in tech these days it seems the rule is speak your mind. If you get fired for ruffling feathers and are at least halfway competent, there are plenty of companies willing to scoop you up and pay you more money to do something more aligned to what you want.
Although you should have probably just that done in the first place, without the feather ruffling.
> Given his pedigree...

Novogratz is a fun character and a good fundraiser, but he doesn't have a
pedigree as an investor. He became famous (and a billionaire) by taking Fortress public. Under his watch, it then went from $35 to down below $2. After he was demoted, he ran a macro fund there which performed awfully and, in 2015, it was shutdown and he was forced into "retirement".
You understand why shooting someone is controversial, but you don't understand why recklessly causing someone to go blind is controversial?
From reading the article it is pretty clear that the decision to let him go was already made months before. So what's the point?

An exec that cannot deal with (polite) disagreement is probably on the way downwards already himself. Of course you might hit a sensible spot with honesty by chance but even then it is hard to justify an otherwise successful employee.
His firing led to Be OS!

That was the the prime example of the better tech losing. I know most of us know about it but to actually use it was totally different. I couldn't get a low resolution video to play but on Be OS I could have 12 high resolution videos play at the same time move them around and if I unplug my computer I can boot up and the videos would all start back up right where they left off.
This isn't something new... After having property stolen a few times in the US it's apparent that the police are not there to assist with petty crime _at all_. Even when there's video footage/evidence to be reviewed they can't/won't be bothered and will likely just send a LEO out to fill out a police report for the formalities.

The police are a business and if there's not money to be had (traffic citations, parking tickets, etc.), or violent crime happening, you are the lowest possible priority. Source: personal experience + have worked with a couple of police depts many years back (not as a LEO). The only exception here is if you're a reasonable sized business - they tend to take cases like retail/corporate break-in seriously.

TLDR: Agree. People wouldn't do this if there were a real legal cost.
It's very obvious from the comments that no one is reading the article, and is just responding to the previous, crappier headline.