skysight-inc/HackerNews huggingface dataset:
"real programming language types"

There are a few languages where types only exist (for the most part, though with exceptions and hacks here and there) at compile-time, like Rust, C++ or even Haskell IIRC.
Did you read or understand my original comment?

I specifically named awk as a way of solving these type of problems that has a similar applicability and maturity to a scripting language. My real objection is to long chains of cut, head, cat, grep, and so on. I also think that utilities like jq and xargs, which were invented exactly to allow people to do things in shell one-liners which are trivial in a proper language, are worse than useless.

I didn't say that no one should use awk, or no one should use the command line.

In fact I didn't say that no one should use pipes with head, cut and grep either. I just said that most reasons to use them were no longer valid.
With a remote workforce what is stopping people to move to South America, etc?

Cost of living is rising dramatically with YoY housing prices hitting 20-30% (even in middle of nowhere) it just doesn't make sense financially if you arent established to stay.
Put them on blast on Twitter or HN, get upvoted/retweeted a lot.

It's kinda like Linux tech support: ask "How do I do X?" and get told to RTFM. But say "Linux sucks because I can't do X" and nerds will fall all over themselves to help you.
I'm currently reading this book and I am very impressed by the work done by the author.

It goes in depth on many subjects like provisioning, configuration and deployment. For a beginner like me it's perfect.

Highly recommend for web developers who wants to understand better how a server works under the hood and how to deploy it.
My company has gone to work-from-anywhere-as-long-as-it's-in-the-USA, there's some sort of complicated tax thing that comes if you live in another country but work in the US, and they don't want to deal with that.
It might not miss the point, if the command sample is giving more complicated demonstration than it actually is, almost like doing artificially long command to demonstrate unix-magic, to get more audience.

Anti-patterns are bad, because it usually means that sample command might work in this case, but not in other environments or other use-cases. Someone who is seeing these commands first time, has no idea about that. And this post is meant for beginners.
This is always a consideration when adding new features. It is however also important to keep the language up to date with other modern languages. If you don't innovate, you die. There is always a cost/benefit calculation to be made.
Maybe maybe not. A lot depends on what happens next. The assumption here is that people are moving out of urban areas and then not commuting back in. If that really is the case, unlike in the commuting form of suburbanization, then service businesses will follow those people, if they are allowed to. This would be a great outcome, but it depends on a lot of assumptions.
This is a horrible misreading of Kantian TI. The idea of "value" is what's worthless in itself, not objects or entities. Yes, everything is worthless in itself, but that says more about "worth" than it does about "everything", and it isn't mutually exclusive with there being things in the world that are required for human life. Value at the bottom end takes its shape from these things, and in the top end, like complex financial derivatives, is far removed from human necessities.

You're missing that we can get really close to things-in-themselves. It's like you got an erection as soon as you read that we were fundamentally separate from things-in-themselves, and just ran with it.
An old dresser is still often useful as a dresser.
> also could be a sign that, despite similar square footage, people don't see townhouses/apt housing product as the same sort of value as a detached house, and they are willing to make remarkable life changes to own a fee simple house proper.

That seems unlikely since townhouses and the like have been quite popular in places outside the U.S. where they're reasonably common. Detached single homes are incompatible with dense urban living, and this will always limit their popularity.
Ressa blasts U.S. tech titans for 'virus of lies' in Nobel Prize speech
LSATs and verbal reasoning tests are very obviously culturally informed. Even so - questions about baseball games are very much not something you'll see in an IQ test.

But it's not a simple issue. Tests like Raven's Progressive Matrices looks like they should be culture-free but in fact they're based on assumptions, contexts, and operations that are taught implicitly in basic math classes in the West.

If you don't have that education, you're going to find it hard to understand the test.

Other culture have different ideas about what intelligence looks like and how it's expressed. If you threw equivalent non-Western challenges at a supposedly smart Western kid it's not obvious how well they'd do.

