skysight-inc/HackerNews huggingface dataset:
"Paul Eaton, a retired U.S. Army major general and a senior adviser to VoteVets..."

From votevets.org/about:

"VoteVets Action Fund ... have and will continue to work with all progressive allies representing labor, immigration, civil rights and voting rights, gay and lesbian rights, environmentalists, and other progressives"

So, simple partisan scaremongering.
CBMC does formal verification on symbolic values and its ranges, just as Frama-C. Just in a well-known language, C.

There is no brute force search. If so it would be impractical. The industry is using CBMC, not Frama-C.
That’s quite close to my interests: PLs, runtimes, and general system programming. I’m always looking to hone a more holistic view of the computer by blending those interests.

For my research, I’ve been doing a lot of work into improving coverage-based binary instrumentation, exploring what dynamic analysis can do, and investigating a new take on grammar-based fuzzers.
Bringing up the caste system is not a political point.
Sorry to hear, hope this year brings more joy for you
This is fun. I did Phil->Germany. I'll suggest to my colleagues. I bet it's more fun racing together.
CrowdSec may interest you.

https://crowdsec.net/

(No affiliation)
Intellectual Loneliness
"Our sires' age was worse than our grandsires'. We, their sons, are more worthless than they; so in our turn we shall give the world a progeny yet more corrupt."

Horace Odes, III 65BCE
Yeah imagine a developer not being able to use stackoverflow or one of the many similar sites that just happen to have the bug that they're struggling with. Could cost hours of extra work.
Quoted parts of this to my wife as we decided to move from Indiana to Florida and to quite my job at the same time.
A Ruby Drop for New Year's? Streaming Live from the Gem Capital of the World
Join Sir Daniel and I and a SPECIAL GUEST as we ring in the New Year from our own town, Franklin, NC. Franklin is in fact the Gem Capital of the World, so let's check out this New Year's Eve Ruby Drop. Don't expect Times Square --but do expect some fun!
I mean Dropbox and Stripe are cool companies but they hardly "changed the world", they made their founders and their inventors very rich though. AirBnB has been more impactful for sure, but I dont know if the total impact is a positive one, it seems to me they are like the other "gig economy" companies which like to privatize the earnings and socialize the nasty generated externalities.

People need to leave this site every once in a while and check out the actual world, it is a healthy vaccine against undue self-aggrandizement.
The generic "electricity" subsidies in France seems similar to other countries, so my read is that they are things like transmission lines and other costs that is independent of the technology that generated the power.

Could you explain the logic behind that idea that France subsidizes to fossil fuel is proof that nuclear is expensive? To me it is proof that the fossil fuel industry will extract its cut as long as the grid is dependent on it.

Also, a technical details. In actually billions, France is not subsidizing fossil fuels more than Germany. France total subsidize is about half of Germany, so the actually money that goes to fossil fuels are quite much smaller as a result.
This is similar to the idea that it doesn't matter where you go to college - because the things that get you into top X schools are the same traits that correlate with success afterward. This paper is a study that makes that argument: https://www.nber.org/papers/w7322 (disclaimer - I only read the abstract)

Also - in fairness to YC - there are a staggering number of companies that are started every year. I don't have the stats but I would guess that YC outperforms the totality of the startup market.
> EDIT: find some common ground with your fellow man and strengthen those bonds

Agreed. Never underestimate what you can learn from others.
I will never not correct this quote:

> “I think the people in this country have had enough of experts... from organisations with acronyms saying that they know what is best and getting it consistently wrong."

(My ellipsis here is to remove a bit where he got a few words in a nonsensical order, and reordered them, rather than to remove the context of the quote.)
5 is like 18
Please stop killing insects. Seriously.
Then explain why Pfizer is not blocked on Twitter. They also "spewed disinformation" to promote "vaccine hesitancy" against a rival product:
https://www.cityam.com/pfizer-accused-of-funding-anti-astraz...
Happy New Year, Hacker News
Happy new year guys. Here's to a better year :-)
Sorry if you think my figures are out of date. I'm happy to consider the current totals instead. According to Worldometer[0], for example, the UK is slightly worse in terms of "Deaths / 1M pop" than Greece and Spain, which is the median EU country for that statistic.

