skysight-inc/HackerNews huggingface dataset:
Pretty funny. More than anything else this reminds me of Atlas Survival Shelters on wheels, and it seems like it actually worked pretty well as a survival shelter; it was just the "wheels" part that failed.

I wonder why he didn't use tracks? In the US, Holt (the corporate ancestor of Caterpillar) was building tracked farm tractors to improve traction in farm mud from 01904 (getting a patent in 01907), and surely it wasn't news to anybody in Massachusetts that snow was soft and hard to keep traction in, like mud; and tracked vehicles were also being developed in England, and both France and England had deployed Holt tractors in World War I, and deployed tracked tanks by 01916, while Germany had built their own tracked tank by 01918. Muscott built his snowmobile with rear tracks and front skis in 01915. And apparently tracked vehicles were being used in Antarctica from 01911:

> In a memorandum of 1908, Antarctic explorer Robert Falcon Scott presented his view that man-hauling to the South Pole was impossible and that motor traction was needed.[29] Snow vehicles did not yet exist however, and so his engineer Reginald Skelton developed the idea of a caterpillar track for snow surfaces.[30] These tracked motors were built by the Wolseley Tool and Motor Car Company in Birmingham, tested in Switzerland and Norway, and can be seen in action in Herbert Ponting's 1911 documentary film of Scott's Antarctic Terra Nova Expedition.[31]

<https://en.wikipedia.org/wiki/Continuous_track#Snow_vehicles>

You'd think they would have done some testing of prototypes in more conveniently located frozen tundras before asking Congress for funding to built the full-scale vehicle and ship it halfway around the planet. Then again, maybe the goal was getting the funding, not delivering a working vehicle.

What if you wanted to attack the problem for real? Maybe instead of a single gigantic vehicle (the medieval units used in the article translate to 17 m by 5.2 m in modern units) you could use 2-4 smaller vehicles so that a single steering-system failure, uncontrolled fire, or carbon monoxide leak in the middle of Antarctica wouldn't consign the whole expedition to death. Maybe you could build a relatively lightweight dome that could be rapidly erected when you were parked, or perhaps even suspended on springs around the moving flotilla of vehicles.
With the self hosted compiler, is there a plan to provably determine the binary remains free from viruses?

How will you verify the chain of trust?
> Why do you find it annoying? Electrical safety norms require either a ground pin attached to the shell or double insulation, and the charger has double insulation.

Though totally safe, the leakage current I feel when touching the metal body is very annoying. See also here: [0]

> Moreover the Europlug has only two pins and fits every socket in Continental Europe, grounded plugs differ by country.

That is correct, hence why the plug in an Apple charger brick is interchangeable. However, the cable attachment is grounded, but the short attachment isn't. When using the cable attachment, the device is grounded and doesn't shock me, with the short attachment I get shocked.
Since they did make the grounded cable that fits my countries outlet, it annoys me that I can't get a short grounded attachment with the same plug.

