skysight-inc/HackerNews huggingface dataset:
Sorbet has two components, broadly speaking: the typechecker, which is a standalone application, and the runtime, which is a Ruby gem. The typechecker can parse Ruby code and find the sig blocks in the code to extract type information from them, and it then can use this type information to perform type-checking without ever loading a Ruby interpreter, to say nothing of the actual Ruby code in question. This is intended to happen in a CI pass or a pre-processing step, but it is entirely offline.

On the other hand, when you run your code, the sig blocks may or may not be used. There's a lot of machinery in https://github.com/sorbet/sorbet/blob/master/gems/sorbet-run... that handles understanding what a sig means and installing a wrapped version of a method that does type-checking on entry and exit. The intention is that the standalone sorbet executable should be used during development, but it can't catch every error, so the runtime system will double-check types at runtime, which is especially helpful when some parts of your code are typed and other parts are untyped, and control flow passes back and forth between those sections: the runtime will ensure that you don't accidentally pass an object with an unintended runtime type into code with static type expectations.
That’s because HN culture isn’t to use real names or post too much in your description. Hell thats the only public thing you get. One description box. HN not using real names means nothing. They essentially and culturally have pushed that through.
Isn't Julia optionally dynamically typed, not optionally statically typed?
When people say to me eventually computers will program themselves and I’ll be out of a job, I think that’ll be the least of our worries, as humans will become redundant.
Concentration of wealth won't cause a lack of buyers for stocks. The wealth is still there, the very wealthy will just buy more stock. The value of a stock stacks in a way that the value of additional giant houses doesn't.

(Being able to buy ownership of a business, via stock or other means, is why wealth is concentrating in the first place.)
AngularJS/Angular split community still have this problem, although less so this year than last.
This change is large enough that’ll be looking at the alternatives after more than two years of defaulting to vue, I mean I may still pick vue but I’ll be looking now where before I wouldn’t have.

Change isn’t a bad thing but nor is change for changes sake.
Switch away from Python? use PyPy?
Hours in front of screen are perhaps the easiest metric to check up on workers. Unfortunately, it's also not well correlated to productivity! Lazy managing, for sure.

Personally, I'm pessimistic that any metric about productivity can be useful in the long term, but I recognize that in this reality, there WILL be metrics used to judge you. So, what's the best way to handle this? Is there anything an individual contributor can do to guide towards better metrics, or even just the perception of such?
> the root cause to a buggy garbage collector

Or, rather, unsafe access of memory managed by a garbage collector:

> The bug was in a computer program the Gateway uses to translate payment messages between two formats. When the program was operating under load, the system tried to clear memory it believed to be unused (a process known as garbage collection).

>

> But because it was using an unsafe method to access memory, the code ended up reading memory that had already been cleared away, causing it not to know how to translate the date field in payment messages.
Why should they work for Google for free? Google Maps is a business and should pay for the accuracy of its data. Or OP can contribute to OpenstreetMap to the point it will contain enough and accurate data to be a preferred source for this kind of information. It won't automatically solve the problem with scammers, but with several users policing the accuracy of the data, instead of only Google being the gatekeeper, several solutions become possible. For instance, the Wikipedia model.
This is just an anecdote, but I've alerted Google to a particular mistake in Maps multiple times and it's never been fixed.

A light rail station in Portland is accessed from the bridge above it, but Google Maps is unaware that they're connected. Because of that Maps leaves it out of directions; commuting options are completely incorrect. If you manually select it as a destination it will give you ludicrous directions like this: https://goo.gl/maps/XYTZwNiRkipzNHse9

Stranger still, the northbound side of the same station connects just fine.
> Seems very interesting (more interesting to me than Rust)

My sentiments as well.

> I think it's too opinionated to gain much attention in this climate

