skysight-inc/HackerNews huggingface dataset:
This should be solved using public sector housing. Which you can think of as similar to rent control as discussed in the article, except the subsidy is made visible and direct through the tax payer funding, rather than through being obscured.

This also gives better public control of who receives the subsidised housing, usually a combination of needs assessment to qualify and then a queue system.

The important thing we have learned from the 70s/80s (different timing in different countries) is to spread the public housing throughout the community, rather than concentrate it into a single location. That is, rather than have a large apartment building that is purely public housing, have a requirement that a certain percentage of properties of every new development will be made available as government subsidised public housing.
I'm obviously biased in favor of TLA+, and think it's more useful than people think. But it could also be that another FM might be more useful to you, or that they're not useful at all in your case! Feel free to send me a ping if you want to talk more on this- my email's in the OP link.
Or they popup again in 5 years where people like me buy them for a deep discount from their face value.
OK, I'm certainly no engineer.

But it strikes me that one could get a sense by looking at LPG and LOX truck tanks.

For LPG tanks, I found one source:[0]

Material: 16MnR
Yield strength (Mpa): 345
Permissible stress (Mpa): 170
Comparison: The wall thickness is ... 10-14mm.

I found that SpaceX is using 301 stainless.[1] But I haven't found anything about thickness. Anyone know?

0) https://www.anstertrailer.com/lng-lpg-tank-trailer-guide/

1) https://www.popularmechanics.com/space/rockets/a25953663/elo...
The biggest issue I’ve had with org tables is that, in certain situations, you just can’t have particular characters in an org table and have the advanced features work.
Hi, I am from Azure Cosmos DB Engineering Team.

We are in the process of updating the Azure pricing calculator to provide various options (e.g., # of regions, single vs. multi-master, etc.). The updates to the calculator are coming shortly.

In the meantime, please feel free to ping us at AskCosmosDB@microsoft.com, if you need any help with cost estimates or have any questions.
Show HN: GitHub Bot to Limit Pull Requests
There are good groups on Youtube and bad ones just like any social platform. Humans can be cancer is the right observation.
Yes, not only the western countries dump it in developing countries, they get money for it.
I think whatever works as a substitute as long as it helps keep you away from the sweetened drinks (artificially or otherwise) is a win. For non-diet sweetener the 150 calories is basically burning the majority of any deficit you might have had that day, and if it's artificial sweetener... well two things;

1) I'm just paranoid what that could be doing to your gut bacteria,

2) It's keeping your taste buds acclimated to that hardcore sweet flavor (sucrose), which is something you have to train yourself off of, in my experience, to increase your sensitivity to the natural sweet which comes in the healthier options.
First they were made mostly to defend against the Yugoslavians and the Greeks.

Also, the vast majority of them are the size of a small igloo barely big enough for two, with foot thick reinforced concrete - and they’re everywhere in an onion like structure.

The idea then is that the infantry man retreats to the next layer (some 100 yards or less).

Sure an aircraft an destroy anyone of them. But there are more bunkers than any Air Force can blow up.

Meanwhile the invader has hundreds of kilometers of layers of bunkers to walk through.

Most of the igloos are for rifle men. Every third igloo is open in the back - that’s the RPG guy for the tanks.

Those big bunkers in the photos are quite rare.

Finally, the “commissioning” of the igloo bunker was done by having their designer sit in one of them while the artillary hit it - they’re tough little things.
The flip side of this coin is that there are trillions of dollars of self-interest in ensuring that those resources get mined out and sold.
Because AWS manages state rather than your CI server. Ansible is not really comparable.
> VAMPIRE has a special mode for working with very large knowledge bases and can answer queries to them.

Does this mean it can somewhat replace Prolog? I forget why Prolog doesn't use full logic, but, does Vampire find a way to get around the need for Prolog's more limited, Horn clauses? Anyone know?
Which I think is common in the master-student relationship including when invaluable lessons are being passed on. An effed up reality.

cf Pai Mei in Kill Bill or Sufi marabouts and their talibés in Senegal.
Don't Do This (Postgres Wiki)
Coal should be the starting point.

