skysight-inc/HackerNews huggingface dataset:
It is very clearly shown through people's experience when sharing a building with short-term renters, especially in desirable parts of cities.
What does anything have to do with anything?
OpenSource Project PDF Archiver
Would you accept the same logic for the software in a car? I don't think it would be acceptable if e.g. Tesla, a company that relies heavily on software in the car, would stop fixing security (and safety) issues after three or even five years after you bought the car. Like the phone, you can still use it, but it might just not be safe anymore to do so. To prevent this problem and the waste of resources that goes with it, it would even be okay for me to have laws that sanctions abandoning software like this.
> The byte order of the computer doesn't matter much at all except to compiler writers and the like

This statement is to generic to mean anything helpful.

I think the point our friend Rob Pike is making is that you could write general purpose code which accomplishes the task, and on a sufficiently advanced compiler, the swap may be eliminated where applicable; but when the point is made this way, it surely just pisses off people who know better.

C programmers are not (quite) children, you don't need to eradicate nuance to keep people reading.
The rather less strongly titled "Systemd-networkd memory corruption" pointing to the much more detailed Ubuntu bug has also been on Hacker News for a day.

* https://news.ycombinator.com/item?id=18303613
Hubble is back
I can add arbitrary numbers of parens to your code too. I fail to see the point.
This article is bizarre. Firstly, the author states the problem that data can propagate and suffer loss/mutation over time. He then cites types (which absolutely do solve this problem), but then dismisses them saying:

> Adding types to our example doesn’t solve the underlying problem. It improves trust within the code base by helping to ensure that data is used consistently, but it says nothing about data received from the outside world.

But anyone who's used type-based programming knows this is nonsense if you simply write a typed parser (of particular interest to gradually-typed Javascript is packrat-style parsers). Then, your code needs to specify what it wants and what its policy is if it doesn't get it.

But if the author was imagining that compile time integrity and correctness checks could EVER perform runtime checks... well... they're not even wrong they're misunderstanding the function so badly.

The author then proposes out of left-field:

> But it’s like plugging holes in a leaky ship. The problem isn’t just that you can’t trust the types in your system, but that you think you can. You rely on the types to tell you when a change breaks something, but because they were quietly disabled by an any type, or by use of a library, or by a soundness issue, it doesn’t. Types in JavaScript are different from types in most other languages people use: They can’t be trusted in the same way.

Which is both true and useless. Yes, it's true that type circumvention methods exist, and you never really can know if you're calling into a library that circumvents your type constraints unless you read the code. But yes, that's useless because nearly every typed language also has this mis/feature, including OCaml, Haskell, C++17 and even Rust! So the author is not actually giving a real recommendation or even novel insight.

And then we get the final substantive giving us arguments that the author has themselves just discredited:

> Or you change the game and just use PureScript. Or ReasonML, or Elm, or even ClojureScript. These exist today. Production software runs on them. They work with the JavaScript ecosystem, where necessary. And they provide a higher base level of trust in the code that you write and an environment where immutability, functional programming, and types (where applicable) work well and work together.

Firstly, I've written a fair amount of Purescrpt and we call into unsafe code ALL THE TIME for the sake of expediency in Purescript. To even pretend otherwise is just... either it's willful lying or someone who has barely interacted with the Purescript ecosystem in any production fashion.

If you use a dependency and don't vet it somewhat (or at least trust a crowd to vet it as a minimal effort) then you're in for a bad time. Pretending otherwise, or that this is a unique flaw of Javascript, is just wrong.

And if you disagree with that, then I have a challenge for you. I propose to you that you can substitute ANY language and runtime's type and GC as "types" and "assembly" as underlying javascript and not change any underlying axiom presented in this article.
I am starting to think this guy’s successful marketing strategy is getting articles about his marketing failures to the front page of HN.
Ha, that's a funny scan! I have a paper copy of that memo someplace.

Yeah, I might be misremembering.
> - Instead of network byte order, buf[offset] + buf[offset+1] * 256 .

