skysight-inc/HackerNews huggingface dataset:
Listened to a podcast about it recently on Hansel Minutes pretty crazy the tech involved with Roblox and the meta verse thing.

I don't see myself playing it but when I was younger Runescape was my thing, lost in that world. Philosophically (ha) question of what matters in life ultimately guess it's having fun since time is one directional (what you own/sentience) and fun is subjective. This is my neg comment on how (playing) video games could be considered a waste of time for not being "real" but it's about the experience. West World vs. reality too.

I do play video games, like a few hours a week of some multiplayer game like BFV or watch TV when I'm burnt/can't think anymore.

Also a tangent, space travel (probably impossible in our life time eg. stars) vs. going inwards eg. virtual reality/brain jar.
Israel's Health Ministry has clearly stated that the vaccine is 39% effective against Delta strain [0] at preventing disease. Think about that, according to Israel, 61% of vaccinated people are catching full-blown COVID and by implication, some lesser amount are catching an asymptomatic version. The Gamma and Mu strains are known to be even more resistant to the vaccine.

People are so desperate for their fear to abate that they'll put on the blinders while trying to convince themselves of all kinds of things.

With at least 61% of vaccinated people getting a virus with one of the highest r0 around, the vaccine is 100% ineffective at killing transmission. The virus swims around many millions of vaccinated immune systems mutating until it finally finds something that works around the vaccine antibody. This is contrary to the media's anti-science garbage about unvaccinated being the cause of a virus mutating (why would it need to mutate around the vaccine antibody if they don't have any in their system?).

Paired with evidence that natural immunity is up to 27x better, the picture is pretty clear. The vaccine antibody is a response to a synthetic antigen rather than the natural one. The resulting antibody targeting the synthetic antigen (why I specifically referred to it as a "synthetic antigen antibody") is not as flexible against the actual disease.

My greatest hope at this point is that vaccinated people catching Delta are slowing the spread with the inefficient antibodies while developing natural antibodies, but I've seen zero studies about this. If this is not the case, then I fear we've kicked the danger can down the road and made it even worse. In the worst case, an ADE effect develops (not theoretical -- this was one of the biggest concerns/problems in previous SARS/MERS vaccine attempts) and 50+% of vaccinated people die.

> it is telling that there are unreasonable people out there however vanishingly small a number. In one recent survey of doctors 96% of them had gotten the vaccine. 45% of the remaining 4% were still planning on getting it. so that's about 2% of doctors that are not planing on taking it... i'd say that's an overwhelming number of doctors that are getting the vaccine.

Don't mistake getting and wanting. Most of my family are in the medical field. Some travel all across the country. Huge amounts of people had to be threatened with losing their livelihood before they got the vaccine. My sibling has had a couple months of symptoms from their vaccine (most likely because they'd already caught COVID and severe reactions are much more likely in that case). In truth, it is anti-science to require the vaccine from those with natural antibodies as we now know they have strictly better antibodies.

Then again, vaccination seems more about politics than science.

[0] https://www.cnbc.com/2021/07/23/delta-variant-pfizer-covid-v...
Consider Librem 5 if you want to go against all those trends.
I did this and found rats and raccoons digging in my yard for grubs.
If every person on the planet were using their GPU to play a few hours every day, they would probably not reach the amount of energy used by the Bitcoin blockchain alone.

All of the things you are citing require cooperation and discussion and democratic discourse. An algorithmically driven opaque protocol controlled by a handful of technocrats (the people developing the major clients and the ones running the major mining pools) is part of the problem, not a model for the solution.

Not to mention, money as a means of exchange is simply not one of the problems standing in the way of stopping global warming. The biggest problems are caused by rich people who have calculated that they will not be personally impacted, who couldn't care less about the poor 90+% of the planet who will, and who have thus decided to prioritize increasing their wealth today over any sort of urgent changes. It is also perpetuated by organizational systems put in place a long time ago (mainly for profit corporations with lobbying power) that have the same goals - short term profit over any other consideration.
It's simple. A type system can be complicated to itself do computations. See dependent types, for instance. Once you open that up you have the full range of complications for computing itself in your type system. There are type systems sufficiently complicated to declare "the type of Turing Machines that halt in a finite amount of time" as a type; this causes obvious problems.

