skysight-inc/HackerNews huggingface dataset:
Show HN: A real estate firm is manually tracking climate buzzwords at Cop26
Damn, the structure has 3 fluorines. This particular structure is stable, but in general, fluorine chemistry is tricky.

Obligatory classic:
https://www.science.org/content/blog-post/things-i-won-t-wor...
I did something similar, although it was a Windows desktop app.
Finding and picking names was easy. My wife and I found it hard to rank them so the app (like yours) showed two names (drawn from her list, my list and top 200 popular names) and you'd make a gut choice of favorite. After a few dozen rounds, clear winners would emerge. We could see the top 10 from each of our lists and easily spot overlaps.
Since, I've used the same code to decide on vacation destinations and even what house to buy. It avoided a lot of marital disputes, for sure.
I get spam mail and scams all the time.
My Brain on Salvia (2020)
Solaris has strict memory accounting; fork will fail if the system can't guarantee space for all non-shared anonymous memory. macOS has overcommit (all BSDs do to some extent, at least for fork), but it also automatically creates swap space so you rarely encounter issues one way or another in practice.

fork and malloc can also fail in Linux even with overcommit enabled (rlimits, but also OOM killer racing with I/O page dirtying triggering best-effort timeout), so Linux buys you a little convenience at the cost of making it impossibly difficult to actually guarantee behavior when it matters most.
They have (had?) cars powered by compressed CO2 in India. Honestly, if they were available worldwide it seemed cool enough to buy one. Less efficient conversion of electricity to stored energy, but great if you don't worry about heat and more than made up for by the cheaper up front cost of the car (in money and in damage to the earth).
Because once you've told something to someone it's not yours anymore? Sure you can sign an agreement, but the consequences of violating it are civil, not criminal.
I’ll definitely update that article once the new TS version is released :)
Those who wish to live a long, healthy life should consider the Mediterranean diet. https://neurosciencenews.com/aging-blood-cognition-nutrients...
Here's the problem with those stats.

First, if this has a mechanism which is damaging heart tissue, the diagnosed cases may just be the ones which are manifesting severely enough to the point of getting to through the entire funnel of a diagnosis. The actual blast radius may be much larger, and only result in problems later in life. Especially for children whose hearts are developing, it is extremely risky to administer a drug which we know has the capacity to damage heart muscle and we do not yet understand why and have a handle on the expected distribution of that damage across the whole population.

Second, the stat you mention on COVID is misleading, because a) it is a broad age group, my concern is primarily in the very young, many of whom are now being vaccinated in the US, and b) it is conditional on a positive COVID test. Many, many young children are contracting COVID and not developing symptoms or are not getting severe enough infections to get through the funnel of being determined to be a positive case. So the incidence rate you mention is effectively a meaningless number if you account for these two elements.

Based on our current understanding, it could very well turn out that the data we have now is consistent with a situation where eg, the vaccine administered to 5-6 year olds is in fact damaging their hearts with a sizable % liklihood, and their risk of having such kinds of permanent damage to their bodies from COVID (across the entire funnel, beginning at a non-infection) is much lower. I'm not sure of the liklihood of this reality, but it's not zero. We just don't know yet.
> malnutrition

Yes, but

> lack of education

of intellectual stimula, really.
I am a bit perplexed at claiming an ARR (Annual Recurring Revenue) with not even a year of profits.

Is it customary to use extrapolations/projections to measure ARR in the startup/business world? Even projections based on less than a year of data?
Yes? Draw your curtains before you change? Anything you can see from a public space you have the right to stare at?

Our government shouldn't be in the business of policing modesty or decency. Only administering the basic peace.
If you’re talking about spaces automatically swapping around, you can disable that functionality in System Preferences-Mission Control, just fyi.
Rendered Static HTML
The first issue could be fixed legally. Just like California makes non-compete in-enforceable, it could pass a law that says short-term moonlighting can’t be in employment agreements. This way, you could take a week off from your current job, and actually work for a week for an employer that you are interested in. Fully paid.
You seem to be using “right” to mean something like the state of affairs where there is no criminal penalty. Am I mistaken? I don’t think most people understand the term in that way. So my answers would be no, you don’t have a right to answer as you see fit; no, you should not; and no, you don’t have a right to violate a contract.
Quick Guide to AudioWorklet
ScholarRx | .NET Backend Engineers | 100% Remote | Full Time | .NET Core/Azure | $80-120K

I am the CTO for ScholarRx. We have built a shared curriculum platform that is currently in use by several medical schools. Our goal is to launch a curriculum exchange system and improve our sharing system.

We are hiring a .NET developer with modern experience with .NET Core/Azure. You’ll be designing and building better APIs and service boundaries within our platform. In addition, you’ll work closely with the FE Engineers and product team.