So it's not at all clear that the UK would have been in a worse position if it had been able to take advantage of the EU's lower vaccine price, and in any case, being an EU member wouldn't have prevented the UK from securing its own vaccine supply, as Hungary did.

[0] https://www.worldometers.info/coronavirus/#countries
> the common cold didn't seem to be impacted by the severe lockdowns in the UK

Really? Do you have a reference for that? It doesn't match the experience of myself and others that I know. Everyone I know was talking about how great it was that they hadn't had a cold for so long, during the lockdowns.
Since vaccinating they’ve relaxed restrictions
you can't call shell functions via "find -exec" or xargs
> It's likely because you can make more money by holding more control over the supply.

Because, surprise-surprise, businesses are not charities. They do need to earn money.

> they would rather have it be without taxes and exchangeable for real money.

Of course users want all the perks with none of the responsibilities: let the business support all these items in perpetuity while users trade them outside of the business' purview.
That all is true, but I was not the one who created the dilemma, the original parent did. Tribalism like nationalism is good just in very small doses.
Integrating Kratos with anything is just so much work. The only nice thing differentiating Kratos from Keycloak is the ability to provide your own UI out of bound. In Keycloak, one has to use the template language provided by Keycloak and embed all those templates in a JAR file, which can be an operational hassle. Kratos makes it nice because it decouples the registration/login/recovery/settings flows from the UI but wow - integrating it even with Hydra is a mess. I mean, look at a simple case of passing your subject info to hydra token. There's a dedicated admin API in Hydra for that.

In practice, I still find Keycloak more ergonomic because it comes with batteries included and it also provides authorization services. I've written more about those here: https://gruchalski.com/posts/2020-09-05-introduction-to-keyc....
I’ve tried. The local clerk of courts required contact via fax.

You’re at the mercy of your local election officials.
But it’s also a huge country with lots of people. If I move to a different city (e.g for school) and know no one, then apply for a job. What is the thought process and actions of a hiring manager who is discriminating on caste?

Will they try to figure out who my relatives are? How? Would I be asked about relatives in an interview?

What happens if I just shrug and say I’m from city X and I went to school in city Y and here I am?

I understand that those who have lots of social captital have it tied to a network and a place such as a town. They would want to stay in that network to use their capital. For example move back home after studying. But for those with little or even “negative” social capital (ie you are better off with no background than your actual background), why aren’t they more mobile or even just claiming they are?
Jerry Seinfeld Guide to Writing
From what I've heard, the castes represent bloodlines, so if you're of type A, you'd be in caste 1, if you're a mix of A and B, then it's caste 2 and so on. The goal is to preserve the bloodlines by forbidding intercaste marriages. You also need to understand, that a cornerstone of many indian religions is reincarnation, so the caste system applies to human bodies only, while the reincarnating entities, call them souls if you want, may jump from caste to caste or even a different nation. Whether castes are still necessary is a big question.
Goalpost moving
I'm intrigued, what's заshitано?
I once created a SAAS application that did not have the "ordinary" workflow that people expect these days - email/password or social login.

People hated it and actually took the time to complain.

The lesson for me - make your auth process precisely what people expect - if there's feedback, it should be about your product, not about the signup process.

Signup process is not a feature - it's plumbing.

In the case of this new product / service - I note the headline is almost unrelated to what the product does - it's a headline about how the auth works on this - the technology something is built with shouldn't be the marketing message.
> that they have no competition for market making their own items.