And you got it wrong. Shows that there is no silver bullet.
All good points, but I'm having a hard time with this statement:

"There is still value in a function declaring that its argument is of type User (and not defensively checking it) even if it is theoretically possible, in the presence of a bug, though unlikely, that the argument is not really a User."

I'm trying to think of a statically-typed language that would allow such a thing, and I can't, so I assume that you're referring to TypeScript here where you have a world where things are "partially-typed" ?
U.S. Labor Markets Aren’t Truly Free
It's Bistro Elan which moved to Birch St. No big secret, but they have only a few tables.
And what does he have to fear from a Twitter mob, exactly—people who don’t matter to his business on a service he basically never uses?
Partial discussion: https://news.ycombinator.com/item?id=18307077
The long term solution is to burn down x86 and C and start over with sane hardware, which has bounds checking in hardware.
It's not a horror story. It's a guy who has spend many years betting that he can build a business in candy arbitrage by assuming that basic economies of scale aren't relevant, but finding that almost no no wants to spend money ship a single box of candy from Japan.
July 11, 1988 — "Digitalk to Ship Mac Version of Smalltalk: … will run on Mac Plus, Mac SE, or Mac II and will require 1 megabyte of memory."

https://books.google.com/books?id=5T4EAAAAMBAJ&pg=PA3

> I suppose it should really have had a chance by the Java era …

pdf "Ubiquitous Applications: Embedded Systems to Mainframes"

http://www.davethomas.net/papers/ubiquitous1995.pdf
It's in TFA
The article (which says in 2016 Zerodium offered up to $1.5 million for an iOS zero day and only $200 for android) seems to have a typo. The source it links to [1] quotes $1.5 million for iOS and $200,000 for Android, which makes more intuitive sense.

Going to Zerodium itself [2] shows the same (in their rather weird little chart[3] at the bottom): They’ll pay up to $1.5million for a zero-click iOS remote jailbreak, and $200,000 for an Android Chrome RCE with sandbox escape.

[1] https://arstechnica.com/information-technology/2016/09/1-5-m...

[2] https://zerodium.com/program.html

[3] https://zerodium.com/images/zerodium_prices_mobiles.png
The generalized form of the "Periodic Table" is the Morphological Analysis. http://www.swemorph.com/ma.html

Most of the theoretical work is in picking the right properties that expose the right trade-offs. Beyond that, the method is deceptively simple.
People used to burn mostly wood for energy, then coal, then oil. Each material has more energy per carbon molecule than the last. Natural gas releases still more energy per carbon molecule, and nuclear fission is a different paradigm that doesn't emit carbon at all during power generation. Neither of the last two has come close to reaching its full potential as an energy source.

The US met the goals in the Paris Agreement this year, mostly by using domestic natural gas. This kind of progress is not going to stop because everyone wants to go back to being covered in coal soot. We'll probably be using mostly carbon-free energy sources by the end of the century.

Or, people might try so desperately to claim the power to "save the world" that a war breaks out and we go back to burning wood for survival.
>The left certainly seems to be a lot more "with us or against us" than they used to.

Actually, that has been a defining characteristic of the Left since there was a Left. From the Jacobin reign of terror to Stalin...
> Don't have much skin in this argument

Do you expect to live another 20+ years? Do you have children or young people you care about? If so, I think you have plenty of skin in the game.
the rant doesn't establish how the presence of an art style results in the "infantilization" of users.
Of course they aren't. What do you think minimum wage and licensing laws do?
Why do you wear a suit? And what gave you the impression that adult means wearing a suit? Children wear suits, too.

A suit is the same as these cutest decorations in these apps -- an elevation of a certain "look" over functionality and utility, in hopes that people will overlook your flaws in substance because of the way you look.
A huge factor is what your used to. If you regularly consume sweet things you get used to that flavor and stuff tastes bland without it.

On the other hand, if you eat a rather bland diet you start noticing many starches taste sweet as your saliva breaks them down.
Funny, you could say the same thing about the Right.
I'm pretty sure we would never have met as I was on the research staff and only went to conferences like POPL and AAAI/IJCAI.

