skysight-inc/HackerNews huggingface dataset:
I feel the same way. As a city kid, I always felt left out because almost everything in US culture is based on the big suburban 'American Dream' home or, less often, rural life. I remember only being able to relate with Sesame Street because, gasp, people lived in apartments and hung out on city blocks with other kids just like I did! Kids books were a mixed bag, but definitely had more city representation than TV or movies.

On a more practical and aesthetic level, drawing cobblestone streets, cozy neighborhood stores, hand carved sandstone facade apartment buildings, etc is a lot more glamourous than drawing tract suburban housing, so I can see the appeal of it aesthetically. Also from what I've read about some of these authors, they were city people as well, so they just drew what they knew. The migration of the middle class to the suburbs didn't happen until many of these authors were well retired, so if kids are reading the more classic books, they'll see a bit more city life than usual and almost exclusively NYC where so many budding creatives had access to NYC's incredible publishing industry.

Lastly, kids can't drive. So if you want a kid having an adventure where he meets various storekeeps, neighbors out running errands, friends, pet stores, schools, etc then a walkable city makes the most sense. Walkable areas are just more communal and neighborly than suburban life as well. Its more realistic if a kid goes on an adventure in a city than in the suburbs were the only practical way around is being driven around. Bikes, less so, when the nearest store is 5+ miles away and there's no bike lanes. I also imagine parents are more comfortable with books not encouraging little kids to ride bikes in the street. As a parent, my recollection is that a lot of the books exist in a weird nebulous middle ground unless they outright take place in NYC or London or Paris for narrative reasons. Kids can walk through a urban downtown area with stores and neighbors but also end up in big suburban houses on big suburban streets in the same book and without taking a bus or a cab between either. So its probably hard to really divide this into city vs suburban if we want to be fair about it. Authors will do whatever fits their narrative. The walkable city is appealing but so is the big home, so why not have both?
Ah so I wasn’t the only one thinking it over the weekend.

It’s amazing how little actually changes after two millennia. At least we know people are still people. :)
So, the infrastructure can handle double its current utilization?

Aren’t the sewers in SF literally over a century old?

No issues with adequate water supply and sewage treatment?
The difference is that usually ( certainly in the case of Paris) there's plenty of very affordable housing available in the suburbs with good transport connections to the city and some other suburbs.
The problem is that those wood chips don't just ship themselves across the Atlantic. There is a significant carbon footprint associated with logging, processing, and transporting all that biomass before you even get to burning it.

There is also, potentially, an opportunity cost in burning forests that could otherwise be acting as long term carbon stores (either leaving the trees intact, or harvesting their timber for something where the carbon will be stored longer term, such as construction/housing).
Sorry but, Wisp already exists, twice! It's Lisp without parentheses:

http://dustycloud.org/blog/wisp-lisp-alternative/

and a little Clojure-like LISP in JavaScript:

https://github.com/Gozala/wisp
The most important factor in keeping people alive nowadays is infrastructure. We're not self-sufficient anymore and it's pretty delusional to think that we'll be able to move back to some kind of pre-industrial pastoral idyll. We are dependent on high-tech and that's not going to change.

The easiest way to make everyone able to participate in that high-tech is to have high-density population centers with little infrastructure benefiting the most people.
This would be specifically to fix the problem of a builder making a bunch of apartments and slowly letting them into the market to artificially inflate home values.

Presumably, the building company would be the owners for all the empty apartments which would make it easy to find and tax. It would be more difficult to detect someone buying a home/apartment as an "investment".
The AI challenges from a decade ago where pretty fun and practically exactly suited to your needs.

https://en.wikipedia.org/wiki/AI_Challenge
http://ants.aichallenge.org/

Despite the name I don't remember ML featuring prominently in the solutions.
Yeah but besides the math part of it... what’s the actual explanation? Besides “that’s how it impacts the formula!”
People overestimate their impact on the community. The elephant here is that those people contributed very little to making the place desirable.