Possibly. Rust is pretty opinionated but it seems to be doing well. My feeling is that Pony's probably not going to "win" (i.e. be the main replacement for C/C++) but I'm hoping that, like Erlang, it's able to carve out a stable enough niche.
Red Hat's last quarterly report?
I've been following the Vue + TypeScript progress on and off for the past couple years (ever since I converted a React project to Vue and threw out TS in the process, since it was just so fundamentally incompatible with Vue's APIs). This is a pretty wild change compared to the now-abandoned class proposal, and I'm somewhat bummed by it, but I'll admit that's mostly due to my continued skepticism of hooks (as someone who hasn't yet adopted them in my React projects, either).

This will require one hell of a migration path to support and I imagine lots of people will be on that "Compatibility Build" for a long time. I'm very, very curious whether folks who have large-scale Vue apps have had a look at this proposal, and if they've had any input on it.
I don't want to have to remember the properties of every object, or the arguments to every function, or a myriad of other things. I could be using that time and energy to work on other things that are more important.
Home businesses are annoying, yeah. The vast majority of them aren't open to the public, so there's no reason for them to appear on a map.
Would it still be called a market order if you were denominating the order in dollars-converted-at-moment-of-sale? I.e. "buy however many shares I would get for $500, I don't care how many or few that is at the time." That seems more useful, and still caps your losses, while offering something limit orders don't.
I think it requires reaction rather than prediction.
Not going to analyze your apparent state of mind, but: many people find mansions built centuries ago by incredibly wealthy people fascinating, beautiful, desirable. Who cares if they are dead, they left pieces of art. If anything, the lack of taste and craftsmanship is a problem with today’s “McMansions”, not their size or depressed Millennials’ lack of imagination.
Is there a discussion anywhere on how it's legal to publish these copyrighted photos without permission of the author?
This example hurts the case, it doesn't help. Windows deployment, especially of C/C++ apps, is indeed a problem. And for decades it was absolutely routine that random windows binaries turn out to be subject to attacks against libraries like zlib or libjpeg which had been long since patched in linux distributions but lived on statically in exploitable blobs.

Things have in fact gotten much better over the past years, though. Largely because developers (even of games) have moved away from this architecture and onto managed runtimes like Java and .NET where the runtime and system provide cleaner separation of dependencies and don't require the "static all the time" nonsense that was the norm since the beginning of PCs.
Transportation time/costs. Supers work because they are in the building (generally), and can respond quickly and be efficient in handling multiple simultaneous issues.

What you describe does exist, it's called property management, and they generally take some %age of your rent.
Potentially dangerous hobby. What if one of those CDs had child porn on it and it was in a stack he didn't look at/index. Then some Police have a warrant for something unrelated, find the CDs and charge him.

Possession of such material is a strict liability crime. Intent doesn't matter, nor even knowledge that you have the material. That's what happened in the case of Paul Reubens (Pee Wee Herman).
And nothing new changes.
Frontend webdev is musical chairs.

This is not engineering, its marketing
Multilingual typesetting on Overleaf using polyglossia and fontspec
Svelte?
Pokémon Go was mostly fine. I didn’t play it beyond a few months. Nor did most people I know.
But if you're going to have 1 machine, you need to build it big enough to get enough flow for recovery. And once you install that hosepipe, why bother changing.

The amount of flow needed to only sustain someone that hasn't been severely deoxygenated must be a lot less.

A smaller system might be able to initially infuse an oxygen-carrying booster (as Tour de France cyclists do) to get away with lower flow rates.
What??? I'm from Cupertino. Haven't been back in ages but I had no idea this was going on. Do you have a source? not that I don't believe you, but I would be interested in learning more.
Hopefully the key is there with it.
Julia's type system works to make the language more dynamic instead of more static, instead of one slow program in which types have to be checked at runtime a Julia program is a superposition of every optimized implementation of an algorithm and explicit types are used to access and manipulate a subgroup of implementations. So in general you don't use types to increase performance (the compiler already infers all types to generate fast code, including optimized union types for nullable fields for example), but when you want to restrict the polymorphism to work in more specific code.