>Let their money burn.

Unfortunately, it will not be just "their money" if the economy has a hard time weaning itself off oil and gas. It will be everybody's money, and lifestyle.
I'm suggesting that compiler authors don't seem to pay sufficient attention to how C is actually used, though. It may well be true that I don't have the full picture here, but I don't think that these concerns can be waved away so easily.

Postgres has code like "for (int i = 0; i < array->length; i++)" in many places. I believe that the same is true of the kernel.
>> AFAIK we sell it to them

That implies there are other buyers who are happy to pay money to take it, doesn't it? That doesn't seem to be happening though:

https://qz.com/117151/us-states-banned-from-exporting-their-...

I suppose some countries agree to take the trash in return for some kind of economic favor from the US?
I'd argue that it's not a syntax error simply because the whole point of Scratch is to make programming accessible an audience (small children) for whom the kinesthetic and iconic mentalities are dominant. Syntax belongs to the symbolic mentality, which they haven't developed yet.

Even in the case of other visual programming languages that are targeted towards adult professionals, the point of such tools is to suppress the symbolic mentality because the iconic and kinesthetic might be better for getting the job done.
I am avoiding diets because they only end up with me gaining more weight further down the road.

Everyone remember the 'Biggest Loser' show? Turns out some researchers followed-up with a statistically-
significant sample size of contestants, a little less than 200. About 93% re-gained their weight
after the show (> 1yr) and of that 93%, half gained back MORE than they lost (around 10% more).
The show gave contestants access to great food, exercise, trainers, diet counselling ... on a
per-person basis this was thousands and thousands of dollars that most people can never afford to
spend themselves - and STILL the outcome was ... gain more weight :-(

Edging closer and closer to the idea that the only choice now is surgery (scares the HECK out of me!)
He’a worth more for the Russians inside.
A major issue with removing UB exploitation is that you've now created C, but each compiler implements a different C. It becomes harder to port code, and you end up with bugs that can be harder to catch, especially if don't consider what you're doing an error, as now you can't even use the sanitizers.

What my team has been looking at to help developers that have these issues is providing low overhead ways to give defined, but likely to crash, behavior for these cases. This helps protects against UB without creating C. An example would be variable auto-init, which intentionally doesn't support zero init, as that is likely to hide bugs: https://reviews.llvm.org/D54604

I'm fine with fully defining some things that are currently UB or IB. I'm also fine with keeping things as UB. What I'm not fine with is creating this implicit C that programmers think they know what it is, but it's not actually defined anywhere, and not everyone working on the compiler is on the same page about.
> Perhaps even more relevant than the issue of what happens to be better known among academics in the formal-methods community.

Definitely temporal logic, then :) FP is rare in formal methods, but is well known in programming language research. There is a small intersection of the two fields (proof assistants, dependent types), but I doubt it even makes out 10% of formal methods research (most of which is around model checking and static analysis).

> but type checkers are far more scalable than that, and there are reasons to expect that this may generalize to other "local", "shallow" properties like simple checking of pre- and post- conditions ("design by contract"), or the sort of resource-based and region-based checking that is now being used for systems like Rust. This is where end-to-end methods might have real potential.

We know what kind of properties you can scale, and the method of checking them -- either by type checking or any other form of abstract interpretation -- is not relevant (none can do a better job than the others). Those are inductive (or, since if you like programming language theory, the compositional) properties. Unfortunately, most deep properties are not inductive; this means that proving them using scalable inductive techniques (type preservation is an inductive property as are the inferences in any deductive system) would always require a long proof, that exists somewhere in a huge search space.

So, type checkers, model checkers and static analysis are all scalable for the same properties, and not scalable also for the same ones.

Also, there are no end-to-end methods, as far as I know. There are just projects small enough, and people devoted enough to do incredibly tedious work.
As parent mentioned Miami can’t be protected with sea walls because the geology allows water to seep up and will drown the first floor of buildings with any sea level rise
Hi, I am from Azure Cosmos DB Engineering Team.