You may contact me at: justin.klutka@scholarrx.com.
Job link: https://www.linkedin.com/jobs/view/2767021497/
Individuals are bad. Unions are bad. It seems that "leadership" is only happy when followers follow blindly. Unfortunately, that's not how leadership works.

Yes, the pendulum is swinging back. It's swinging back to leaders actually having to lead.
Also not worried about proprietary since I got started learning programming through a pirated version of Mathematica and solving ProjectEuler problems.
Sometimes, one can lose technical arguments on non-technical reasons. It is good to have options. :-)
The biggest problem with Thalidomide is that THALIDOMIDE IS PERFECTLY SAFE for the fetus! But the molecule has 2 different shapes, one being the mirror image of the other. All testing was done using the correct version, but during the MANUFACTURING PROCESS, the mirror image was created, and that's what caused all the problems!

There are many many ways that problems can occur. The fact that one configuration of a molecule is safe and effective and the other configuration of that same molecule causes disastrous effects is just another example of how thorough testing is necessary when drugs are given to millions of people. How many people either died or were deformed because of lack of testing?

When drug companies skip the necessary testing because they know they can make billions upon billions, they aren't doing it because it keeps people safe. They love it because it makes things cheaper for them.

I have a friend that works at Gilead and runs clinical trials. He is shocked at how quickly the vaccine was approved for EUA, because his trials take years upon years. I'm not saying that the vaccines aren't safe, but I am saying that the more drugs we let skirt through the full testing period, the worse it is for all of us.

Look at remdesivir. It was approved from a single trial that showed lukewarm results and at the cost of thousands per dose. And now the empirical evidence is that it either does nothing, or might actually be harmful.
I'm guessing your data is pretty valuable to them.
Most of the time, yes. But in the case of a tenured professor acting in the interest of the public, academic freedom trumps that.
"To anonymize these datapoints, we run them through a hash function with a rotating salt.

`hash(daily_salt + website_domain + ip_address + user_agent)`"

Isn't this just PII with extra steps? OK it's at least better then the traditional approach. Keep in mind though that anonymizing is also a use of personal data in it self and requires a legal basis. https://www.insideprivacy.com/data-privacy/german-federal-co...
My solution to this is having a debit card connected to an account that has no funds and allows no overdrafts. And I only load the account when I specifically want to pay for something. I do this for everything, incl. Spotify, Netflix, etc. I pay a subscription when I want to pay for it, so usually at the end of the month I load the total of my subscriptions and they all go away. This also helps me keep track of my spending and is a good way to see how little things add up, like apple in app subscriptions. I do this religiously because once I was traveling in the winter and suddenly I had $200 disappear from my card and I was unable to get a cab/uber and almost froze to death. Had to get help from police officers. I swore to never again let anyone just take money from me without my approval, whether I owed them or not.

So you find my card in the wild, good luck.
Unfortunately in the UK there has been political pressure to do absolutely anything (no matter how questionable - e.g challenge trials) that isn't imposing even the slightest restriction.
I agree, it would be great to be able to read the full text of a patent (or a link to full text).

If you are looking for feeedback, it would be an absolute killer feature if you can extract the patent 'claims' from the full text and have the option of expanding only 'patent claims' from an entry on the patent 'List' shown for a given company.
Any such policy would need to be specified within the lease to be enforceable. If there is nothing in your lease that mandates a bespoke payment method, call their bluff and just pay by check.

There are real issues with incomprehensible leases and terms of adhesion sprung late in the process, but it behooves us to keep focus on the specific contours of the problem so the people who are able to push back on such nonsense can better do so.
How would you derive exactly where the line should be between a pistol and a hydrogen bomb? If you can build one, you should be able to have one no?
I hardly think my opinion is going to sway the majority's view of a public figure. If the world wants to love him I'm not going to change that. But it still doesn't change my opinion about him since it's not based on what I read about him online but based on actually interacting with him in person. Also if Helion turns out to be successful I'll have no problem admitting I was wrong. I hope they succeed, or rather I hope someone succeeds in creating cheap and plentiful energy.

What does it matter what I think, anyway? Think for yourself and come to your own conclusions. I don't care if you disagree.
Thanks.

> Since then, the npm security team has removed all the compromised coa and rc versions to prevent developers from accidentally infecting themselves.

Removing all trace of evidence is not something "security teams" should do. Instead of sweeping security incidents under the rug (where twitterverse resides), they should at least mention the existence of these versions and that they contain malware on the package page.
honestly, yeah. I just saw "command line parser" and dismissed the rest as useless bloat
Next headline: the web, email and computers in general declared in breach of GDPR.
> Every time I tried to write something quickly, I often had to choose between a heavily functional programming oriented frameworks or extremely tedious ASP.NET Core.