But since the JIT compiler infers all types, regardless of explicit hinting, it's possible to create tools to evaluate all types before a function is called [1], which combined with the efforts in better precompiling the code (which increases the amount of code that will have the type inferred before running) could make some good tooling for compile time checking.

[1] https://nextjournal.com/jbieler/adding-static-type-checking-...
Finding photos on a CD that you bought at a house clearance sale does not magically transfer their copyright to you and give you the right to publish them in the media.
On the contrary, I think its existence suppresses other business models, by being somewhat more efficient (at concentrating money, that is).

The coupling of a scummy ad business model with incredibly large caches of personal data turns out to provide a huge moat against both direct (ad space) and indirect (other business models providing services) competitors, by allowing slightly more effective ads (counters direct competitors) and extra convenience to users (suppresses other business models) while also being "free" (again, suppresses other business models).
Given that authorship is unknown, this comment seems overly pedantic.
For what it is worth, the capitalization was correct when I submitted it.
Only reference-counting actually stops dlclose() from unmapping the library, and that just means you haven't balanced out all the dlopens() (well, you can't unmap anything linked from the main executable, or anything in the dyld shared cache either, but those aren't particularly interesting cases). It's generally a really bad idea to unload a bundle containing Obj-C classes, but it's still doable if you can guarantee all instances of classes defined in that bundle have been deallocated (I'm not sure what happens to category methods, I hope the runtime properly removes those, but it's possible those would also cause a problem if invoked later). I assume the issue with Swift classes is identical to the issue with Obj-C classes.

In any case, image unloading is traditionally done with C libraries, not with Obj-C/Swift, and we're talking about a C function (atexit).

As for making it a no-op, they said only on platforms other than macOS, which is fine because the other platforms (iOS, watchOS, tvOS) are sufficiently constrained that there really is no reason to ever dlclose() anyway (there's barely even any reason to dlopen() besides trying to poke at Apple SPIs; I think sqlite will dlopen to load extensions, but that's about the only valid reason that comes to mind).
When you have multiple streams of information, and one goes haywire, you are only ok if you can identify which information is bad and which is fine. I remember reading about an airplane crash in which the pilot had a long time to try to figure things out, but once it was clear an instrument was faulty, other instruments that were reporting correct, but unexpected data were assumed to be faulty too, and eventually it was too late to recover. You can't compensate for bad information unless you have a correct model of the fault.
Only on HN would this be the top comment.
Zoning laws or local regulations (not just HOA) most likely would prevent it. An example is in Seattle some of the most expensive neighborhoods have strict rules that prevent multi-tenancy housing and the people living there actively fight to preserve that.
Looks like the list of supported activities is say that Alexa does today. Business model seems to be the same as well.
I've got a positive opinion of Apple Maps, and would preferentially use it (I'd even pay a subscription fee for it) if it were available on Android. I can't use iPhones for various reasons.
The best part of this whole thing has been the airlines being forced to pull some older 787-800s off the bench for main route duty. They have so much more leg room in the old seat configuration.

We had one trip where the window seat was able to get out without the other two leaving the row, in economy! (There was a lot of rubbing, but it was possible)
I like the windows-95 interface joke and I guess your other half is also against that lib
I too, bought mine in early 2015. It says it's not eligible.

> September 2015 and February 2017

Which isn't early 2015 - that's how I saw it.
It is really hard to make a financial argument for the value of a stock that makes no profits and is has a low to negative book value. Clearly there are valuable companies in this category such as Amazon and Facebook early in their days as public companies. But trying to figure out what they might be worth someday is an exercise in predicting what the future of the world might be. It is not like making a calculation on the back of an envelope.