I agree about Jupiter notebooks; the funny thing is on some HN discussion of them I commented that perhaps their popularity might mean we were back on a path towards lispm kinds of environments -- and the comment was downvoted to oblivion. Hilarious!
Allergen labelling is a huge blessing to anyone with serious allergies. Yes, labeling A Package of Allergens with 'Contains Allergen' might feel weird, but it's critical for non-obvious ingredients and contaminants.
+1 right on! I have some experience with Simula 67 (in the mid 1970s, as a young programmer I was tasked with converting a large Simula application to FORTRAN. After building up FORTAN from the bottom, it was easy enough to do, but it was painful to convert something elegant to an uglier form just so it would run on our in house computer).

I totally missed the significance of Simula before your comment.
Then use the salty water to clean the humans. The circle of life!
If you agree, why don't you think of yourself as an activist?
He was radicalized.
This isn't all that surprising. Almost 10 years ago Reed literally published all these tenants in a culture presentation that made the rounds in SV. It very much mentions keeper test.
https://www.slideshare.net/mobile/reed2001

Now what is interesting are the anecdotes about how it impacts people. People often feel motivated by fear, and sometimes feel shamed, etc.
It's all about the merchandising. Or "Moichandising" if you're a short gold dude in a robe.
I suspect the problem is that the app does need some kind of visual style, but the biz and engineer people aren't artists, so they have to hire an artist, and the art world is overrun by the "CalArts" style garbage.
For the record you only mentioned ethnic cleansing in your original comment and nothing about cultural genocide until now. Let me be really clear - what they’re doing is both wrong & terrible - I don’t disagree with anyone on that, but specific words mean something. This is HN and not reddit. Ethnic cleansing is not the same thing as cultural or reverse genocide. Ethnic cleansing is much worse and it involves stuff like gas chambers instead of re-education camps. Don’t mistake my attempt at providing more info about the subject as condoning it.

Also I think you mixed up my comment with someone else’s. I did not mention either Hu or Xi
hmm, from what I have seen, $400k is usually their de-facto salary that gets junior folks (L4/E4) from F/G to make their top of market and move to NFLX. Beyond that, do you know how the comp progression is?
By who?
I live in a city near Silicon Beach of Southern California. My family lives in a 10 unit apartment complex, all 3 bedrooms. It's extremely hard to find apartment complex with all 3 bedrooms in the city.

Anyhow, when we moved in 5 years ago, 3 were occupied by families. One was occupied by a childless couple. Others were occupied by non-families, aka roommates who were splitting the rent.

Many of the roommate based households come and go more frequently, as a roommate moves out due to new job/school.

Families on the other hand don't move as often due to schooling for kids.

Now when the other 2 families and the couple with no children moved out, all were taken over by roommates based household. This was expected as the rent in the area for 3 bed apartment went from around low $2000 (what we paid when we moved) 5+ years ago to mid $3000 now. You can't expect a family with 2 wage earners plus 2 or 3 kids to pay rent of $3000 or above. But with roommates, $1000 per roommate a month seems reasonable, especially if you will be moving out in 2 - 3 years. With Airbnb, it actually makes financial sense for 2 roommate (or even a single guy) to rent a 3 bed apartment and rent extra rooms via Airbnb.

When the new 'roommate' based house holds moved in, I started noticing people with wheeled luggage show up. Guess what? Two roommate household rents a 3 bed apartment, and then they rent out the 3rd bed on Airbnb or something like it. Single guys would have no issue renting out a room via Airbnb. A family with kids renting out a room in a 3bed apartment via Airbnb? Forget about it.

And by renting out the 3rd bed for just $100/night for 10 days, they already break even. If they rent out the 3rd bedroom at $100 a night for 30 days, it's $3000/month. You are actually making money, not losing money. And since this is in California with less than 30 min drive to the beach, the demand is there. It's a great 'business move'.

And the property owner doesn't care as he can rent out a place for $3000+ a month, instead of $2500 a month.

And the end result is, less rental available for families who can afford it.