You can usually tell. They'll say that the culture has changed because the desirable people left. That's right. But the groupies are still there. They just don't know where the desirable people went.
I think a good experience depends on the quality of your internet connection. Unfortunately, in the US this is hampered by the ISP duopoly
Baba Is You
You dump heat into chunks of asteroid and throw them away, once you have disposable mass available dissipating heat is fairly simple.
Well they found their new user base also, that is why they didn't crash like digg. Reddit has become very Facebook like design and content wise.
> Design for repair isn't trivial.

No, but releasing basic board schematics - or even just allowing third-parties to freely redistribute their own custom-made schematics - is. Allowing your supplies to sell board components directly to consumers and third-party repair shops is. Allowing third parties to move used OEM parts across international bounds without fear of having their property seized for being "counterfeit" is.

There is a huge community of independent repair technicians out there who are constantly undermined by the likes of Apple and other major hardware manufacturers. The manufacturers don't even have to "design for repair". They just have to allow repair to be an option in the first place.

Maybe if repair becames a common alternative again, "design for repair" would actually be considered a competitive advantage.
You're literally replying in a thread about a massive, rapid drop in average rental prices after a large increase in the vacancy rate.
> They were non-technical people who wanted to build a website for their product/service. Their budget wasn't great. They gave all their money to a freelance developer. Developer wasn't really a developer - he just knew how to install a specific combination of WordPress plugins and set them up to get the outcome that they wanted. They wanted to customize it beyond what the plugin allowed, the developer said it wasn't possible and started asking for their money.

This is so widespread and horrible. The owner usually doesn't know anyone that can help walk through everything OR don't want to listen.

I've inherited a bunch of sites like this and it usually just ends up on having to rebuild everything and migrating content.
It seems to me that children's stories have actually changed quite drastically over the years and between cultures and countries. I read my child many old children's stories (say, published between 1930-1960 in northern Europe) and they are scarier and more fantastical and more.. earthy. Lots more casual death and violence between imaginary animals. One reason I keep reading them is that they are interesting and I think they provide better life lessons: now that I'm an adult, I read one somewhat violent tale of a little girl being led astray by a wolf or something (not quite Little Red Riding Hood but something like it) and I was like, wow, this is quite a sophisticated little story describing and naming grooming behavior that leads to child exploitation! This is actually useful, unlike (so many others).

Modern children's books often seem to be written as psychotherapy for adults. For instance, one children's book my kid loves is supposed to have as a lesson that being together with friends is the best thing and we should live in community, but most of what my kid has taken from it is that the protagonist penguin has the most fun while doing stuff alone and yelling "I can do it myself!" It's a pleasant enough book but I think the old stories of danger and foxes and rabbits and bears will stick more. They're all about houses on the edge of the forest... does that count as the suburbs?
Isn't this the case for most of the US, not just the West Coast?
I've lived here nearly a decade and loads of my friends have lived their entire lives from the time they were born here. They don't talk like that.

So I don't think there's anything inherent to being a San Franciscan that makes one act like you did there.
So, in Florida, you declare your primary residence, and it is taxed at a much lower rate than other property.

See ‘homestead exemption’. Other states use this term, but it means different things.

WV, for instance, only allows the exemption for people above a certain age.
I was having a conversation with a person in my HoA. She complained that, when THEY moved in, the "big" houses (gesturing at my 2-story) didn't exist, and they had a lovely view of the fields past my side of the street.

Well, lady, if you wanted the view, you should have bought my lot.
It's not like you can build a drone control station using Intel CPU if you're Russia.
The current trend for declining cost/MWh for both green production of energy and battery storage of energy is why I am optimistic. It doesn’t look like we’ve reached the declining returns part of a logistic curve yet.
You want to strike a balance between responsible development and paralyzing progress. If potential liabilities are unlimited and you can be held fully responsible for damages no one (including you) understood until decades after the fact, will any new chemical ever be introduced again? Under this regime, even the best, most diligent science with decades of study would not balance your liability. You'd be playing roulette.