[0] https://superuser.com/questions/1331984/why-does-my-macbook-...
On the other hand, I've always found the Scott Expedition very... illuminating. They had 2 proto-snowmobiles. One fell into the ocean when they were unloading it. The other one had a mechanical failure shortly after the final team departed the last camp, and Scott didn't bring the engineer with him because an officer of higher rank threw a pissy fit that the engineer was going but not him. Only one of a rather long list of poor decisions.
So you started writing crappy apps because it was easier for you and now you want to be paid double to fix your shit?
how could you possibly pin it on EM radiation when there are so many other factors in ecosystem collapse?
Operator error, I think.
Qt works in more places than chromium and is much more native - it's even the native platform for multiple OSes
I was expecting the article to contain a note about SQLBoiler (https://github.com/volatiletech/sqlboiler) and why they didn't use it, but it doesn't. So I was expecting SQLBoiler to be heavily mentioned in the comments, but it's not the case.

If you want to see a (slightly heated) debate about `sqlc` versus SQLBoiler with their respective creators: https://www.reddit.com/r/golang/comments/e9bvrt/sqlc_compile...

Note that SQLBoiler does not seem to be compatible with `pgx`.

[edit: grammar]
Then perhaps we should ban inheritance. It seemed unfair anyway.
https://sensor.community/

Used to be luftdaten.info (German), but seems more international now. They built a pretty accurate sensor based on an SDS011.

No soldering required.
Depends on why. If rates have been declining because people are more educated about birth control and family planning, that's good news indeed. If it's because of new restrictions on access to abortion, that's not fixing the problem at all.
If you’re interested in this topic, I highly recommend the book “Command and Control” by Eric Schlosser which describes the details of America’s nuclear arms through the lens of an accident at a Titan II missile silo that could have gone very badly.
As someone who has already had a severely atypical mole removed before the age of 23, and who has a family history of melanoma on both sides of my family, man do I hope their mRNA cancer treatment works well.

Though luckily, melanoma seems to be waaaay more treatable now than it was even 15 years ago, but hopefully in another 10-15 years, Stage III or IV melanoma isn’t much more serious than a basal cell carcinoma.
> government treats crypto as property, at least tax-wise

This is because the crypto community by and large also uses it like an investment asset, and not a currency.

> Negative interest rates in some parts of the world

This is to boost spending into the economy, and not as a result of currency being fiat.

> Ever increasing sovereign debt throughout the world, with no intent of ever paying it back

Sovereign debt is a problem, but it’s not solved by using an supply-limited cryptocoin. Governments exist for the people (corruption and inefficiency notwithstanding) and will create/spend money to build infra and promote the economy for its people.

> Lack of ability for 24/7 payments, or even instant payments

It’s good that you acknowledge a lot of these are USA-specific problems, because indeed, it’s possible to do 24/7 instant digital payments in most of Europe and Asia.

> No APIs for banks

Again, this is solved in EU (PSD2) and Asia (UPI in India). There are lots of apps that use these APIs and have created a burgeoning FinTech landscape.

> How do people here beat inflation

This is a social policy issue, and does need to be solved (not by currency changes though). The only people who worry about money vs inflation are wealthy people. Everyone else is trying to survive, and couldn’t care less about hodling crypto.

> proof of stake coins

These put early adopters and wealthier owners at an unfair advantage. Thus furthering wealth disparity. Even with fiat, the wealthy class can make good returns and avoid inflation, like you mentioned. The returns vary, but but so will crypto once adopted widely.

> reward for helping secure the proof of stake network

This is really wasteful. I’d much rather investments that support real-life industries, local entrepreneurship, or even just plain index funds that support the entire market.

> war on cash

I fully agree that the ruling class has been screwing over the average person, by devaluing their labor and greedily extracting profits.

But again, it’s a social problem, not one that tech like crypto will ever solve.
So much this. From Wikipedia:

"Whether any injury came about due to the inhalation of paraquat-contaminated marijuana is uncertain. A 1995 study found that "no lung or other injury in cannabis users has ever been attributed to paraquat contamination". Also a United States Environmental Protection Agency manual states: "... toxic effects caused by this mechanism have been either very rare or nonexistent. Most paraquat that contaminates cannabis is pyrolyzed during smoking to dipyridyl, which is a product of combustion of the leaf material itself (including cannabis) and presents little toxic hazard."
The big selling point for k8s vs ECS is that it (theoretically) allows you to lift and shift your cluster to another cloud provider without too much pain because load balancers/storage/etc sit behind an abstraction layer. When you are AWS that's not really something you're even going to consider, so you may as well build with the underlying primitives because its absolutely guaranteed no one is ever going to ask you to migrate to Google Cloud.
Prestige Groups new pre-launch project - Prestige City Avalon Park - Prestige Avalon Park is a prodigious residential setup with 1BHK, 2BHK, 2.5 BHK and 3 BHK apartments spread across 40 Acres located at Sarjapur Road near Sarjapur Road of East Bangalore.

Visit : https://www.prestigecityavalonpark.in/
It's because it's not about India, it's about the Nipah virus.

Viruses don't know borders. Block humans and they'll pass through the animal route.

Also, the Nipah virus is extremely contagious, like the covid.
> AC: typical thresholds is 2T/s for 1 s.

Does this depend on frequency?
Radioactive snakes help scientists monitor fallout from Fukushima disaster
> Building a 100m tall sky scraper is not 10 times as expensive as building a 10m tall 3-story house - it is at least a hundred times more.

Most of your cost difference is that a commercial building isn't just taller than a house, it's also wider. Instead of taking up a third of the lot, it uses the whole thing, and then has 30 times more interior space despite being only 10 times taller. They're also built to commercial building standards which are more expensive to meet.

The costs start getting non-linear when you get into extremely tall buildings that pose special engineering challenges, but nobody is talking about building a fusion reactor into a skyscraper.

> I have no idea why you even imagine that it's possible at all to construct a nuclear power plant out in the ocean. There is certainly no precedent for anything even close to that.

Nuclear submarines survive the ocean just fine.
The realities of dread and pain are part of reality - no doubt about that. So are joy and love. A pure materialist view would have to accept these realities without judgement.

We _want_ to be able to say that suffering and pain imply meaningless, but I don't think that is consistent with a purely materialistic understanding of reality. It is what it is - that's all that can be said.

The materialistic view takes an epistemological stance that precluded the possibility of the metaphysical. That's not the same thing as the actual non-existence of the metaphysical. Fiat money, power and the nation state are all concepts that don't have material existence yet these are realities non-the less. The material world doesn't set the limits to reality, just the context.

Even if you see humans/society as just really complex versions of a cellular automata (or composed of nested automata) you can't deny that the emergent properties are more meaningful/significant than the material realities that compose them. The material world isn't a panacea of meaning either.
Quite serious when so many people are in home office. Is there a hint where it was release and can I check if fortigate devices on my domain got compromised?
This is interesting, it seems like it may in fact be testing by looping, given it took a minute, and didn't conclude. For hardware design there are logic equivalence checking tools that work very differently - they essentially work by reducing a function (piece of hardware) to a minimized boolean equation. The method of reduction ensures the same logic, no matter how coded, results in the same boolean equation, and then comparing the equations is direct and does not require testing all input values. Hardware verification also has a higher bar than software, where code coverage analysis can require 100% on line, branch, value, condition, expression, functional, etc. Its a lot of work, but does give very high confidence there are zero bugs.
Oh wow, thank you for this information!
Their logo is just \forall quantifier, which is pretty much what those products do, so I wouldn't be that surprised.

https://en.wikipedia.org/wiki/Universal_quantification
It’s definitely true for some muscle injuries - the painkillers allow you to relax enough to start loosening up an healing.
Parent poster 99% is referring to Jai. I'm of the same general opinion: interesting language, I've spent a lot of time watching jblow talk about it on Twitch, and it would be nice if it succeeded, unfortunately I have my doubts given jblow's attitude both in terms of external communication and within the development team [0].

[0] https://www.youtube.com/watch?v=Nutcb6ao0mc&t=4508s
for the money it would cost to map the city streets every week I imagine they could just fill the potholes and make sure the lane markers are painted

there’s a lot of chicago that is really ambiguous about being one or two lanes, you just kind of cross your fingers and hope everyone else also has a fear of death (this is why i dont trust ai, no fear of death in em)
like that didn't happen
"Here's 500, please endorse me"
I'm less concerned about fur with dander stuck to it then simply furniture with dander stuck to it.

Three things to consider:

1) You can't see dander.