https://www.apa.org/monitor/feb03/intelligence
Unfair to Penrose. His view is more like: Hence testing the range and depth of possible relationships to the limits of their coherence with evidence is a worthwhile enterprise.
Token-based access to Notion for DAOs
Hi everyone, My partner and I see a need for better access control for DAOs and other decentralized teams when using web2 tools like Notion. We launched https://charmverse.io/ and are looking for feedback, good and bad! Our first token gate allows you to set access criteria for members in your Notion Team workspace.

Here’s a quick FAQ for the curious:
- Does it cost anything? No, this is a free beta

- What access criteria are supported? We currently support ERC-721 and ERC-20 tokens on Ethereum and Polygon networks. If you want something else, please let us know.

- Is it safe? Yes. We are two entrepreneurs working on better UX in the crypto space while championing the principles of anonymity and transparency. Here are some of our previous projects, https://community.charmverse.io, https://northshore.ai/, and x.ai (meeting scheduling - https://www.bizzabo.com/blog/bizzabo-acquires-x-ai).
The people I know with Kaiser hate it. YMMV I guess!
Haha. You're sick of things going uncared for and looking like a mess, and think the PNW is better. Whoa boy. Anyone want to tell this guy?
There’s a fine line with this though — the advantage of hiring Americans in the Midwest versus hiring in Europe and Asia needs to be solidified somehow.
Is that in the book?
I love visiting Milwaukee, and Wisconsin in general for the sheer amount of outdoor activities. Unfortunately it would send us the wrong direction with respect to visiting family. I want to spend less time in a car in general.
Squirrel barratry is real and it's here.
If you're going for decoding speed wouldn't you be using brotli anyway? At a given compression ratio brotli is ~4x faster on decode path, and they are similar on the encode path.

Your corpus may vary etc etc.
We are not sure about windowed WebGPU right now. We will try to come up with some form of "Deno Desktop" next year, but I have no real ETA for that.
You get good healthcare but only if you work for the right companies, meaning companies with good plans.

My recent experience had me paying zero USD and dealing with almost zero paperwork. For a physical and the resulting outpatient surgery.
This is what I was getting at. I had to scan the whole thing to find out if it was something I wanted to read about. Turns out, it wasn’t.
Comparison of 1970s MIT “Limits to growth” with present day projections and data
As a former parenting educator, what works, in order of influence:

1. What you actually do - modeling.

In terms of relationships- How you act toward them or how they see you act toward their sibling or your partner.

For example if you reward or punish them, the lesson is not the particular goal of the rewarding / punishment, but to use reward and punishments to get people to do what one wants.

All rewards and punishments are a form of bullying, violent in nature, leading to loss of trust.

2. Observed actions are the top influence, followed by instruction, but very far behind. So if you ask them to do something they don’t see you do, or see you, or your partner or other adults do differently, then the repetition won’t make much of a difference.

Also, kids are placed in circumstances without much autonomy which leads to a lot of frustration and resistance.

The natural state of learning is play directed by one’s own interest and environment.

Sitting still in school and for homework, for over 6-8h/day is a completely unnatural and obviously not spontaneous. The willpower a child needs to exert to twist themselves into these normalized but unnatural circumstances, day after day, depletes the executive function as a resource.

These are just some vectors of influence to consider with kids :)
Public space for private use should come with no costs and free of regulation. Short-term solutions made during a pandemic should be grandfathered in perpetuity. /s
Doesn't the same thing apply to electricity though? In some countries, quite a bit of it comes from coal
For the same reason sawdust is called “man glitter”
I feel for you and you have my upvote for the signal, but good luck getting any action unless this goes sufficiently viral.

I've had this discussion with Googlers here before and this is apparently what they actually believe.

* They're content with algorithmic approaches to spam prevention and other moderation that results in numerous false positives and don't see the problem with that.

* They think their support channels are more than adequate.