It is a well-known phenomenon that it can take surprisingly little to turn a computation system Turing complete; witness, for instance, C++'s accidentally-Turing-complete templates. So it can wiggle in without you even realizing it at design time. Or, if you're using a type system with sufficient power like dependent types, it is surprisingly easy to put together four or five recursive types that, on their own, are all perfectly computable, but together turn out to create something that is Turing complete. Write a program with a few hundred of these and Turing completeness is almost bound to sneak in somewhere.

See https://www.gwern.net/Turing-complete , and ponder applications to just-slightly-too-powerful type theories. Or https://github.com/Microsoft/TypeScript/issues/14833 .
Of course it is a scam. Otherwise, why wouldn't we have government-run banks which invest our savings in the background for us?
> Removing the line from the CoC also was not a response to the joke. It was a response to the ensuing discussion about the joke.

> Talking about proportionality as if the change was brought because of the joke is as questioning the proportionality of WW I to the death of archduke Franz Ferdinand.

I first thought your response was a joke, but maybe you actually mean that, put some emojis next time to show if you are joking
Yantra Manifestation Review Guide Book
> So many people I know resigned because they were disgusted with the racism and medical tyranny.

I assume this is a right-wing dog whistle, but just to be clear you’re anti-vax and the “racism” you’re talking about is diversity initiatives?

Yeah, it’s definitely for the best if you and your friends leave the industry.
Sure, but how many companies were hiring Senior Engineers with just a phone call? Zoom is definitely less disruptive than having to sneakily drive across town, let alone fly across the country on a weekday or two for in-person interviews.
So how do the various popular CRDT libraries compare nowadays?

There's Yjs (with a Rust port that is in progress), Automerge-rs, and your own diamond-types project :).

Is Yjs still the current go-to for most projects' needs?
Its a good article but it should be noted that this very much is a web-centric view of Offline First and its challenges. When I say web-centric, I mean as opposed to offline-first on a mobile app.

Native apps dont deal with the same issues around storage, and are actually _much_ more performant overall. If you haven't done an offline-first app, I highly recommend it. The experience is magical. You can fly around your app at the speed of the users touch. Content is magically loaded as soon as its clicked on. Its amazing as a user.

As for similarities, conflict resolution is a universal problem and is either the most difficult or second most difficult problem [1] to solve. What makes this more difficult is that there is no one-size-fits-all for this. You need to have a deep, nuanced understanding of your system and what makes sense for your use case in terms of resolution strategies. Then you need to implement them, which is not easy especially if your backend is bog-standard REST on a classic SQL datastore.

I've enjoyed reading the past 2 rxdb articles on this (the one mentioned here as well as the one from a couple days ago [2]). Its great to have more content on this publicly available, when I was getting into offline-first I only had a couple options.

[1] - At the end of the day, offline-first is a whole bunch of caching, and so you end up needing to deep dive into cache invalidation strategies which we all know is a hairy problem.

[2] - https://news.ycombinator.com/item?id=28690427
The web as it's understood by most people is about sharing messages, images, games, audio and video. Wasting time, having fun.

So why does all talk of Web3 always shoehorn in blockchain and smart contracts? Who cares about that besides crypto buyers, who are mostly conducting their business via clearweb exchanges anyway?

The best part of Web 1.0 era was that you didn't have to pay to access information beyond what your ISP charged. Ethereum and its dApps are pay-to-play. I'd be interested to know how many of the cited 7000 dApps offer free information, and not just overpriced digital trinkets.
On a side note i recently tried duckduckgo again. 5 years ago I thought the searching was unusable today I've seen insane improvements haven't used google in 3 months.
In US FDIC, which insures bank accounts upto USD 250K, has basically obfuscated Good Bank vs Bad Bank quality check for the retail customer.