2) Vacuuming helps with pollens, and with dander from animals without fur too.

3) You have mild allergies. Others have stronger ones. I have no scientific basis for this, but I suspect sometimes, the immune system goes into maximum overdrive.
Well if we transform solar into electric then into motion or bound carbon, that should actually help reduce the heat balance?
Can you combine the data over longer periods, so that you can expand the effective size to earth's orbital diameter over the course of 6 months? Just coordinating at the global scale seems like a huge accomplishment, but using orbital travel to expand the scope seems like an obvious step.

Do observatories coordinate over such long periods, or is time at a premium?

Awesome project, thank you for your commentary!
AD: I hear you, we've just launched and money is our first and most generalised form of staking, expect more to come.
There's a lot of "we're amazing!" on there.

It's trivial to get a flood of inadequate resumes and incompetent applicants.

So how does this avoid that problem in concrete market differentiated ways without using platitudes and self congratulatory language?

Is it the "Endorsement flow"? Why is it buried, sandwiched between a bunch of what Steve Krug called "happy talk" over 20 years ago?
AD: Interestingly... thats just a self-endorsement via a proxy, someone is still taking a risk.
> Money is not the primary motivation for doing something. This is big myth.

This depends on the culture, how honest those people are being, the greater economic situation of the people in question and many other factors.

