skysight-inc/HackerNews huggingface dataset:
my only experience in this area is Dafny, which aggressively automates the proof-finding (by passing it to Z3), but when that fails the compiler is exceedingly vague on what remaining obligations need to be discharged. You have to stumble around in the dark, trying asserts and assumes, until you narrow down where it got stumped.

are there other automated-proof languages that do a better job on this?
The Most Common Causes Why Programmers Get Fired
Given the monopoly he has, he could probably get away with multiplying the price of items and trying to transform it in a profitable business. It's more of a choice to make it a hobby.
> It's very rare to stay in touch if you change jobs.

I'm going to disagree here. I have plently of friends who I met through work. Some including former direct reports.

The same goes for many people I know. I don't keep in contact with everyone I worked with - but there are a key few who I'm happy to hang out with.
The most underrated thing on here is probably Visual Studio Code. It's a really great piece of software and has a bunch of really neat features when editing on a remote machine.
The Doctrine of Dynastic Wealth
I don't think UBI is ever the answer and the article hints at that. Giving the low paid workers 'bargaining power' doesn't negate the points OP made. Flooding the economy with free money to everyone also doesn't hold up to actual analysis. The US has 300M+ people, even $1000 a month to each person is utterly unrealistic in terms of our GDP.

The answer is highly targeted programs that increase general prosperity. Money for cheaper energy, better services, public works, public transportation, more housing and favorable investments in future technologies are what drive prosperity. Make people as a whole less motivated to work is the antithesis of economic prosperity.
> Step 1 – Opening European offices

Ok - so if you aren't big enough to need multiple offices what then?
You be you. May you have interesting times in early retirement.
I wonder if there should be a per-vehicle cap on damage where a vehicle is so expensive that the owner insures it for any damage over some amount, say $60,000, or the 95th percentile new car sale price.
I've updated the UI of the game, so that it's more obvious that the 1st stone is weaker than the subsequent ones. Hopefully that will help with some of the confusion.

I agree that a 55% weak stone is not ideal, but it seems to be the easiest way to balance the game for now. Having the 1st stone become "locked" if it doesn't get captured, would also be surprising for new players.

I also did think about just letting players enjoy the 1st-player advantage, but on hard AI, green wins 43-7. That was what made me think of a way to balance the game in the 1st place.
> The cost of rent and everything in the market goes up with the tide.

Exactly. This is what happened in France with the allocations logement (APL). Since the state was now funding a part (let's say 150€ over 400€ rent), what the landlords did was rising the rents by about the same amount. Results were net negatives:

1. Purchasing power of student didn't change

2. Rent augmented for everyone in the segment of housing that could be rent to students

3. Rich people get richer
I believe founders will own a percentage of the company outright as recorded in the cap table.
35h workweek is absolutely great, but I personally wouldn't fancy a two-hour lunch break. Would _much_ rather take a shorter lunch and get out of the office earlier.

(Just highlighting that different people have different preferences. :))
Genealogists tend to be an older crowd for sure, for a mix of reasons. I'm just entering middle age, so I can only speak for myself. I remember as a very small boy doing an elementary school family history project and finding it captivating. There were people I had never met but played an important role in determining who I was and the family culture I grew up in. To me, that is just inherently fascinating, and I have a hard time understanding people who don't feel that way (even though almost no one I know shares this passion, including my closest friends and family members). I think most genealogists have a similar experience. We end up finding 4th cousins who we are are very tangentially related to, but we bond over our shared interest in our ancestors and the process of genealogy research.

For me, genealogy is almost a perfect fit for my skills and interests: I believe strongly in the importance of family, I enjoy history and geography, I am trained as a lawyer so I can decipher the many legal documents that lead to important details, I enjoy the detective work involved in cracking hard cases, I enjoy the sense of completion of filling in a new branch on the tree, I enjoy writing and sharing my research with family members, I'm a skeptical person and have good critical reasoning skills, so I can spot a lot of errors in other people's research and try to correct them. Perhaps most of all, I enjoy learning about the lives of my ancestors. I feel that telling their story honors them and keeps their memory alive, and that's important to me. I hope some day my descendants will enjoy reading my work.

There are some people who get the bug for genealogy and get really into it, and maybe that helps explain why.
> “A fair bit of support and free services” != a home

The city provides studio apartments with "daily meals, laundry, showers, housing application assistance, community and health service referrals, skills building, relationship building, connection to volunteer and employment opportunities, and other support services".

It's not a home, but it certainly means that the people availing themselves fully of the opportunities presented to them aren't unwelcome on transit because of their inability to maintain basic hygiene.
The problem is some of the alternatives seem to be suggested by way of "if we had any support for this it would be better than O_DIRECT". So don't use O_DIRECT, use the alternative which doesn't exist, is still too slow, only covers parts of what you need, etc. .
I have been working 4 days a week or less for about a decade by now. It's been the single best improvement to my quality of life. I've got to spend more time with my family, hobby projects, learning new things and simply chilling out. I will never ever ever ever work 5 days again.
Something to keep perverts busy instead of letting them find what they were already looking for