Interestingly enough, this past year, an elementary school in the neighborhood closed down a kindergarten class because there are less young families with little kids moving it. Not sure it's a chance event, but I'm sure there isn't an endless supply of young couple who can pay $3000/month rent or take on a mortgage of a million or two.

Airbnb definitely does damage to the diversity of big cities, as in makeup of family versus roommate based households.
This is really well written.
He was apparently into steroids, which would also explain quite a bit. If you’re using anabolic steroids for sports, stop. The gains aren’t worth it.
I am on with the cultural thing.

Maybe some fellow Indians can comment on it, every time I get to do trainings created by an Indian company, they are full of such cutesy drawings and Flash like animations.
It gives examples of drawings that immediately call to mind toddlers' picture books, with simple bright colors and exaggerated facial features.
I've not owned, but I'm interested in the Punkt phones and have followed them for several years. That said, the MP01 adapted an operating system from MediaTek, which I'm pretty certain was Nucleus RTOS:

https://en.wikipedia.org/wiki/Nucleus_RTOS

Their new phone, the MP02, uses a cut down version of Android managed by Blackberry. Ostensibly, Blackberry has produced some secure devices in the past, but it's still Android, which is a large, complicated code base and the there're dozens of comments around here about the insecurities in the Android ecosystem. Now, given how cut down their version of Android is, is it more secure? Possibly, but I don't think Punkt or Blackberry has committed to releasing their source and, even if they did, it's a somewhat niche market, so it's not clear to me that an appropriate, public audit would occur.

I really do like this device and may end up buying one, but I'm not confident that this is the ultimate in secure devices that I'd love to have.

As an aside, it seems like all the 4G feature phones use Android or some derivative. Does anyone know why? I can find non-Android 2G feature phones, but 4G seems universally Android and it's not clear to me why a phone that can't run much for apps needs that.
hmm, I don't think it is pre-tax. May be some NFLX employee can confirm.
I was going to write a sarcastic comment about how great this is for me as a user, but I can’t do it.

How is this not a total violation of users’ expectation of privacy? Why doesn’t the page even mention the ethics of subjecting people to total surveillance to sell them more crap?
ParcPlace Systems was shipping fast, production-grade Smalltalk-80 on the Mac II with JIT compilation (PS and HPS VMs) in 1988. It was certainly faster than cruddy D-machines (other than Dorado of course) and their final Xerox successors.
Ironically, the current US government intervention, at least in rhetoric, is encouraging more coal -- more inefficiency, counter to the free market forces.
> The US met the goals in the Paris Agreement this year, mostly by using domestic natural gas.

It certainly did not. Where did you get that information?
I just read a book on atmospheric remote sensing which had discussion throughout on balloon-based sondes, which are the atmospheric counterpart of ocean drifters.

In the early days of remote sensing, it was thought that these sondes, which are neutrally buoyant and can stay aloft for months, could provide enough data to constrain weather models, especially in the southern hemisphere. And then satellite data with all its calibration problems would not be needed.

It turned out that the sondes tended to drift into certain regions and cluster there, leaving large areas without data. Of course, sondes still play a key role (as do the ocean drifters), but the strategy of just using natural drift to gather data everywhere didn't work.
Show HN: My website looks like it went through a photocopier
In Bolivia, there’s a right to “job stability” in the constitution written in 2008. Supreme Court here interpreted it as “right not to be fired”. There is precedent of people complaining to the ministry of labour asking to be hired again after getting fired and getting away with it. It’s stupid, but it’s a counter example.
"Static typing is just for internal quality."

Frankly, I don't even know what to do with such a statement. What is your definition of "internal" ?