So to the OP, yeah I totally agree. It's fascinating.
A lot can change in three years. Firefox has been back on pwn2own for a couple of years now.
Conway's law. organizations which design systems ... are constrained to produce designs which are copies of the communication structures of these organizations. The law is based on the reasoning that in order for a software module to function, multiple authors must communicate frequently with each other.

[0] https://en.wikipedia.org/wiki/Conway%27s_law
Scope creep. It's really hard to say "no" to feature requests, especially if hundreds of people give it thumbs up, but it's a necessity if you want to keep your project from bloating over time.
Tahrir Square in 2011 was the high water mark for a lot of tech. It was the time when we all thought that SV really really was going to change the world for the better this time, no for real reals.

After the Arab spring turned into winter, a lot of the air went out of the tech balloon. It never was really the same. Cynicism crept in along with the MBAs and the Generals.
Check out this documentary on Boeing's sketchy manufacturing & QA process back in the days of the 787 release. It seems that the company has been toxic for a while now.

https://youtu.be/rvkEpstd9os
Might as well do the heart too, while you're there. And maybe add an SSD and some WiFi. And maybe a beefy arm.

Just whatever you do, make sure they did ask for it.
So I haven't found any of the common measures of intelligence (self-reported IQ, presence in honors/accelerated programs in school, "seems to learn new concepts quickly," etc.) to be indicative of anything particularly useful in a work environment. So how are you measuring intelligence to make these sorts of statements?

I ask because reading your comment leaves me with the impression that there's some conflation between intelligence & empathy + humility going on.
That was actually what I was suggesting, though apparently poorly.

The techlash is well deserved and long overdue. WSJ and NYT are about as polar opposite as mainstream newspapers can get[1], both are exceedingly critical of at least Google, Facebook, and Twitter, if not all of FAANG and Silicon Valley.

Not that Murdoch may not have his own specific axe to grind, and not to discount the spite that many traditional media publishers have over loss of ads revenues.

________________________________

Notes:

1. I'm not saying they're extremes of the spectrum. But within the mainstream they tend to define at least mainstream scope. And TV, radio, and online are a whole 'nother story.
[Edit to add: I'm going to assume he's still in contact with the family from some of his twitter comments, and that they'll benefit from any money made from this. So they own the copyright and they'll benefit from any money made here.]

Maybe. There's historical significance here for sure.

But the author is not unknown. Jason Scott says "he's dead" so the author is known to be dead. And copyright just doesn't evaporate when you're dead. His heirs own the copyright.

And he's also discussing having people contact him for "reproduction rights". He doesn't own the rights. Am I wrong? IANAL.

Interesting cache of photos though.
Announcing Astronomer v0.9, a Platform to Run Apache Airflow on Kubernetes
Oh, thanks, missed that. That could explain why I got the notice. Yes, it was April.
I wonder what their legal status would be if the photo's owners were not contactable or identifiable? In the article, it said

"Dr Burgess said he and Mr Scott had so far been unsuccessful in tracking down the photographer or any relatives."
Apple didn’t “delete Google Maps” when Apple maps came out.

The Maps app was written by Apple from day one. It used Google’s data. Google wouldn’t allow Apple to do turn by turn directions without Apple giving Google more user data. Apple had to either find other sources for map data or give up user privacy.
Someone should come up with a model for younger people to sell to medicine/an insurance and lease back their body. It would be taken care of much better, it’s such a hassle after all to own something and be responsible...
"Want a home theatre with a big subwoofer so you can watch movies at home (one of my favorites). Nope, not unless you want some angry neighbors."

How is that buy vs rent? Sounds like just house vs apartment?
I'd like to point out that Threadripper using Ryzen 3 has not been confirmed or denied by AMD. The only dribble of information we have is Threadripper was officially removed from the roadmaps and anonymous sources saying it will still be released. The primary source for our Threadripper dreams says as much: https://wccftech.com/exclusive-amd-is-working-on-a-monster-6...