If the affiliate sites were actually intentionally providing that kind of media I would call it very shady to take affiliate dollars from them
But we're not bacteria. Humans are capable of ingenuity. More people means more invention.

Further, this video paints a vivid collapse. I believe we would instead see a gradual decline. Maybe we're seeing that today?
Thanks :)

For the first point, yeah I agree, though I would still keep standard API documentation separated. And it gets "worse" when you add the 4th site: https://code.haxe.org which helps with 4th point (partly?).

Tricky thing with guides like "how to make a game" is that it's not a haxe-specific thing; it's a haxe framework specific thing which they handle on their own: https://haxeflixel.com/documentation/, https://heaps.io/documentation/home.html, https://github.com/Kode/Kha/wiki (is there a better link for kha?), etc. There are links in https://haxe.org/use-cases/games/ but discoverability could likely be much better and include a generic "how to make a game" start point which points to either framework depending on your needs (2D/3D, mobile/desktop/console/web, etc.).

Indeed Haxelib isn't visible :x Now that you mention it, we had a few haxe newcomers that didn't know about it. We need to do something about that (even if it might get a replacement in the near-ish future https://github.com/HaxeFoundation/haxe/issues/9135)

Good point about std lib docs too! Some, maybe including MainLoop, are harder for community to document but we should ask help from core compiler devs.
> What isn’t clear is what benefit the reproducibility provides. The only way to verify that the untrusted binary is bit-for-bit identical to the binary that would be produced by building the source code, is to produce your own trusted binary first and then compare it. At that point you already have a trusted binary you can use, so what value did reproducible builds provide?

That's not the interesting case. The interesting case is when the untrusted binary doesn't match the binary produced by building the source code. Assuming that the untrusted binary has been signed by its build system, you now have proof that the build system is misbehaving. And that proof can be distributed and reproduced by everyone else.

Once Debian is fully reproducible, I expect several organizations (universities, other Linux distribution vendors, governments, etc) to silently rebuild every single Debian package, and compare the result with the Debian binaries; if they find any mismatch, they can announce it publicly (with proof), so that the whole world (starting with the Debian project itself) will know that there's something wrong. This does not need any complicated consensus mechanism.

> More often, attackers want signing keys so they can sign their own binaries, steal proprietary source code, inject malicious code into source code tarballs, or malicious patches into source repositories.

In Debian, compromising the build server is not enough to inject malicious code into source code tarballs or patches, since the source code is also signed by the package maintainer. Unexpected changes on which maintainer signed the source code for a given package could be flagged as suspicious.

The only attack left from that list, at least for Debian, would be for the attacker to sign their own top-level Release file (on Debian, individual packages are not signed, instead a file containing the hash of a file containing the hash of the package is what is signed). But the attacker cannot distribute the resulting compromised packages to everyone, since those who rebuild and compare every package would notice it not matching the corresponding source code, and warn everyone else.
> So what?

This is how the poor stay poor, and those who are "just broke" become poor. In fact, people who are working are much more likely to engage in other community activities and volunteer.
> If the nix folks could convince him that the package would never contain modified code (no no untested/unsupportable modifications), and further that the home-assistant package in nix would always use exactly the version specified upstream (so no version mismatch concerns), he would likely be less opposed.

They did everything possible to try to convince him but he had his ears closed and refused to listen.

> Unfortunately the latter is very much not true right now.

Based on the above, it is very much true.
Outlier Detection Using UMAP
That’s under resources, but yeah, I forgot time.
Presumably that team calls some sort of package management/build api to publish their new driver or whatever.
Our country is wealthy enough

That's really going to depend on the business. Plenty of businesses-- specifically ones with a lot of customer-facing staff-- would not be able to sustain labor cost increases up to 20%.

To take an easy example where I already know the #'s in the US, labor costs at a fast-food restaurant are around 25% of costs. Net profit margins range from 5% up to around 20%, but that top end is for McDonalds, the rest are on that lower end.

Increasing labor costs by 20% means a 5% increase in absolute operating costs. Sure, McDonalds may still run at 15%, but other places that increase for many others would erase profitability.

Even with a McDonalds, those franchises don't go for less than $1million each, often a lot more, and 20% profit on them seems to be about $150,000/year. So an owner is already looking at 7+ years to recoup their investment, and that's before accounting for any additional capex costs McDonalds may require when they roll out mandatory renovations.

Certainly there are many more businesses than fast food, so the above equation won't hold for every thing. But any low margin business with moderate customer-facing labor costs won't be able to manage this without raising prices, and then we're just shifting the money around to different piles. In fact as a result of those increased prices, the lower paid workers, while they may be able to work less hours and may work for a business that didn't cut their pay, they're still paying the price for that decision in their overall increase in cost of living.
In its apogee it is 0.85 light years away from the Sun.
> UBI means that anyone who's able to live frugally may, at any time, retire

Will never happen: a soon as it starts rolling to a significant number of people, the minimal rent set by landlords will be the amount of UBI. In addition to its other issues, it can't work in a market where landlords can freely set their rents.
The first-ever 3D map of our solar system's heliosphere
I don't think there's any optimization for hard drives that is going to hurt on SSDs, and unoptimized workloads are always going to work better on SSDs. I'm inclined to agree with GP that SSDs are quite close to random-access storage and so there is little to worry about.
Ask HN: How to know if public WiFi is secure?
Is there an easy application or web-app to determine if a public wifi hotspot is predatory or legitimate?
Update - I've updated the UI to have a clearer visual indicator of how close the tiles were to flipping, using the size of the colored area.
anecdotes like this are how you generate a hypothesis.

the OP here said "So for me, my take is the drugs absolutely worked. "

They do not know this. This is not how science works. They jokingly said n=1 but given it's not a RCT it's more like n=N/A.
I Should and Shouldn’t Use Off-the-Shelf Software Products?
Update - I implemented your idea about a sub-shape inside the hexagon. So the colored area now grows/shrinks with the tile's 'influence'
Yes. I agree, birth rates have been lower in many places before the pandemic, probably in gradual decline over the last 60 years.

Perhaps I should've clarified that I fully expect that we'll be dealing with an ageing population in the future. The question here is whether or not the pandemic played any significant role. It's possible that it may have even slightly "helped" the problem of an ageing population.
Best assume it's not and use a VPN.
What you're describing isn't real life.

Living as a species takes work - granting a portion of the population to essentially become dead weight, with entitlement to being able to live off the fruits of other peoples labor won't end well.
Just for fun, I did some ballpark calculations. Let's consider the simpler problem of just putting 2014 UN271 into a circular orbit around the sun at its periapsis of 11 AU.

Calculating the exact path of an orbiting body under thrust is difficult. But the object will be within 1% of the desired orbital radius for roughly a 22-degree arc of its orbit centered on the periapsis, during which time its path will be closely approximated by a circular arc 648 million km long.

Let's say that over the course of this arc, we want to slow it from its initial speed of 12.7 km/s to the required circular orbital speed of 9.0 km/s. That means we need a continuous deceleration of roughly 0.00006 m/s^2 over a period of 2 years.

Assume that we'll produce this thrust by launching material from the object into space using mass drivers. By the Tsiolkovsky rocket equation, the smaller the fraction of the object that we want to use as reaction mass, the larger our "exhaust" velocity has to be. If we want to only lose 10% of the total starting mass, we need our exhaust velocity to be about 10x the total desired delta-V -- that is, 37 km/s, or roughly 0.01% the speed of light. This is a tall order, but let's say we can somehow solve the engineering problems and build a linear accelerator that can get rocks moving that fast.

Assume the object is 160 km in diameter and made entirely of ice, giving it a total mass of about 2.0e18 kg. The total required momentum change is therefore about 7.5e21 kg m/s, and the required energy input is 1.4e26 J. If we assume constant thrust for two years, this means we would have to launch about 3.2 million tons of material per second, averaging out to 2.2 exawatts of power required.

To put this number in perspective, it's several million times higher than the average electricity generation of the entire planet Earth. To generate this much power using 100%-efficient solar panels, at a distance of 11 AU from the sun, you would need a solar array approximately half the diameter of the sun itself.

So a direct propulsion approach, at least, doesn't really seem like it's within the realm of feasibility.
List of Trading Losses
Imp ist der Beste.
The original non-dated UK registration system is still in use in Northern Ireland, letters based on county of registration followed by sequential numbers.

So a study might be able to look at mainland UK vehicle retention rates versus NI, though it would have to normalise for income and outgoings.
Yep, I used to work for my country's social security department, and personally moved from "stealing to survive" to "getting by on social security" to "it's a shit job that pays shit, but it's better than the dole" to eventually a comfortable low six figures salary.

And it sucks whenever you approach the edge of the assistance thresholds.

I was always grateful for the assistance, but it was always stressful when you were in the "just over the threshold" area.

And when I was working with people receiving assistance, managing that transition was critical in getting people into work.

I used to phrase it as "yep, you're only going to earn $20 a week more than the dole working fulltime in this job, but in three years, if you stayed on the dole, you'd still only be on the dole. Odds are you'll be doing far better after 3 years of working."

Policy makers are trying to minimise the impact of them, but people not receiving assistance expect those who are to be subject to strong limits.
Yeah but why not just have literal slaves and not require that people have health insurance.

The reductive "race to the bottom" can go both directions
Code Reading Basics
OBS is really the big enabler in (my) online teaching at the moment. I use an IPad with a drawing app, I draw on a predefined colored canvas and overlay it in OBS with a chromakey filter. If that is available to you, it is even cheaper. But then again, I am looking slightly down while writing..
Release Build Comfort Levels
I think it’s simply a piece of glass with an LED strip along the bottom edge (and a frame). So the light shines up through the glass and illuminates the markers.
"To some"
> The Japanese government isn't saying "Let's get rid of pointless meetings and busy work!"

Maybe, but if you've worked in Japan, or even just living here, you know about the long, pointless meetings, desk warming and busy work. Thus, it's highly possible the government is saying "let's get rid of pointless meetings and busy work". Things are that top-down here that often companies won't do anything unless the government has said something (and it's likely that it was the big companies that control the politicians that told them to say it).