I just did a very large re-factor of a codebase a few days ago where I changed a lot of event handler (method) types in a codebase of around 200K lines of code (Object Pascal). This means that the method signature of every single event handler could have been wrong in some way if I made a mistake, and it would have introduced a pretty egregious, non-internal bug in every case. How would you test such a massive change without replicating every single thing that a static type system and compiler already do for you ?
Google's Apigee API Platform Enhanced with API Monitoring and “Extensions”
Scientific tools such as microscopes are an application of the scientific theories that govern their operation.
... which is what all those people say over and over who don't have the slightest clue how one could possibly build a system that has an "easier or more rewarding jump". It's always just a completely unsubstantiated "it should have been easier" (when nothing about it is actually difficult) and "it should simply have been backwards compatible" (with no word about how this inherent impossibility should have been accomplished).
I work at The Players’ Tribune, leading a small team of engineers, and I never thought I’d see one of our articles on the front page of HN.

Our mission is connecting fans and athletes, and our long-form articles do a great job of that. We’re also exploring how technology can create even deeper connections and more compelling experiences. Would love to hear thoughts on this from the HN crowd.
This reaction is also commonly demonstrated in handheld heat pouches and military MRE heating packs.
Please don't reply to a bad comment by breaking the site guidelines, which only makes this place worse. If someone is wrong, either provide correct information so everyone can learn; or simply don't post. In egregious cases, you can flag the comment (see https://news.ycombinator.com/newsfaq.html).

Edit: you've repeatedly posted uncivil and/or unsubstantive comments. If you keep doing that we're going to have to ban your account. Would you please review https://news.ycombinator.com/newsguidelines.html and follow the rules?
With System76's imminent Thelio release, Talos hints at Blackbird price of 700$
How do you know that progress won’t stop? There’s no market force encouraging lower carbon emissions.

Your statement that wood has less energy for its carbon emissions is highly misleading. It may be technically correct, but since that carbon recently came out of the atmosphere, the net emission is zero. The actual trend, then, is zero carbon emissions, then a lot, then less. That seems rather uninformative when looking at where things would head in the future.
Google Compute Engine New Cloud IAM Features
Same as Amazon. They offer a great resume builder but are notoriously toxic to work at.
I always went to the AAAI/IJCAI conferences back then, and those were where the Xerox 1108 sales team would invite me to do demos. That was so much fun.

I still find Jupiter notebooks painful programming environments, Python kernels at work, Common Lisp + Haskell at home. I should try to be more open minded about Jupyter.
I'm curious; what does your memory hardware and cpu instruction set look like in this scenario? What's the interface between the cpu and memory? (rough idea, not asking for a whitepaper here :) )
How to Pick Your Friends – A Game Theoretic Approach to P2P Overlay Construction
I think the approach he took was too naive. I went to a meetup about "YouTube influencers" a few months ago who explained just this; there are companies whose sole purpose is to "vet" YouTubers and find you the right influencer for your product. They do all the heavy lifting for you, there's one pretty big one here locally called RoosterTeeth (yep they do influencer marketing nowadays amongst other stuff, if you watch h3h3 on YT they worked with him number of times).

The article was interesting nonethelss: the writer was transparent and laying down his assumptions and how they carried out the work AND the process. Executing a thing like this might be trivial but it requires a lot of annoying work, I know this by experience: even for simply sending a t-shirt to a customer (which is a simpler item is a pain).

Nowadays luckily you can send t-shirts or other apparel with a single click directly from the company that produces the item (there are a couple of names out there who will do that).
BUT if you've got custom items or boxes of items (like in this scenario) you have to think about packaging, costs and the "unboxing experience", that last one is critical.

Unboxing experience can make or break the whole video.

I feel bad for the author who did so much work (180 attempts!?!) to get 17 videos and 0 sales and I suggest next time he goes to these specialists if he's really committed in using YT as a marketing chanenl.
I don’t quite get your point. It’s bizarre and nonsensical in this case, but really useful in other cases, so...? I don’t know how that sentence ends.
Consider deleting your false statement, now that aaronharnly has posted a correction.
> …the vision is completely opposed to the concept of encapsulation…

Why do you think that?

p.286 Design Principles Behind Smalltalk
[author Daniel H H ingalls]

https://archive.org/details/byte-magazine-1981-08
> What the Windows Registry needs is a REST API.

Why would you want a networked API for stuff that should be internal to the machine?