You need some bar of rigor they aim to clear that confers protection from damages. Whether that's field trials, drug trials, peer review, etc.
If the market will only bear $3100/mo for an apartment today, that's in part because some less desirable apartment is renting for $3000/mo and that might be the case because that landlord can break even on cashflow and bank on the appreciation.

Institute an LVT and those competing landlords may become cashflow negative, forcing some of those units off the rental market entirely (typically to sales to owner-occupants, sometimes to landlords with better financing or lower overheads, sometimes to short-term rentals or other higher cashflow uses).

An extra $100/mo of LVT may not result in an extra $100/mo of market-clearing rent, but it's far from obvious that it results in $0/mo change.

Thought experiment: if the LVT for that unit were $3500/mo, what do you think the offered rent would be? If that's the case for $3500/mo, what part of that doesn't hold for $3000/mo, $1000/mo, $350/mo, or $35/mo?
> That just seems to me like a choice that very few humans are actually going to make.

It seems very HN to take the perspective of an aloof farmer-of-humans rather than that of an actual human.
The complete CSS animation tutorial (with color-coded diagrams)
I know I'm being a smart ass, but technically those are all fusion powered ;)

Solar and wind are the result of the solar radiation which comes from fusion.
The German “pacifist” projects’ ideals which of course excludes Africans:

The utopian goal was to solve all the major problems of European civilisation by the creation of a new continent, "Atlantropa", consisting of Europe and Africa, to be inhabited by Europeans. Sörgel was convinced that to remain competitive with the Americas and an emerging Oriental "Pan-Asia", Europe must become self-sufficient, which meant possessing territories in all climate zones. Asia would forever remain a mystery to Europeans, and the British would not be able to maintain their global empire in the long run and so a common European effort to colonise Africa was necessary.

It is like the British “pacifist” Prime Minister David Lloyd George who was for European disarmament except for blacks:

“We insisted on reserving the right to bomb niggers." So David Lloyd George explained the British government's demand at the 1932 World Disarmament Conference to keep the right to bomb for "police purposes in outlying places". Airpower had shown its value in spreading what Winston Churchill, when defending in 1919 the use of poison gas against "uncivilised tribes", had called "a lively terror".

https://www.theguardian.com/books/2011/dec/07/britains-empir...
Harry Potter's Privet Drive is unequivocally a suburb. While they are at "Number Four", the houses are all blandly similar, perhaps a cookie-cutter housing development. Vernon Dursley is in industrial drill sales and Petunia Dursley is a stay-at-home "mother" of two, though she spends most of the effort on Dudley.

These couple of chapters every book, where Harry lies low and gets abused at Privet Drive, are tales of suburban doldrum and wasted life. Vernon lives for the capitalist dream of fancy cars and vacations, Petunia lives on gossip and spying on the neighbors, Dudley lives for food, bullying, and quick thrills. All the Dursleys are about conformism and consumerism, sign-posts for the suburban life.

By being "neglected" of these things, Dumbledore says Harry has "escaped the appalling damage" done to Dudley (Book 6, Chapter 3). Harry is much more comfortable at the "rural" Hogwarts Castle, though admittedly that's got hundreds of friends, jinxes for any craving, mad drug potions, and who knows what else. It's really not a fair comparison, 9/10 would prefer Hogwarts' hybrid urban/rural feel.

Also, side note, my HN name is a combination of HP + Windows/Linux humor. I have no idea if many people got that over the years.
Docker is ok. But please do not over use it.

It's not really portable, it only runs decently on Linux, on other platforms it's a kludge.
The headline is a bit too generic. This organization is being founded with the support of Simon Peyton Jones and has corporate backing. It appears that the intent is to focus on pain points in the Haskell toolchain and libraries.
Chocolate is a treat but leaves a sour taste in cocoa farmers’ mouths
As someone who writes plugins for our Wordpress-based 'headless' CMS for our authors to use (the front-end is all Angular 9+), the biggest gripes I found with the Gutenberg blocks editor was the need to learn some React to build the admin UI elements.