* They think their bans result solely in bad actors being harmed and don't realize that shady businesses that actually do spam have endless fake companies at their disposal to keep on trucking.
Sorry and thanks for the clarification.
How does it pick which identity to use? If I compress the empty list is that a translation by 0,0 a dilation by 1, or a rotation by 0? I don't love the ambiguity here.
As someone new to deployment this book was a great read. I learnt a breadth of new techniques (ssh, security (e.g. fail2ban, selinux, permissions), bash commands, dns and configuration of a vps) and i also liked, that the author gave advice on which tools could be helpful (e.g. Ansible).

The book however does not go into detail on these tools (ansible, terraform), its goal is to teach the basics of deploying an app on a linux vps.
Evidence you have never lived in the midwest. When I lived there, the tornado sirens would sometimes give you up to 15 minutes of warning that they one was likely in your area. This is not hurricanes where you have a weeks notice.
Here you go:

> 70% from San Francisco

22% from rest of California

8% from out of state

I think the source is from this study: https://hsh.sfgov.org/wp-content/uploads/2020/01/FINAL-PIT-R...

https://news.ycombinator.com/item?id=28333755

https://news.ycombinator.com/item?id=28974050
I've entertained the same idea from time to time, but just don't see how it can work out financially. What is your contingency plan for medical expenses? Kids?

Btw, big fan of your blog posts.
The TypeScript checker/compiler is Apache 2.0 licensed, so I'm not sure there's room to complain, unless you disagree with the direction they're taking the project:

https://github.com/microsoft/TypeScript/blob/main/LICENSE.tx...
This heartbreaking. I can't imagine how it must feel like as a teacher, especially one that is short on cash.
RSS is the only thing that's keeping the web usable for me. I only read this post because it appeared in the hacker news feed from my RSS reader newsblur (highly recommend).
It's a purposeful misspelling of "thought". It's fun to use it once in a while.
This is definitely something I am interested in pushing too. Iterators have not gotten the love they deserve.
Every Disaster Film Is About How We Can’t Wait for the World to End
Well, there's a growing trend against bullying. Personally, bullying toughened me up, and it affected me in ways that I am glad for. Of course it could have gone wrong, too.
As a millenial forming a family, it's the former part of your last paragraph that's keeping our family out of the city. We live near Seattle, and we'd much rather be in Seattle, but we can't afford anywhere near the same square footage, owning or renting. We'd absolutely be happy renting in the city if it was remotely affordable.
It's great to see this improvement, and read about the development. The one issue that stuck out is that there is not enough (any?) "ease-in/ease-out" to the animation as it transitions from zooming to zooming and rotating. Ideally this would be much more continuous. The Anchorage example is jarring as it switches from one type of zoom to the other. As an observer, I should not be able to say "here's the moment where it changes".
I think there is no win for the business or the families in any of the outcomes. We know so little about what the Business actually knew and what type of protection or preference these individuals had in the moment. I also think any reasoning about a solution is not making space for the individuals who lost their lives. The number of comments and how quickly this is moving off the first page of HN speaks volumes about the sentiment of the this community.
It's always crazy to hear that suburbs are cheaper. Dense living inherently requires less infrastructure and less transportation, so it should be considerably cheaper. It's only through the subsidisation of suburbia and the low supply/high demand of high density urban areas that this is the case.

Car centric suburbs aren't just terrible for the environment, terrible for safety and terrible for transportation; they're also incredibly costly.
> RSS is one of the most useful tools for those that don't have "social media" accounts.

That's why RSS is dying. It doesn't facilitate in-depth surveillance or algorithmic timelines designed to be addictive... err I mean "maximize engagement." RSS is a user-friendly technology not an advertiser-friendly or surveillance-friendly technology and surveillance driven advertising is the business model of the Internet.
https://web.dev/learn/css/ from Google seems pretty good
FYI the zsh glob for this is `^.*`, e.g.:

echo ^.*