They will not have the competition. Because it's their items, and they chose to only support items sold through their marketplace.
It's the year 2022. People need Soylent Green
Stupid question: if I got my history right, in the late 80s/early 90s HDs there was the big move from MFM to RLL hard drives. Why didn't floppy disks start using RLL back in the day too? Was it just for compatibility? 3.5" disks weren't compatible with 5.25" ones either, but that didn't stop them from dominating the market.
I think https://plaid.com 's entire business is pretty much an adversarial interoperability webscraping play for banking. The business exists!
> From another perspective (perhaps not popular here): How does allowing access to restaurant websites help the bottom line? What is the risk? One malware outbreak can be enormously damaging.

Just visiting a website shouldn't be a major risk. Any code injection exploits can be mitigated in the proxy (those MITM proxies are not just for logging!). And proper patching.

Really if you run browsers so old that they can be exploited in this way you have a bigger problem than banning unknown websites solves.
You get different speeds for IPv6…? Whatever’s going on internally there has to be a mess of old and new software and hardware.
This needs to be made into a plan.

1. Where to meet people.
2. How to approach people.
3. How to handle initial contact.
4. How to bond.
5. Graceful goodbye.
6. Further contact warranted?

None of these are easy by themselves even.

1)
The older you get the harder it is to meet people.

First you are in school with a bunch of random people.
Then you may have to detour into the military, utterly random people.
University with a bunch of people a little less random.

The farther you get from your educational stage the harder it is to meet people.

People get older, they already have a circle of friends and family.

You can:
- Join a book club
- Join a sportsteam
- Find a place to volunteer.
- Join a religion. Some will have rituals for including new members.
- Join some political / ideological activism group
- Join the Foreign Legion
- Find somewhere public and hang out there all the time (pub, coffee shop, lingerie store, jail, )
- Take classes in something.

2)

Not much help I can give here.

It can be super hard. Esp if there is already a structure in place.
So everyone is talking to people in small groups and there you are
all by yourself.

I suck hard at this

I have attended a lot of tech related conferences like
DefCon. I never managed to meet anyone there.
Except when I was a speaker.

3)

I suck hard at this

4)

Yeah right.

5)

The best if you can establish a timetable ahead of time in some subtle way,
or you may be in a situation where there is a natural timetable.
You need flexibility.
You might never want to see this person again (ever).

6)

Usually not.

Most people suck.
You suck too, but you are ok with it sort of.

I have no interest and nothing to contribute on:
sports, drinking, shagging, fishing, celebrities, fashion,
exotic vacations, gambling, get rich quick schemes, tupperware, MLM
Making beer, wine, compost, voodoo dolls, automobiles,

Now here is where people say:

"Well, there is your problem".

I think not really:
I like:
modern art,
photography,
philosophy,
politics, (in a respectful, restrained, and eager to learn kind way)
religion,
literature,
eclectic music,
programming,
hacking,

There is a subsection of all people who enjoy one or more of those,
that subsection is vastly smaller than: sports, drinking, celebrities, tavel.
It's been ages, so my memory is hazy. IIRC, this is the thread that spawned the issue:

https://www.freelists.org/post/haiku-development/Whats-the-s...

Backlash might have been a strong word to use. Concern might be better fitting.
No mandates.

No vaccine passbooks or apps.

Return jobs to employees lost because of vaccine compliance/rebuild small businesses (If this is somehow possible but the damage is already done).

No mask requirements.

Covid-19 Vaccines are available and treated in the same way as flu vaccines once FDA approved.

Yknow, normal.
Did they really ask for seven forms of ID? Exactly seven? In addition to your passport, you said they just lost it, did they say this in the letter? Did what they wrote say "7 ID's" or "seven ID's"? Not the same thing. Government-issued IDs right? Dual citizens only have six, they wanted your library card, your bus pass, like what are we talking about here? Did they give any examples of what you could provide? What do you propose they're trying to do, break a tie between the IDs of each gender (not kidding)? And you don't have a doctor. Or health insurance. But you're trans. Do you take no hormones then? You know what, as for the specific, very personal details of your sex change, I ask nothing.