Agree. dev experience is missing in dotnet IMO. I had the exact same sentiment last year. made https://wiz.run/

I hated going through all the microsoft dotnet docs. Wanted something like this: https://wiz.run/api/
Traditionis Custodes Challenges Everyone
I just used a US Capital One 360 debit card to withdraw Costa Rica Colones today. Based on Google’s currency conversion for today, it cost me $0.80 more than it should have. Maybe other banks / countries are more egregious?
> It is not the same as sapphire reserve and before times.

If I'm not wrong, cashing out Chase Ultimate Rewards points wasn't that lucrative until recently, when they introduced Pay Yourself Back — it was 1 cent per point before, and is much higher now for certain categories (groceries, restaurants) with Pay Yourself Back.

> The Amex ones are rewards points, and you have to play a lot of games to get the value.

For US residents, cashing out at 1.1 cents per point would be opening a Charles Schwab brokerage account and the linked Amex Platinum card, then "investing" the points. That doesn't sound too complicated.

(Speaking as a non-US resident playing the game myself: I do have extreme difficulty trying to get good cash value for my points, since Schwab refuses to open a brokerage account for me.)
Rolling review for the EU is underway. Let's wait how it turns out.

https://www.ema.europa.eu/en/news/covid-19-ema-starts-rollin...
I've written correctness proofs for C code, both as part of my university classes and after.

Unless rust has some kind of de brujn criterion (and properly formalising and bootstrapping it from a minimal core would be a step into that direction) the proof it produces is only as good as the entirety of the codebase.

Correctness proofs are an inherently human thing, it's all about convincing your opponent of the proofs validity.

One could of course build a language on inuitionistic math a a la coq, but that's neither practical nor realistic, so human checked proofs will have to do, and simplicity helps a lot with those.

Edit: It feels like we're talking about subtly different definitions of correctness.
I mainly care about correctness of specific program instances, whereas you are more concerned about the correctness of every instance expressable by the language.
Rules of thumb:

a) choose the later study