will show all non-dotfiles in the current directory.
Too late to the party with just that resource. Engines that most efficiently use oil came about only after the era of history when engines that need coal were dominant.

Fun bit of alt-history pondering - China was the most powerful single nation on Earth at the time of the dawn of the industrial revolution - it's quite plausible that they missed out on that lead just because of a couple of shallow whitewater sections of the Yangtze river that made bringing their coal by barge to the coastal cities impractical.
So the average warning time of a tornado is around 9 minutes.

https://www.usatoday.com/in-depth/news/nation/2021/06/16/tor...

I suspect an even worse place to be during a tornado is a car on the road, which is where the workers would probably be if the employer sent them home. Some things just aren't preventable.
Natural Forest Growth Simulator
Not necessarily...110 people in a factory, say you have 30 minutes notice(article says 20!).

Stopping the line : 5~10 minutes

Collect stuff : 5 minutes

Get to cars: 5 minutes

Get out of gate: 5~10 minutes

Oh look, now the news articles would all be asking why didn't the factory make the workers shelter in place instead of sending them out into a dangerous situation.

A reasonable/decent employer has emergency plans appropriate for their area and trains their staff on them.
Suburbs are very unfriendly for the elderly compared to cities.

The ideal suburbanite is an upper-middle-class person in their 30s–50s in good health who really likes driving their large car and has hobbies they can do individually from inside their own home (e.g. woodworking, gardening), and doesn’t mind that life is miserable* there for their kids. Everyone else is more or less a second-class citizen.

* Edit: suburbs are unpleasant for kids because anyone who can’t drive is completely dependent on someone else (for kids, usually a parent) for transportation: few destinations are within walking/cycling distance, buses are few and infrequent, in general non-car transportation is discouraged by the urban design. Everything is harder to get to, and there are far fewer resources available for people with particular interests.
Many like you are buying up lake-front properties in rural places.

I recommend it, playing farmer-cowboy-houseboateer in Kentucky/Tennessee is a magnitude cheaper than out west, even if you fail, you are out less money than simply living elsewhere.
If everything goes as planned with global warming, we may have 3/3 here in the north as well (at least some of us). Where I live it’s noticeably warmer, winters milder and summers longer just in the ten years I’ve been here.
Yes, but you're assuming indefinite growth. Again, in the real world we're already on a path to decreasing population.
I'm surprised, hours later, that no-one has pointed out my error here! So I'll do it myself - upon revisiting it, I realised my input files weren't CSVs with the number of fields required for `cut` to do the intended thing. Had I made them so, the `-h` isn't required after all. My bad :)
Using Abstract Data Types in TLA+
These are the reasons I chose to leave the East Bay. It's a dump (almost literally). Californian exceptionalism is rampant too, like many people have never visited a place where you aren't afraid to park your car on the street or don't step over human feces. For the low low price of $2,500/month (and that's not particularly expensive).

What bothers me most is that when I talk about this with people there the reaction is somewhere between "good riddance" or reducing my complaints down to cost of living. But I distinctly remember talking to a mayoral candidate in Berkeley canvassing for the election last year and discussing things like solar mandates. He seemed baffled that I asked why the city couldn't keep my street clean or do something about the number of brush fires and assaults at the nearby homeless encampment.

The Easy Bay could be great, but they're lacking basic municipal function and acting like the weather, mountains, and liberalism make up for it.
And people did. Malthus was over 200 years ago.
Story Architect Update: Character Relationship Editor
> My working hypothesis is that people in general want to live in California like places, if they can afford it.

This is my general thinking as well, and it happens to fit with my current life experience.

I'm unconvinced that there has been, generally speaking, a fundamental change in the preferred environment people wish to live in; instead it seems more likely that traditionally popular American urban areas are just too expensive and offer relatively little (compared to other parts of the world) in terms of services to justify living there... Even for those that might otherwise choose to.
I think there are lots of people who think RSS is only for podcasts.
I’d be interested in knowing the reason, once you find it. Thanks for the book!
> That we're seeing people abandon certain urban places