For personal projects, I now build most of the 'admin' in Angular too.

The introduction of Wordpress JSON and the REST API changed everything for me (and the small team), to allow more separation of concerns between the front and back ends.
From the perspective of this software engineer, Lean seems mostly superior to the other proof assistant languages. You can develop in a regular text editor, the source code is open, you don’t have any hacky “some expressions are a sublanguage in string constants” stuff, and most importantly the community is extremely responsive. Speed is the biggest problem; Lean 3 still has a very slow interpreter and it makes some things (in particular communicating out to an external specialized solver like the “hammer” tactics) too slow to be practical. If Lean 4 manages to improve speed as much as promised, and the 3 -> 4 migration actually happens, I think it will become the all-around superior choice.
It seems that his beatnik dreams were still largely based on the things he'd own. Instead of shiny future-clothes, he'd wear Red Wing boots and horn-rimmed glasses. Instead of a computer, he has the typewriter and his vinyl records. He already couldn't afford to eat or pay rent on his bakery salary, can't afford a $10 library card (a purchase explicitly called out as part of Project Beatnik), but his new plan doesn't include moving or getting a new job. I guess the good intentions of buying all his clothes at Goodwill or the hardware store (clothes are not cheap at the hardware store) would just magically allow him to afford prints of classic Abstract Expressionism paintings?

My read is that "the guy I almost was" would be a homeless dude who lugged around an old typewriter with him.

I enjoyed the critique of the whole cyber/futurism movement, though.
They do. At some point the landlord makes the decision that this is good enough and accepts an offer using whatever factors are in play, maybe some personal circumstances like needing the money sooner rather than later or just liking one of the applicants more, but the next landlord is now informed by what his neighbors charged a month or two ago for a similar space and uses that as the floor for what they should ask for. On and on it goes and suddenly prices trend up and a space that went for $X two years ago now goes for $X+$500 today, or as we see in the original article, $X-$1K versus a year ago.
Yeah the children's book industry has been pozzed for decades upon decades now. Axioms of Good vs Evil aren't fit.
Probably a coincidence, but also Lean Together 2021 [0] is happening next week and it is likely that many Lean 4 details will be revealed there.

[0] https://leanprover-community.github.io/lt2021/
For a website called 'intellgent living' you'd think there would be more intelligence involved. Crap website from start to finish.
This client sounds like a mom and pop shop, if I'm being honest. Those clients will always want the most for the lowest possible cost.

Clients that consider their websites to be a cost centre or a checklist item for their marketing strategy are the types that say things like 'our intern can handle this going forward'.

Clients that have their website as a source of their income (say an ecommerce store or online course website built using WooCommerce or one of the LMS plugins) recognize its value and would respect the advice of the person hired to manage it.
Gutenberg is the EMACS of web content creation. Great for creating webpages, just lacks a decent text editor.

On a more serious note though, I have personally experienced the lags on Gutenberg. And I am not sure whether the issue is with some implementation issues or due to the fact that it is a 3 mb react based blob.
Which law does selling a exploit break?
Yes, but note the recent developments in floating turbine technology that promises to make developing deeper-water sites more practical. Besides that, there are still plenty of promising shallow water sites yet to be developed.
>Lean makes it easy to switch from constructive to classical logic (you just open the classical logic module).

I wonder what this is in comparison to. Coq also has a classical logic module (though it is more awkwardly named). HOL Light is, from a quick Google, already a classical prover. Are there any provers where classical logic is hard to come by? Or is Coq's version more complicated to use?

>Lean makes quotient types easy (unlike Coq, when tends to work with awkward setoids).

(At the cost of subject reduction). This remains the most interesting point of comparison in my mind. How can the Lean kernel be sound if it's possible to reduce proofs to non-proofs?

>.... it is nearly impossible in Lean to curry a structure. That is, what is bundled cannot be later opened up as a parameter.