It'd be stupid for AMD to not release another generation of Threadripper with up to 64 cores, but we don't know anything for sure just yet except what has been detailed about the consumer Ryzen and the server EPYC.
If that's the narrative, then they didn't do it because they wanted to help Apple, they did it to help themselves (and helping Apple is simply a byproduct of that). Either way, it's a big stretch to blame Apple for Google helping themselves.
Churn in the JavaScript ecosystem you say? What what tally ho pip pip!
The Chalk Market: Where Mathematicians Go to Get the Good Stuf
I think about this a lot, as someone who loves Ruby and loves Rust. I think it’s because we do a bad job of looking at the total costs. It feels like you can knock something out really quickly in Ruby. And in some sense, you can! But the time you spend debugging later doesn’t get factored into the way that it feels when you’re just cranking out features.
The sad reality today is that a truly plain text email looks "phishy" to most end users today, as the result of 15+ years of facny HTML mails.
You expect the FTC to care about consumers?
I’m curious what it means for people using single page components and how the default exported module would be structured with the new API. All the examples use the inline template strings.

The primary change seems to just be merging most of the keys/options (data, computed, watchers, etc) of the module into various functions within setup() which itself may require from coding best-practice guidelines since setup() is going to get pretty big.

I’d love to see a largish component converted to be able to compare the two instead of the small examples with one or two functions within it.
FL Studio pka FruityLoops pulled this off
This. I like that the Vue team thinks of ways to improve on the current state of the art and welcome new ideas, but please under a different name. It needs to be succinct enough so that search engines can distinguish the two. Otherwise, there is a big risk of things becoming confusing and frustrating quickly.
I realise we didn't define "safe" before we started, but I didn't just mean memory safety. Agreed that all of your examples would be incorrect, I'd just also term all of them as also unsafe.

An example of something that's incorrect but not unsafe would be, say, an error which would occasionally corrupt random TCP packets causing checksums to fail and the packets to be retransmitted. It's not working how it should, but it's not compromising your system's security or your data's safety (at least I don't think it is).
Really, that Mozilla would let a reported RCE vulnerability simmer for two months until it bit someone would seem to reflect very poorly on their priorities and competence. Can anyone postmortem why it took so long now that it's fixed?
Ryzen 3 is fast on single core and Intel's various bugs have slowed them down. I believe they are now near parity.
"Half-assed" is in the eye of the beholder. If you appoint yourself as the ultimate arbiter of half-assedness then your position becomes unfalsifiable.

But I think you might be surprised at how un-half-assed these things can be.
My buddy has a phrase: “high tolerance for complexity” ... kind of a bad smart.
That universalism leads to less social stratification is essentially the idea behind the social democratic welfare state.

https://en.wikipedia.org/wiki/Welfare_state#Three_worlds_of_...
That is, unfortunately, true. Death of the owner still puts the rights on the estate receivership. Unlikely to be connected, but legally pertinent.
Yes, of course.

But you start getting into monopsony then. The people that you sell to are hyper rich and may pay a fair price, but there are a lot less people overall and their tastes aren't distributed like the general population. It's not the same market at all.
Web Assembly will maybe change everything.
We only use it at build time, as for a user, it should be invisible for you
The price to protect coastal communities from rising seas
I might be totally and completely wrong, but changing everything does not help anyone except scratch the itch of the framework's designers.

I'm pretty sure this is all with the best intentions, but this would be a disaster similar to how Angular suddenly changed everything.

Not against change, but the API is fine. Just iterate and evolve it.

disclaimer: Big fan of Vue, early user and conference attender..
Similar, when you are using a tool to generate something unique for logon why does it have to be long? 4 characters should be plenty if you do not reuse it.
Man, this is quite a bummer. It’s basically a new framework to learn.

Edit: Might as well give it a completely new name.
Yes that's annoying. It looks like JS will be getting the pipe operator soon. But Ocaml didn't have to wait around for it, since they can define operators in code.