For development (before going into production) with Azure Cosmos DB, we suggest a number of options (also documented here: https://docs.microsoft.com/en-us/azure/cosmos-db/optimize-de...):

[1] Cosmos DB emulator (Cosmos DB Local version) - https://docs.microsoft.com/en-us/azure/cosmos-db/local-emula.... The Azure Cosmos DB Emulator provides a local environment that emulates the Azure Cosmos DB service for development purposes. Using the Azure Cosmos DB Emulator, you can develop and test your application locally, without creating an Azure subscription or incurring any costs. When you're satisfied with how your application is working in the Azure Cosmos DB Emulator, you can switch to using an Azure Cosmos DB account in the cloud. Support for Cosmos DB emulator on Linux is coming.

[2] We provide Try Cosmos DB for free experience - https://azure.microsoft.com/try/cosmosdb/. There is Try Azure Cosmos DB for free experience which gives you a time-limited full-service experience with Azure Cosmos DB. It is designed for trying out Cosmos DB, doing a tutorial, a demo, doing a quick start, a lab without requiring an Azure account or a credit card.

[3] We provide a free tier (Cosmos DB is a part of free account) - https://azure.microsoft.com/free. In Azure, we support a free tier with 12 month access to all popular services in Azure. As a part of free tier specifically for Cosmos DB you get 5GB in storage and 400RUs.

Thanks so much!
> Under copyright law, translation of a work is considered a kind of modification.

Wow. I'm really curious about what legally counts as a translation. It's an interesting mathematical problem.
I agree. Also 8-12 months is an unrealistic timeframe to generate revenue. Most startups, especially bootstrapped ones need at least 2 years before they gain any serious traction.

With some discipline, you can dedicate 2 hours a day on your startup.
function isEven(int i) {
return !isOdd(i);
}
I'm baffled why people are suddenly marketing CSS themes

Is it just a demonstration of skill?
If you spend years disincentivizing housing development with rent control, of course lifting the regulation is going to cause rents to increase.
She had no tub, no shower and no heater. She heated it with the stove and a fireplace. Eventually, the landlord insisted on providing her a heater. She never used it and showered every day at the Y because she had no tub or shower.

I have very mixed feelings about this.

On the one hand, it casts some light on housing standards from decades ago. The amenities we expect for any and all housing were simply not expected for all housing types.

On the other hand, by some definitions, this woman was "homeless" or at least "inadequately housed." Her two bedroom apartment sounds a bit like a glorified shed.

I'm stunned that this seems to not be making anyone's radar. It's the kind of accommodations that winds up making headlines as illegal and run by an abusive landlord taking advantage of people.

But it was presumably legal when she moved in, so people are fine with this? While decrying SROs as unacceptable housing these days for some reason.

I think my cognitive dissonance is pretty maxed out at the moment.
the data points to other companies/products/projects doing it, and they seem to have customers, get funding, and still be in business. I don't even need to invoke the cynicism of "resume-driven-development" to get to that point, and I think that's probably as deep as some people go when justifying their design direction.
Please don't delete posts just because they are voted down. It only hurts discussion.
That does not resemble my childhood memories of the Nanaimo Bar, but it did provoke some intense nostalgia.
I agree with you.
Unfortunately there's numerous perverse incentives within the business sector that are promoting this.
I'm glad I won't be alive in 2070 to fly intercontinental in an aeroplane with avionics written in Node.js...
Largest challenge nowadays is just getting someone to use it.
I've run a server for the past few years, and I plan to continue for the foreseeable future. And of all the things that lead to an issue, its just getting someone to not immediately throw their hands in the air and flop around. It's not hard, and I'm fully willing to help those people, yet for some reason, it never sticks.
I don't even know if a lot of people these days can grasp/enjoy the concept. I don't know of any popular social media that just throws you into a community of people that don't know, except for Discord, which still has a way different feel.

It's strange, and there isn't much I would say I could do personally. But I'll keep my server going as long as I physically can, out of stubbornness if not anything else.
A person close to me had to deal with a concussion for years. Of course each situation is different. Also, I am not a doctor. We know this for a fact, that had he taken less drastic measures after the injury, he would have had to deal with less consequences. Moving, changing doctors, he remained unhappy for long. From what I know, he had far more trouble than you with his first doctor. I personally learnt something from his experience, that when there’s a chance that things can go very very wrong, avoiding or taking actions that would shake the status quo too much is a terrible idea.

The unfortunate fact is the possibility that some part of the cognition takes years to return. He appreciates how he has changed now. It’s been years. I think some of his changes are also due to aging and the hardship. In hindsight, alienating the company might seem like a very terrible idea for him. Fact is, if neither of you were injured, there’d be no such conversations. The core of the problem is the concussion and that is tough to deal with. His was very severe and led to a long pause in his career. As for the doctor, and reiterating that I am not a doctor, my understanding is that there’s little a new doctor can do beyond recommending practice sessions. Unless the science has changed very recently or medical practice is different where you are. Best of luck. Feel free to leave a way so I can contact in case there’s more I can share.
Comparing Kubernetes Service Mesh Tools
> For example, if I saw "isOdd" in code, I'd wonder what the heck that was doing. I'd go look up its documentation, implementation, test cases, etc., find out "oh, it's just doing the obvious thing", and be annoyed at the waste of my time.

Huh. That is not at all what I would do. I would think 'oh, that's checking if the thing is odd' and keep going. If I see i&1, then I have to unpack that, parse it, figure out why it's there and that it checks oddness. Also relevant is that i&1 checking if i is odd is a detail of i's internal representation. There's nothing intrinsically odd-related about the operation &1; that it checks for oddness is a co-incidental side effect, just like how making a truth table of (0, 0) => 0, (1, 0) => 1, (0, 1) => 1, (1, 1) => 1 happens to correctly simulate the behaviour of an or logic gate, even though there's nothing inherently or-y about it.
Yeah...that is heftier than any nanaimo bar i've ever had. Those things are so rich it's hard to eat a whole normal sized one. That's just a bit much.

Looks more like an ice cream sandwhich to me.
Hi, I am from Azure Cosmos DB Engineering Team.

@llcoolv has responded and the response is correct.

For scenarios where you create a lot of collections/tables, we recommend to provision throughput on a database and share the provisioned throughput among all the containers – to save on costs. You can change the throughput at database exactly like how you will change the throughput at container level. It is the same API, it is supported via CLI, SDK, Rest API and Portal as well.

The entry point for database level throughout is 400RUs $24 per month and you can add any number of collections/tables that can share this throughput. You can scale up and down in the increments of 100RUs (or $6/month).

Please see the following links for details:

[1] https://docs.microsoft.com/en-us/azure/cosmos-db/set-through...

[2] https://docs.microsoft.com/en-us/azure/cosmos-db/how-to-prov...

[3] https://docs.microsoft.com/en-us/azure/cosmos-db/how-to-prov...

Please see the sample here for moving data:

[4] https://github.com/Azure/azure-documentdb-dotnet/tree/master...

Thanks!
I don't think NodeJS is an issue, the problem always lies in PEOPLE who wrote code.

If you want me to said what's the terrible thing? the code that very FEW people actually use, no one EVER VERIFIED it.

Do you dare to install these piece of crap to the plane you sit on?
The gut-brain connection do seem to be true on my end.

I am always careful to avoid carbohydrates when I am starting work that is concentration heavy.
Acesleep+Mattress+Review+Keeping+You+Cool
BTW, I just want to say that if you get a chance to eat a Saskatoon berry pie: do it. I haven't had the chance for at least 20 years, unfortunately :-(
"A new scientific truth does not triumph by convincing its opponents and making them see the light, but rather because its opponents eventually die, and a new generation grows up that is familiar with it." -- Max Planck https://en.wikiquote.org/wiki/Max_Planck

Or the shorthand version "Science advances one funeral at at a time."
Good content is one part.

Amplification (getting your content out) is the other part, and unless you've got an audience already, it's even more time consuming than preparing the actual content.
A tale of how Google tried to win against Mozilla
This is nice. Good stuff.

I've always automated my Markdeep[1] documentation's inline PlantUML diagrams with a few scripts here and there (simply looks for .puml files, exports PNG and SVG and hosts everything on a static site), but I've never imagined using a service for supplying the generated output. I want to bounce off this idea somehow.

[1]: https://casual-effects.com/markdeep/
About 70 to 80 percent of the body's immune cells can be found in the gut. I strongly suspect this means eating is the single biggest immune challenge the body deals with in day-to-day life.
I've also run one, and nowadays it is more like a bridge between Slack and Discord channels (there is even a dedicated API for such use cases, much like "bot" accounts in those proprietary services). Given that those services generally refuse to cooperate with each other, this might be an interesting opportunity for IRC.
The wisdom of sorrow: Is evolution the key to understanding mental illness?
odd to add Snowden to that

Assange was in a building, Snowden is in the largest country on the planet
Couple of tips about the SBIR/STTR programs:

1/ They exist so US gov't agencies can get products they need developed, especially when the risk involved in R&D means they judged not worthy of private investment.

2/ First round SBIR has somewhere <20% acceptance rate, so you'll need to plan to make multiple applications over multiple periods. The effort isn't less than the VC route.

3/ Develop a relationship with the sponsor (person who put out the solicitation). This is similar to networking with VCs and prospective customers.

Working with the US Government is a very different set of problems than VC money.
AIUI clean room implementation isn't required, just good practice to avoid

- Accidentally copying copyrighted material (past what fair use allows)

- Expensive lawsuits where you have to actually argue that "no we didn't copy copyrighted elements"

We're talking about two open source projects here, the latter anyways doesn't really matter.
You can’t consider credits revenue until they are used. This is GAAP.
not at that point in time, if at all. his identity and the outcome is unknown. many people were charged, many people were killed.
Just found this too

Pretty hilarious, not sure how it could happen by accident!

(I found this page for googling for some of the content of the email in quote marks)
Depending on your values. He clearly valued other things above personal safety.
> It was 8 months old when Debian 8 shipped

I don't know what you're trying to say with that - if it was already 8 months old why wasn't it included? Why are these packages always so old?
But think about that for a second.

Apple spends something like 1 billion dollars a year on Apple Maps. There is no strategic reason for them to do maps. They aren't making money from it. They are anonymising the statistics they gather. They chose to spend this insane amount of money doing something completely foreign to them just so their customers don't have to use Google Maps.

Let that sink in.

It's incredible.

As for the quality of Apple Maps—yes, it was rubbish when it first launched but today it is usually (depending on your city and your specific usages) within cooee of equally good. In fact I tend to find Apple Maps often superior for walking and public transport directions in an unfamiliar city.
After about three or four sentences, I knew I was going to like what Brian Pennie was bringing. There are times when you must bulldoze your life in order to live.

Indeed...

"Verily, verily, I say unto you, except a corn of wheat fall into the ground and die, it abides alone: but if it die, it brings forth much fruit. He that loves his life shall lose it; but he that hates his life in this world shall keep it unto life eternal."
Meal prepping between my work has done me wonders. I'm still being productive, but it's mindless enough to the point where I return back to my work feeling refreshed and more efficient than if I had stuck it out.
Maybe just me, but for every kid topic I’ve searched there are these uncanny valley fake families over dramatizing an activity. From Nerf battles to DIY stuff.

For young kids on YouTube I’m a fan of coasterfan2105: https://www.youtube.com/user/CoasterFan2105

All train footage. It’s not the biggest hit, but keeps them entertained for a while.
Tesla is raising the price of its full self driving option
Note that some of this is by design. For example, I'm in this category: 'It's great, for example, for professors not fully committing to a venture, but wanting to run it on the side over a prolonged time.'

Most startup land-friendly funding mechanisms aren't well suited for that.
Look how I'm living now

Series F around the corner now