The Fed Reserve and Treasury and FinGov apparatus does some 'stress tests' but mostly a dog and pony show.

Banking in US is mostly element of convenience than quality.
No one ran from Wells Fargo accounts (at least retail users) to say Bank Of America because Wells Fargo is fined for basically fraud.

In short term its a good thing, in long term.. well it is prone to blow up, I hope that is not in my life time.
QuiteRSS on desktop. Was previously using Liferea.
I do hope Twitter can find a solution to this. Sometimes, with proper guidance and knowledge; Social media can be helpful and informative to its users.
If more people invest in an asset, the price of the asset increases because its value also increases. This isn't overpricing, or the 'system' feeding itself, this is the value of assets increasing..
It is Real Time Clock (RTC) chip just as found in ATX motherboards since like 1997, very primitive and low powered, so it can't spy on you, just provides autonomous time source. Power-on alarm(s) is RTC's feature as well, merely comparing preset alarm time register(s) with current time register.
Flym on Android. Free. No ads.
Are there vendors who provide support for tool qualification for frama-c? By that I mean documentation support that can be provided as part of the certification process, so when you say "Frama-c verified this code does not contain any arithmetic overflow", it is possible to back that up with "And Frama-c version x.y.z has sound analysis, evidenced by ...."
>I’m a “true believer” in CRDTs, which I have some experience in.

What is the largest-scale or highest-profile real-world usage of CRDT today?