I suspect that "abandon" is way overstating the case. Where I live, in the Twin Cities, the most growth in the state is in the cities themselves, while rural areas are continuing their decades-long decrease[1]. The enormous cities (SF, NYC) may be seeing a bit of a decrease in population, but I don't think it generalizes beyond those specific ones to urban areas across the country.

[1] https://www.fox9.com/news/twin-cities-fuel-minnesotas-popula...
It's just NY and the 10x10ft coffin apartments that people want to leave.
pity they didn't think that about the moon lander....Don Pettit:"but we destroyed that technology and it's a painful process to build it back again"
The way to at least improve it is to use something like Qt and to make GTK consistent with Qt.

You won't be able to make everything consistent but you can make everything at least look unified.
I really think it’s mostly lack of supply. If the problem were solely due to lower value of MFH vs SFH we wouldn’t see 1bed market rate condos in SF going for $700k.

Of course, all things (including location and sq footage) being equal, it seems logical most people would prefer SFH. No shared walls, nobody living above you, no/less-influential HOA, potentially large upside of land appreciation. However that is a false dichotomy because prices are higher (because land prices are likely to be high anywhere a SFH is near large condos). So what really matters is the demand curve for SFH vs MFH - MFH may be an “inferior good” in the economic sense but it is not so inferior that, for example, rich techies are buying $500k SFH in Richmond, CA rather than $800k condos in SF.

The whole narrative of a mass exodus is pretty suspect in general anyway. There is not a huge amount of vacant housing in most cities - the carrying and opportunity costs are too high, though IMO they should be higher. For every person leaving an urban area, on average, someone is replacing them.
There's no reason (besides inertia) that we can't have both. This is how thriving smaller downtowns are, single family homes within walking distance to amenities. It's just that all those areas get really expensive because there are so few of them. But there don't have to be so few places like that.
That's great to hear! Congratulations and thank you for your work.
Amateur radio launched the first private communications satellite
The Industrial Revolution also played a heavy hand in WW1 and Industrial Warfare.

I don't think anyone is saying progress is wrong. Unfettered capitalism which robs people of their rights and alienates people from society is disastrous.

Putting an algorithm to treat people like machines is not innovation. Uber Eats is not our generations "spinning jenny". They should be forced to provide basic working benefits.
Most likely some spambots hit the "report" button on your channel. sometimes its people with very similar video as yours and want their content to be viral.

youtube "Hero" is a dumpster fire. Someone mass banned my google dev account for one app that I had for around 8 years as "impersonating or trying to impersonate" whatever that means.

I applied for review and got an automated review that even all related accounts will be banned and they went ahead and banned a related play dev account.

Weird thing is that I have a google cloud account with $120k yearly spend and my startup on it. Time to hedge my bets and move off google cloud.
You can wear multiple hats at the same time.
In fact this is how it got resolved, I filed a complaint with some agency (I can't recall which) and SQ coincidentally changed their policy and refunded me. The very notice you linked is the one I sent with my chargeback.

As for Orbitz, I used them to book the ticket, and SQ's customer service told me they couldn't refund me because they had a policy that only the agent could modify the reservation. When I tried to contact Orbitz they just told me I would need to talk to the airline.
> This simulator is over 50 years old; anyone actively using it, especially unsupervised, would cause damage.

The Delta museum near the Atlanta airport has an old, full-motion, level D 737 flight simulator anyone can pay to "fly". A operator joins you in the simulator and sets up and operates the simulator for you. $425 gets you 45 minutes and it seems to stay relatively busy.

I would imagine the operator of a Space Shuttle simulator could charge quite a bit more for the opportunity to fly one of the most famous aircraft ever built.
This is also roughly the Qt/KDE approach. Except that there are alternatives such as GTK and wxWidgets that have to be supported too.