There are plenty of examples of this kind of thing, one is when the government had to do the same to force companies to let/get employees to use their holiday entitlements. Western principles such as truth, innocence and self-reliance aren't foundational here - the moment you accept that you understand so much more about the culture, in much the same way you won't understand Buddhism if you use a mental model constructed out of your understanding of Christianity.
Unmarried, childless, 20-something me would have loved nothing more than to have that kind of isolation. I love my family, but I could very easily picture myself not interacting directly with people and being very happy.
Recently started moving my family tree over to this from some software from 2012. So glad to see such a pleasant open source option for genealogy.
This isn’t even new, the idea that the bioenergetic functions of neurons play a central role in pathological disorder is a one of many different popularized theories. This place discovers the basics day in and day out, lol.
Which interpreted language has the fastest startup time.
This is my habit as well. Rarely click refresh button.
I can't speak for other developed countries but here in the UK it is very much company- and industry-dependent. At my first 4-5 jobs (mostly in the finance sector), everyone ate at their desks. At my current employer (FAANG), no one does.
For people that are not aware: ArchLinuxARM [1] is an unofficial Arch based distro for all kinds of ARM devices.

Using it for my router, firewall and NAS hardware - and can totally recommend it.

[1] https://archlinuxarm.org/platforms
In Wake of Duerson Case, 5 Questions About Football and Brain Injury
It's hard to know design about compatibility between Amazon Linux and RHEL. It seems that Amazon Linux no longer targets full RHEL/Fedora compatible, but it still support EPEL. Anyone know good documentation?
Thanks, have added a license! Decided to go with MIT for its simplicity.
wow is that 8 people for painting a line?
Hi,
freestuff.dev built with hugo SSG
Currently the easiest way to contribute is creating a new file on github.