(I glanced at this CRDT vs OT topic before but I'm not up-to-date on where things stand in the real-world performance: https://news.ycombinator.com/item?id=23988999)
> tribal and devoid of any facts.

Yes.

> proved the effectiveness of masks

The article is a pretty decent counter argument about mask mandates, which is why my statemnet was tribal, and whi can't help but see yours as the same.
Commuting can help improve work-life balance, study suggests
Click the doodle, slide 7
I just want the fuck out, there no realistic alternative.
This is sick! Instant upvote
“ … mandatory for all the developers and skipped by all the managers, including product managers.”

So, are the developers somehow responsible for the problem, since the managers were never exposed to the consultant?
If Code is law, the compiler is the judge.
1. They probably still track your 3rd party app usage, which is not as easy to block as on the web.

2. Since they have detailed information about your friends the contact graph has enough information to predict your age, probably what your major was, political leanings, etc. Not to mention photos of you that might have been posted by your friends on facebook.

3. They used to buy 3rd party data that they could join on your phone and email address.

Sure some HN users might have enough knowhow to block most of their tracking but 99% of facebook users don't.
Just stick a Starlink antenna on it, dummies. /s
Yes, "speedrunning 500 years of bad economic history" — https://www.youtube.com/watch?v=xCHab0dNnj4
Broslough has many criticisms in his threads that go well beyond mere ad-hominems and I don't think there's a real ad hominem in anything he wrote. Pointing out that a researcher has no scientific training and is working out of a strip-mall university is not an ad hominem. Science is driven by expertise, and non-expert opinion is correctly regarded as less reliable than expert opinion - that isn't an ad hominem, it's the correct method for dealing with any domain requiring expertise.

He didn't merely criticize their lack of credentials esp. the lack of geologists, but criticized how they practiced stratigraphy for collecting samples for the supposed shocked quartz, as well as going into a details thread showing why their claims of quartz shock were unrealistic, and pointing out that the presented evidence of the supposedly shocked quartz did not actually appear to show that at all.

There's a whole lot of problems with that paper, the science isn't there, the people who wrote it largely had no relevant scientific training and made many blunders, the evidence presented is unreliable, the analysis is deeply flawed. A number of trained scientists have weighed in now with substantial critiques of virtually every part of the evidence presented:

https://twitter.com/ChrisStantis/status/1440404380386160646

https://twitter.com/petrabonegirl/status/1440833392006688768

https://twitter.com/FlintDibble/status/1440416847841546247

https://twitter.com/MTB_Archaeology/status/14404733356876308...

https://twitter.com/elleryfrahm/status/1440510054369677314

https://twitter.com/NErbSatullo/status/1440615036691501059

https://twitter.com/MichaelDPress/status/1440654636705140747
That's fine, if it's on your tablet or PC.

If you're looking at a web "site" on a vertical phone screen, one side or the other did something wrong.

My point is: sites and services should have two separate experiences, depending on screensize. These are: desktop site, mobile webapp.
I was with it until it came down to NFT.

ssh like crypto works. If you want to bring in blockchain, do it later as an added layer.
Xiaomi Launches CyberDog – An Open Source Quadruped Robot Companion
more like 0.1%
> chilling effect it had on free speech

I think comparing this to free speech is just a losing argument cause legally free speech is for criticizing the government non-violently.

They are private companies that have a monopoly, making a new platform focused on enabling creator's means of revenue is the ideal approach.

>If a liberal channel is wrongly banned, an army of Googlers quickly rushes to fix it. If a conservative channel is wrongly banned, there's internal snickering.

Conservatives unironically have a victim complex for this because lefties have the same issue because they are saying the centerist thing. Democrats or what conservatives call 'liberal' right now are mostly a centerist party, trying to be palatable to the largest audience. The same social media companies want to keep the largest ad consumer base as well as advertiser pool.

> another darker side of this

I honestly think it is a societal shift of the vanilla of politics, I'm sorry conservatism is no longer vanilla and is actually the rocky road of politics and isn't as friendly.

Edit: I challenge anyone offended by this point of view, to look into conservatives that have been 'cancelled'/'silenced' viewership and numbers before and after. It usually helps them get more of a following across the board, they inflate this issue beyond how bad it is to get more attention for a possible loss in revenue.
The movie and film production process currently involves a large web of organizations, including both traditional movie production studios and software development firms. These firms have to be able to communicate effectively and work together, so they need a common language that they can use to describe concepts.

Since (to paraphrase) the second hardest thing about software development is naming things, and software developers/filmmakers are likely to be unfamiliar with the other field's terminology, this guide is an attempt to provide suggested names of things such that everyone understands one another.
I believe you can create a Cloudflare mirror for your web3 site so people can access it using a regular browser.
I sort of understand people feeling like Signal/Mobilecoin is a get-rich-quick scam (though I really don't think it is), but I don't understand why, beyond the ickiness if that were the case, it actually matters.

Does it somehow reduce the effectiveness of Signal Messenger?

The argument against Signal here seems to rest on the weakest foundation. As I understand it, it's something like:

- This could be a get-rich cryptocurrency scheme. We don't have any evidence for it, but you can assume the worst.

- The project embarking on this scheme shows they don't have users' best interests at heart.

- If they don't have users' best interests at heart, how can I trust any of their other decisions?

This is not an argument I'd want to hang my hat on.
> Meh. GME didn't stop trading because some fund had shorted the shares

The entire issue is a fund was allowed to short shares they did not have. An illegal act unless you are powerful enough. That is the origin and cause of the entire story.

No one disagrees that Robin Hood is garbage. But them being that is not the main issue at all.

RH having collateral is something entirely different from the shares you have suppose to have been owning being nothing but an IOU
Exactly. They introduced auto-deletion of localStorage under the hood of "privacy", when it was really about driving people to building standalone apps (and use their store).
Most of these kids wouldn't know real tolerance if it slapped them in the face, anyway
This x 100. I’m surprised we don’t see this brought up more often. The same effect is happening with many obvious life changes - weddings are way up, and I wouldn’t be surprised if there’s a small baby boom in the next year or two as people who waited through 2020 finally felt safe/stable enough to make voluntary life change again in 2021.
Btw I have an article comparing it with confluent web GUI
https://towardsdatascience.com/overview-of-ui-tools-for-moni...
> Actual banks that people use need to spend a lot of money just on maintaining the charade of being proper custodians. Yet, they can still lose your deposit, in which case they rely on the government to bail them out.

The major difference is that, collectively, the world's banks are a decentralized system that processes billions of times more transactions every hour than Bitcoin and other major PoW coins have ever executed, while offering many services which are impossible to offer through Bitcoin - loans, insurance, the ability to recover your money from a fraudulent transaction, and many others.

Replacing this entire centuries old system is something that no one wants - not the left, not the right, nor the vast vast majority of crypto owners, who are just in it for a quick buck.
In practice I believe last write wins or compare last two writes is sufficient.

Any thoughts on this in practice?
The terminal state of successful decentralized technologies is always going to be one where there are some large centralized nodes. This is true for the Internet, for Email, for the Web, and so on. So consolidation of crypto by the backing of large mainstream companies is just one more sign that it’s here to stay.
Oops; I posted on this earlier (by a few hours) submission [1] on SpiceDB story.

Reposting (with small edits) here for visibility by founders:

Super cool. I’ve been looking at other groups trying to implement such systems, many of which appear very nascent or otherwise missing key features.

This looks like it solves a lot of problems for me, a solo developer, trying to build a enterprise-targeted product as a side project (whether that's a fool’s errand is another discussion). In particular, correct and efficient implementation of PER OBJECT permission seems like a hard problem, and many other (external) solutions merely control by object type. Building per object control into the product (integrated in the code itself, with no external gateway/proxy/layer) requires really detailed thought and planning related to ACL, group membership, etc., and any change in plans later means changes to potentially deeply integrated code.

QUESTION: Do you see greater value for (a) large teams with huge and complex products involving many moving pieces, that need a consistent AuthZ layer, or (b) small teams that need robust AuthZ and don’t have the time and human power to develop it themselves? (Or c, false dilemma, equally great for both )

[1] https://news.ycombinator.com/item?id=28707072
Low-paying positions of power are a recipe for bribery.
Can you prove these statements with any data? There are of course benefits to online networking, but the US population of LGBT is 5.6% (of all ages) with most concentrated in urban areas so you are pointing out a small age bracket of a specific type of social engagement in a small population as a counter with the assumption it is beneficial, and the hobbies you describe are not social media engagement, they are online meetings that go offline, which is not the usual trajectory of users online. These sound like extreme outliers unless you'd like to prove me wrong.
The Secure Open Source Pilot Program
Checkout Snikket if you haven't yet: https://snikket.org/ - Not affiliated, just a fan of Matt's efforts here.
Wokism is precisely about being an asshole, and using the language of social justice justify bullying and intimidating people. I think we're a little late to the game recognizing this because historically authoritarian and bullying behavior has been more likely to come from the right than from the left.

I generally avoid projects with a CoC because it signifies that the people in charge are more interested in picking fights than they are in developing great software.
I was wondering how they'd use this label, but of course it's to categorize one's contacts!
I disagree. TOTP-based 2FA is leaps-and-bounds more secure than SMS based 2FA and will stop nearly all attempts to access your account.

The fault here lies with victims answering a prompt to enter their 2FA out of the blue. Just as with passwords and other such info, the bank will never request it for no reason.

A hardware token using webauthn protocol is most secure though, yes.
DOJ Has 58 Documents on New Criminal Chief That It Doesnt Want the Public to See
But how do they pay the gas fees? :P
> Scrum does have a lot of processes and artifacts and things to measure

Scrum, per se, has no defined measurable bits. If a process has lots of things to measure, that's due to decisions besides the one to use Scrum.
Ive also gone the negative key route, and would move to a "client dictates the key via UUID" like you mention if I redid it today.
One user here is obviously trolling and the other is oblivious... Will these changes stick? Who knows...

Also, the person who made the joke about women's ages should be banned for such a lame, cliche joke.

As for harassment as CoCs, it's a mailing list... How hard is it to just talk about code?