b) look at what happens in the real world (e.g. https://news.ycombinator.com/item?id=29124652 )

And, If there is uncertainty (and there always is some small amount of it) then this does not support the parent commenter's strong and confident assertion that "do not, and never have" ... produced an effect.
For me personally, quality of life. No need for a car, I love theatre and as a kid I had to commute two hours to get to the next chess club because I lived in the middle of nowhere.
Very common, yes.
> And what if people want to work at a job focused on their technical field, and not on diversity?

Then companies that care about diversity would be right not to hire them.
https://en.wikipedia.org/wiki/Zeno%27s_paradoxes
Yes, and I'm suggesting these laws are unjust because they impose the values of some segment of people on to others. Leave people to associate as they see fit. Some groups will track you, some won't. You can choose which to patronize, on which browsers.
This is an article about an abstract information economy, not an article about the effects of decentralized vs. centralized manufacturing.

There's a lack of physicality, i.e. consider the difference between decentralized intellectual property (sharing patents etc.) and decentralized electronics manufacturing, food production, or transportation systems.

Those latter issues taken together result in things like the current disruption in global supply chains, for which both everyone and noone is responsible. 'Anyone can build anything' sounds good, but if your only chip source is China and they have an energy/pollution crisis and scale back manufacturing, then what? Wait a few years while the USA gets comparable facilities up and running, if that's even likely?

So perhaps you get economies-of-scale advantages with centralized manufacturing, but security-of-supply advantages with decentralized manufacturing?
Adverteering – voluntary advertising, data privacy rights, and web3
Apple silicon has been in Apple phones for many years. Worldwide iPhone market share has not increased and it has not beaten the competition. Desktop users will be even harder to convert due to more legacy software and bigger OS differences. Apple silicon has achieved an impressive breakthrough into the market but it is currently an also ran architecture with limited expansion potential.
OSS Alternative to ODVA's “EtherNet/IP” closed-source protocol?
Apparently this EtherNet/IP protocol is all the rage in the industrial/IoT systems world. But it's closed source, requires friendship dues to get into the club and use, and most egregiously it claims to "trademark" Ethernet/IP even though there is already an Ethernet IP protocol (as in the Internet Protocol).

I'm curious if this is so great if anybody has looked into making a more standard protocol that doesn't require some single-vendor proprietary bizarrely trademarked and confusingly named thing?

There is ModBus/TCP but it's, yikes.

Anybody familiar with these things?

https://www.odva.org/technology-standards/key-technologies/ethernet-ip/
That's great news! But remember that lowering the death rate has a linear effect, while the R0 has an exponential one.
The first thought that crossed my mind was that I wouldn't like to be a false positive. It could be pretty nightmarish. Once you are flagged as a suicide risk, denying that will only raise further suspicion and pressure to "admit the truth".
I suppose some people would lump me in with "anti-vaxxer" because I don't want to get the Covid vaccine.

I'm not anti-vax, btw. I have a medical condition that requires me to receive regular vaccination against several diseases, and I'm strict about doing that on time.

I've made a calculated decision in the case of this specific vaccine based on that fact that I've now had Covid twice (first time was a bit nasty, second time was very mild) and have acquired fairly robust natural immunity.

According to almost all of the research I've read, natural immunity is at least as effective as the vaccine, which makes sense to me. Our bodies (if healthy) tend to be pretty good at this stuff.

The vaccine carries risk, all medical treatments do. When I calculate my baseline risk - very healthy, fit, no cormobidities, etc..., couple it with my acquired natural immunity, my chances of a negative outcome from Covid asymptotically approach zero. This appears to me to be less risk than the vaccine introduces.

I say all this to describe my mindset, I think a lot of people share it. Lumping everyone that choses based on a risk calculation to not receive the vaccine as "anti-vaxxer" is a common thing that people do (though I believe it is wrong).

All that being said, my primary point is that if I got Covid again, I'd absolutely be receptive to a therapeutic like this.

My decision against getting the vaccine was entirely risk based. At the point where I've contracted the illness again, however unlikely, the risk has been realized and I would 100% be receptive to taking this therapeutic if my doctor recommended it.
1. Yes, to the extent they’re afraid to speak their minds to their children for fear of government intervention

2. Yes, but additionally there is no rule of law in China. Judges will do what the CCP tells them to rather than what the law book necessarily says.
You're probably referring to "Why are our brains shrinking? (usfca.edu)"[1]

But that made claims about size, not capacity or intelligence?

[1] https://news.ycombinator.com/item?id=29031999
Yep. It is never cool, charming, or necessary to have chaos in the workplace. You can have uncertainty, fast paced change, or open ended goals, and still be an organized shop with clear communication

If you exude chaos and don't show any sign of wanting to change, in fact go further and admire your own chaos, many people who know their own worth and want what's best for themselves will avoid you. It's just like dating.
Where do you get 4G dongles that don't suck nowadays?

We tried to get some, but all of the ones we could get were various levels of broken or unsupported.
People working in big pharma do it for money. But guess what, I work for money too, and it is the same for >99% of people.

But most people appreciate it when as a side effect, their work save lives.
The Emscripten compiler itself has been compiled to WebAssembly
I know somebody who survived 30 years of Musical Chairs at IBM who left around the the IBM blew up their email services this Spring.
I can imagine a generic smartphone app that has configurable UI and is designed to talk to serial devices over BLE. Add a BLE module to your IoT, send a json config to this app, and away you go!
Perhaps but if you assume a spherical true Scotsman...
I've recently switched from linux to MacOS (now that those shiny new MacBook Pros exist), and due to this, I've started using vscode dev containers along with gitpod as my pretty much exclusive development environments. I did this for convenience rather than for security, but I must say I felt a strong feeling of relief when this morning I saw the advisory, and typed `npm` into my terminal and found that it wasn't even installed on my host OS.

I think longer term, we're going to find things like Qubes's VM for everything model becoming more normalised.
It's not mistake if you do it deliberately!
It can be extra work to reason about the performance and efficiency of functional programs, such is the case with higher level languages. But modelling the domain is far easier. I can solve difficult problems using Haskell, e.g. writing a specialist DSL compiler targeting a GPU. I'm just not smart or patient enough to solve such problems in C/C++ or Java, although I do concede that many can.
Divisibility can be cast in terms of subsets of the prime factor multisets. That is, for every number, we can translate it to its multiset of prime factors, e.g. 36 would become {2->2, 3->2}; then divisibility becomes the subset relation.

In this world, 1 is the empty set, primes are the singleton sets, and composites are anything with at least two elements. 0, being divisible by everything, is a superset of everything; it probably makes the most sense to treat it as {p->aleph_0} for all p, though it's rather undetermined -- you could pick another cardinal if you wanted.

The inclusion of negative numbers would basically freely adjoin a copy of this lattice with itself. You'd get two "empty-ish" things that are divisible by each other, two ranks of "singletons" that are divisible across the signs, and so on. Modding out by these cycles gets you the original lattice. There may be some value to keeping the negative numbers around -- certainly in category theory we like to keep equivalences explicit rather than modding out by them -- but "morally" you don't get any new relations by adding the negative numbers.
Here is another nice short interview on esoteric.codes:

https://esoteric.codes/blog/100-rabbits
For my next child i will do it like my neighbours. Wait till it is born and wait till a name comes up.
I have seen this is used in logistics and operations research, but not much else.
Then you'll enjoy https://1mb.club and https://512kb.club and https://250kb.club
The Biodegradable Battery