> "I wish you the best of luck getting rid of that passport. Good riddance."

I wrote that. I thought of editing what I wrote for clarity. It doesn't mean what you think it means. Not good riddance of the passport. Good riddance of you as a citizen. Well I guess both. It's not pejorative, it's win-win. You don't want to have that passport, and I don't want to stick up for you if you won't stick up for the team. I'd like to but it's too much liability, I have to help only people who would in principle help others too. Evidently you don't care about that. And you wrote a letter telling them you're not sending anything more? And you're insulting a senator for not writing back, publicly? Did you vote for that senator from abroad or did you vote against him, did you not vote? Do you think the State Department will be more helpful now?

How can I interpret what you said in the best possible light, like where to begin? Just make two pieces of the puzzle fit together. I generally believe people's stories regardless of whether they're lying. I think it's good for people to be believed, even if it's by one person, just for a little while, just to know someone can trust them. Later I reevaluate and maybe change my mind.

I want to believe. Help me.
It's hard to believe that the author of this poem also wrote this :/

https://en.m.wikipedia.org/wiki/The_White_Man%27s_Burden
China is still pursuing a zero case strategy and locking down huge sections of the country. Apologies for daily Mail

https://www.dailymail.co.uk/news/article-10349531/China-Covi...
Full-Stack Scala
A gee, so many expectations.
Unfortunately your genes don’t care about whether you’re happy or not beyond your gene’s needs for survival and reproduction.
> Very much this. I have worked with UN (ILO and WHO) in Geneva and signing a tiny (< $30k) software development contract required two years of extraterrestrial bureaucracy with an ultimate failure in the end.

Pretty sure you meant extraterritorial, but if you really meant extraterrestrial, that would be VERY cool.
Don't Waste the Good Days
What Happened in 2021
I got the same cpu , as part of a hp Z420 workstation I picked up for $250. Added 32 gb ecc memory and able to easily run about 25 containers with plenty of resources left over for VM or two.
The answer to it is quite easy if you know anything about India. Most Tech CEOs immigrated to the US in the 80-90s to study a not so cool academic area of science.

Most backwards classes never had the wealth to sit on a plane, let alone study in the US. The pursuit of high positions in someone else's company is looked down upon in merchant communities. Additionally, the forward castes were among the only ones to know English well enough due to history in the British Civil service. (A similar thing happened to the parsis)

So, CEO of a tech company is the kind of position that rewards academic pursuit of knowledge, a secondary emphasis on money (for your early years at least), being brought up in privilege and a kind of society that views CEO as the highest status post.

The Brahmins satisfy this criteria perfectly.

Wait for a generation or two. The most privileged of India are actually staying home. The American dream is a middle class pursuit and the demographics of South Asians at tech companies are rapidly changing.

Sauce- a non-forward class Indian immigrant tech dude

______

One new type of discrimination that's going unnoticed is the 'IIT' bias. More and more, top universities use being an IITian as the badge of honor for upperclass Indians. This is visible among the students as well. They often form cliques rather quickly. BitS, IIIT and NIT folks may get honorary entry to these groups if they are 'cool' enough. But, if you went to a no-name school in India, you are always expected to prove yourself in a manner that IITians never are.

The removal of GREs for admissions is making this divide more concrete.

It is a shame, because the IIT-JEE is a very specific type of examination that requires sacrificing around 3-5+ years of your most formative years for a low probability chance at entering an elite institution (The true geniuses, a minority of the IIT student body are exceptions.).

I know a large number of incredibly talented students at mediocre universities with zero avenues for pursuing research or adding some solid achievements to their resume, because the rich keep getting richer, and all the opportunities flow into IITs and some of the other aforementioned colleges.
> https://www.kylheku.com/cygnal/

Your SSL certificate is invalid and your server uses TLS 1.0 which is insecure and disabled by default in recent browsers.
The article is completely anodyne. If there's an agenda here, it's well hidden in very few paragraphs.
The bugs will evolve to any weak point, it happened to ford when he tried to industrialize rubber plant production:

https://www.seattletimes.com/entertainment/books/fordlandia-...

The bugs evolved to live under the leaves.
So they're making lots of dollars off of crap on Amazon. Most cheap labor has been outsourced from China by now and they didn't turn the trick: building a self sufficient growth engine while they had the fuel.

China peaked about two years ago. Today sharp left policy shifts are signaling a quick erosion of their economic integrity, which will turn out to have been very brief between the prosperity brought on by what's mentioned in the article and the coming collapse due to a lack of fundamentals built into the society.
Happy 2022!
> Again, that's the point.

Core gameplay: is being hurt by players only chasing it in hoping to make money

Cryptopeddlers: yes, that's the point.

Thank you.

> they can influence developers to build what's most demanded, i.e. basic economics.

Core gameplay: is being hurt by players only chasing it in hoping to make money

Cryptopeddlers: yes, that's the point. That's what devs should build: ways to monetize assets in the game. That's what influence and basic economics is!

> Ahh so Diablo items are meaningless now? Maybe to you, but certainly not to many other players as you've demonstrated.

What part of "meaningless outside Diablo" did you not understand?

Don't bother. Judging by your answers there's very little of what you understood from my message.
The problem is that IPv4 is not forward-compatible and not that IPv6 is not backward compatible.
There are things that map every IPv4 address to a IPv6 address, so from the IPv6-side it is backwards compatible.
You didn't use strong encryption that was not allowed to be shared outside the US? I remember early versions of software (PGP, I think?) in the 90s had some warnings to this effect.
I've faced this difficulty. One way I overcome it is by co-writing a document with someone over Google Docs or Dropbox Paper.
I apologize for that. There was an assumption that most people were aware of the Handshake Naming system [1]. Handshake is a naming blockchain that's recently been gaining adoption quickly (Namecheap [2]) (Opera Browser [3]). Using this, you can control your name, which is your identity, on the internet. There's a lot of other cool benefits, but as it pertains to this project, it's the names, cryptographic proof of ownership of said names, and the cryptographic provability that the messages were written by the owners of said name.

There are many ways to get Handshake names, but the easiest ways are to use Bob (non custodial) [4] or Namebase (custodial) [5].

[1] https://handshake.org/

[2] https://www.reddit.com/r/handshake/comments/pt55vb/namecheap...

[3] https://twitter.com/opera/status/1476841607005622273

[4] https://github.com/kyokan/bob-wallet

[5] https://namebase.io
Cash goes to local food banks/pantries and as things come up locally (YMCA collections for school supplies, Christmas presents coordinated by local sheriff's office, etc.). Handmade quilts are given to a local pediatric practice, via a local quilt shop to a DV program, and as things come up (the most recent example is the tornado in Kentucky).

During the pandemic, we've been leaving large tips at local restaurants when we get food to go (no eating in for us!). So not donations in the traditional sense, but certainly in the spirit.
The only thing blockchains add is a strict ordering.

So someone can now sign a message A saying "I give this picture to X" and everyone will know that any future message B from that person saying "I give this picture to Y" is "invalid" because everyone agrees that message A happened before B. Anyone who downloads the whole blockchain can see this.

Well, as long as everyone agrees to believe that blockchain.
Show HN: Watch the Year Change to 2022
It sounds like you're saying that cases should matter in some ways but not in others, which I take no issue with.
You ever play pool? I love pool. Billiards I mean. I'm not very good at it but if you watch the pros on YouTube or whatever you can't help but say "well even I could have made that shot" over and over.

Why? Because the pros set themselves up to take easy shots. Sure sometimes things don't go right and you have to make the hard shot. But given the choice, set up the easy ones.

Not checking your phone is a hard shot. Not having a social media habit is an easier shot. Frees up brainpower for more important matters like wasting time on hacker news.