I have an idea to make a GUI, so people just put links, benefits and tags, the other stuff will be pre-filled, but still will go through github's pull request.

Let me know if you have an idea to make it easier to contribute
np.newaxis instead of None is the idiomatic way
The article makes zero claim that it includes medical databases or any databases I can find.

https://www.google.com/search?q=database+site%3Ainternet-in-...

This is why I want to know the name so I understand what you think IIAB does.

You seem to think these communities can skip the internet development of the Developed West which was - Academia -> Porn -> Shopping -> Illegal Movies -> Legal streaming movies-> Getting close to formal education

But I'm not getting this leap you think it can do.
So, exactly like everyone else today?
Your last line made me wonder if there is any serious R&D in the cosmetics industry (or if all money goes to hiring better-looking celebrities to advertise products that do the same nothing as they have done in the past - which sounds like a much saner business plan than "actually trying to fix aging").
Entry-level to mid-level is about 15-35万円/month. I am really curious what sort of SMEs you are talking about. Mind giving some examples?
This is an article from 2017 and seems to primarily target the "old" Edge.

Later Microsoft moved to using Edge based on Chromium.

(Previous discussion https://news.ycombinator.com/item?id=14149647 )
Another example of this is in the study of domestic animal behavior with speak buttons.

I believe this amateur wave is part of a much bigger set of societal actions “challenging assumptions” of the former era.

There is a sharp decline in reverence for “authority” along with a lowering of barriers to entry. Almost anyone with interest and bravery to share has a chance to shine in any subject area.

Computer science is leading the way, in part because it often requires little or no physical presence or collaboration. Proof of advancements can be disseminated in perfect fidelity and validated quickly.

In other fields, people who happen to live among a rare natural phenomena have great potential to fall into discovery others could only hope to witness at great expense.

Following this to its natural conclusion all fields will ultimately be advanced by a mix of professionals, academics and increasingly “amateurs” that earn reputation not by publishing but by pure contributions of content that unquestionably move the field forward.