For a general overview, the StackOverflow developer survey (n=65'000) seems to suggest that about 70% of the respondents feel like compensation indeed matters a lot, more than any other factor: https://insights.stackoverflow.com/survey/2020#work-job-hunt...

> For the first time, we asked developers what drove them to look for a new job. Better compensation was by far the most common factor for respondents with 70% of them noting that more pay was important. Wanting to work with new technologies was the second most popular factor, which is consistent with what respondents reported as one of the most important priorities when choosing between two jobs.

Curiously, they skipped that question in the 2021 survey, so it's not included at all.

I can personally understand this viewpoint, seeing as i don't receive all that much money either and it would take me about 40 years of constant work to be able to afford my own house with my current earnings and small raises here and there. Plus, with my current salary there's no way i could afford, for example, cancer treatment or to address any of the other serious health issues that can arise in people.
For a second I was thinking YouTube was doing this. Just move out off tiktok.

YouTube's algorithm will probably treat you the same way every now and again for the general public, but maybe that's because the general public doesn't want to watch that type of content?

Your close subscribers and people with interest will still get your videos.

And if you're self conscious about your physical appearance, your can always become a VTuber or something like that.
Not being familiar with Canadian museum names' abbreviations, the phrasing "ROM palaeontologists" from the subtitle sent my mind trying to remember which science-fiction series this reminded me of ... but it failed.

Also, and on-topic, it's amazing how they can go from the actual fossil to so much understanding/theory about an ancient animal's shape and features.
But this is a really useful feature!
> how lost cause lamb "miraculously" recovered after big dose pain killer

this probably have to do with movement (which applies to other animals and humans) if they feel pain they don't move, that slows down the blood circulation and the healing process.
ISS is an apt comparison. Its apparent purpose while the Shuttle was flying was to be a place the Shuttle could get to. What it is for now is anybody's guess. In just a few years it will be a celestial light show, somewhere.

I have no doubt that plasma fluid physicists will learn a great deal from trying to get ITER lit up. Just handed the money, they could have learned a thousand times more, and maybe even achieved practical D/H-3 fusion propulsion for spacecraft. But that will not happen at ITER.
This should be the default, according to that advertisement.
> What stops Paul paying his friends/acquaintances to endorse him?

AD: The fact that Paul is taking on all the risk, in effect Paul has made a self-endorsement via proxy... Paul can already self-endorse it's a valid signal of confidence that they feel they can do the job.
Short intestines are a characteristic typical of predators.

Our ancestors probably started as insectivores / frugivores / egg eaters
Carboniferous ended 350M years ago. Today lignin is biodegradable and thus does not capture carbon past tree living mass.
Please be very careful where you step, lest you trigger an extreme version of the grandfather paradox ;)
Getting to l2 is a lot easier than landing a sensitive device on the moon. Also don't have to worry as much about energy emissions from the moon.
Some of the most popular ThinkPads, even among diehard ThinkPad fanatics, are from well into the Lenovo era. Say, for example, the X220, X300, T420. They came out several years after IBM stopped having anything to do with ThinkPads, and they are exactly as durable and easily repairable as the old reputation of ThinkPads say they are.
I don't know too much about camera, lens... but the website UI/UX design is pretty successful, it make people the thing is cool, advanced, and willing to make a try.
Being opinionated about payments is not the same thing as building a speculative digital currency into your protocol.
I'm not convinced the target market is people who run their own data centres, those people are highly unlikely to migrate the control plane to AWS. To me the big target markets here are:

* People running compute on AWS, but content distribution on their own hardware co-located at ISPs, those CDN nodes need to have the software running on them managed, and I can see the appeal of doing so with the same control plane everything else uses.

* Organisations running heavily distributed compute, either for the purposes of latency or resilience. Many large retail chains have small remote nodes running the PoS systems at each site so that they can continue making sales and tracking inventory in the case of a central outage. Again, seems like it would be nice to just treat those nodes as an extension of the central servers on AWS.

* (Somewhat more dubiously) IoT providers. AWS have a couple of services which are much better suited to managing IoT devices, but I could see some arguments for treating an IoT hub as a k8s node and just deploying new containers to it when updating.
A proprietary Linux OS will attract far less people, because the Linux community values FLOSS.
https://www.rcinet.ca/en/2018/08/13/shukhevych-monument-cana...
That magic wand doesn't make sense. The easiest way to get double-digit revenue growth is already to make the product cheaper.

Note that many high-value companies (eg, Uber, Amazon) historically run on razor thin to negative margins when they want to grow their revenue.
The Sakila Database
We've had surveillance since forever, the destruction of small businesses also isn't new, printing far too much currency has been the new normal for decades, coerced authorities and groups using corruption to gain grounds have been investigated and often sentenced. If consciousness need to kick back into these realities, we got even more educational work to do then.
Cool. I have a background in IT security and am sometimes doing symbolic (or concolic) execution on binaries instead of source code. So I may not be the target audience.

Nevertheless I think you should do a comprehensive list what your tool can detect and what not, instead of some examples. From the sample programs i learned that it can check two programs for semantical equivalence and can detect undefined behavior.
I did not get the example with the memory violation, as symbolica.h is not included in the code.
Additionally, your tool could create test cases that trigger the error, afaik.

Regarding the feedback for the user, as multiple others have mentioned, the running time is very long and thus a simple timer may not be sufficient. But I do not have an idea how to improve that.

I am not sure if you are working on the target program directly, or on the compiled binary. In the example with the division by zero, there is a print statement in order to stop the compiler from removing dead code. But I do not understand where you need a compiler, if you are working directly on C. On the other hand, when you are working on the compiled binary, then your tool is very similar to other symbolic execution engines, such as angr.
Discussions like this are fuzzy because no one here has defined "good".

I guess part of the reason a speech encouraging people to be a "force for good" is inspiring is that it challenges each person to examine what they themself think is good.

The part about "doing something that matters" is also important. What matters?

People want to actualize themselves, to reach their potential.

People want to enable other people to reach their potential.
Well that's all well and good but it doesn't explain why even Mac OS devs are moving en masse to building for the web.
Unless you're vegan, you participate in the ending of life as well.

At the stages of development when most abortions are performed, the life that is being ended is much less of a life than that of a cow, or pig, or chicken, or even fish, that ends up being killed for food.

If people truly believe that ending abortion is a moral and ethical issue, then the only consistent stance is to also be vegan and push for laws requiring everyone else be vegan.
This makes tonnes of sense with being confident in yourself to do the job. I would endorse myself
I also think that people underestimate good nursing, both for sick people and children. Hospitals are not necessarily great places to live. May be the care at the hospice actually gave her something to live for.
Dürer's Rhinoceros
Install this browser plugin and start exploring: https://metamask.io/
Are you calling me a purveyor of FUD because I suggested that governments and corporations are not to be implicitly trusted?