Could a Lean user shed some more light on this? In what circumstances would you want to treat a bundled type as a parameter? Surely accessing the type itself - like the underlying set of a group, in the example - can still be done in either case?
Then you just need an algorithm to consume the summaries and we can finally just have machines feed other machines...
This is not a bad idea and will pay dividends to future generations. It's like having a drug dealer at every check out lane.
Selling a Fintech Before Launch Leveraging Your Most Valuable Resource: People
I guess it's not that difficult to get something to crash into Mars. So it might be debris from non-official missions.
Agreed, not everyone works for google.
I've seen it start, cops chasing some dude, yelling at him to stop and he tripped. Cop literally landed on him and start beating him with the nightstick. I hollered "you caught him, stop already" and I still remember the savage look in the cop's eyes when he looked up. Thankfully some other cops showed up and carted the guy off. "In the heat of the moment" should not be a justification for LEO personnel.
Show HN: Building an E-Ink Calendar and a UI Toolkit along the way
https://en.wikipedia.org/wiki/Public_housing_in_Singapore
Berlin has such laws since 2014 and it is working poorly. Turns out that it is hard to get an overview of empty apartments. City government has to rely on other tenants reporting empty apartments.
Time is money.

Why hold out and continuously interview potential tenants, when multiple people are literally asking you to take their money?

Cash today is better than cash in a few days.
The suburbs these days are incredibly multiracial and multi-ethnic -- please update your stereotypes :)
In 2015 and 2019 the Gates foundation invested in Moderna and BioNTech and retargeted them towards vaccine development and production. This investment will pay off handsomely. Are you going to tell me that this was about the profit too?
These policies are primarily hurting lower class folks.
It is probably https://en.wikipedia.org/wiki/Motion_aftereffect
>> signs of life in the atmosphere of Venus.

Haha! What's more likely, that a compound is produced in a way we dont understand or that some new life form exists in a way we don't understand?

If there were ever a time to apply occams razor that's it.
Pardon my ignorance, but as I was typing a message in a chat group linking to this page and briefly mentioning why these rocks are special, I realized that we already have a ton of asteroid material on earth. I get that the outer layers will have burned in the atmosphere, but inside is still intact. Is this useful because we suspect the surface contains different materials? Or the crushing of it on impact? Or is there something else that makes this different from digging up one that came to us rather than us going to them?
I can't help but think of this line from "The Joy of Clojure"...

Go to any open source project hosting site, and perform a search for the term Lisp Interpreter. You'll likely get a cyclopean mountain of results from this seemingly innocuous term.
Wow, they give Tesla a 30% chance of launching a fully autonomous taxi network for revenue in 2021. That seems wildly optimistic.
What is a way to fix this? Is this some part of an endless long-cycle of adoption for social networks over some kind of crossing-the-chasm style adoption curve? Or is there a structural way to fix it? Stackoverflow is better than its predecessors, but clearly is much less valuable now than for its first few 5 years or so.
Well, the currently in-force "COUNCIL DECISION 2008/616/JHA" at

https://eur-lex.europa.eu/legal-content/EN/TXT/?uri=CELEX%3A...

contains the same SHA-1 requirement, so the story seems to be that:

1) EU Law requires out-of-date encryption algorithms

2) The new agreement mirrors EU Law

3) From 1 Jan, the UK will be able to enact regulatory divergence, and use SHA-256 (or whatever) instead.
https://en.wikipedia.org/wiki/List_of_common_misconceptions#...
What do you mean by "unnecessarily"? How are you quantifying the risk and what is the certainty where it becomes worth addressing across 7+ billion people?

You haven't demonstrated that this is "hysteria" and your own blasé attitude is worth imitating.
To better understand how to navigate it:
"Power: Why Some People Have It—and Others Don't" by Jeffery Pfeffer
https://www.amazon.com/Power-Some-People-Have-Others-ebook/d...

Really good read, and has Jim Collins and Robert Cialdini singing its praises (check the back flap on amazon) if you need bona fides
What about poor people? I think there are 60 million of those in the US.