skysight-inc/HackerNews huggingface dataset:
That’s my long term plan, I’d like to build something like Frama-C (https://frama-c.com/) but for Rust, but verification tools are not like other development processes and it’s not easy to piece them together.

I think that the first step is to develop a shared specification language for Rust, one that eventually could even become official like SPARK for Ada, then we move forward on integrating tools into a platform.
Thank you, that was insightful.

So it's kind of granted that in order for someone to define Jews as a race, one has to agree with the nazi definition of Jew.

This makes the ban even more perplexing, so on one hand ABC chose the nazi definition and on the other they (I assume) distance themselves from everything else the nazis said or belived..
A rolling stop in Switzerland is a guaranteed failure of your practical driving test. No matter the traffic situation.

And a cop will fine you if she sees you do it.

I agree with the concept, because it makes for clear rules. Rules, which shouldn't be up for interpretation by any old driver.
Yes that's another issue. But as a design pattern shouldn't we design our products to do their core functionality as much as independent from any anomalies that can happen?
This is almost akin to me if Tesla rolls out an update and the car decides to pull over to the curb to do the update, while you are driving to your job or worse to hospital with an emergency. My theory is there should be at least one health enterprise using firefox as their only browser for business functionality out in the wild.
Great work! Congratulations on launching. Here's feedback.

I don't want to sync all my phone contacts because many are confidential; do you provide a workaround?

I loved the circles concept on Google+, but many people said circles were too much overhead to create and maintain; how will your app be better?

Your landing page and video emphasize one person's personal connections, whereas Instagram and similar social networks are seeing major usage in B2C accounts; what can you say about your ideas for this kind of usage?
I tried to sign up on my iPhone and it didn't work.

I think this is a great idea.
What are your strategies to make users to bring their friends?
Someone created a very nice curated list of advanced Typescript videos. [0] After watching and working through them, I have not been stumped with more complex typing problems.

[0] https://www.youtube.com/playlist?list=PLw5h0DiJ-9PBIgIyd2ZA1...
Web 3.0 Wordle clone, complete with a decentralized score ledger, cryptographicly-signed guess registration, highly anticipated WordCoin ITO, exclusive achievement NFTs, and rug-pull. Bonus if its actually all powered by centralized word database running on Digital Ocean.
Thanks for sharing this context. It is ironic that the topic of Stuart's post was a call to stop canceling potential allies and pushing them to the alt right.

>he states as facts some things in that quoted post which are completely contrary to the reality of the treatment of trans minors

Coming at this with fresh eyes, He doesn't state anything as facts. He just summed up what JKRs position was and said this person is a potential trans ally.

As a result, he lost his political position and was canceled for begging people to think twice about canceling someone else.
> They are not considered to be the same race and yet both can be Jews.

then it's not a race, it's a really obvious paradox
Great work on the app! I haven't used it yet, as I'm reluctant to download an app or even sign up for an app without a clear demo of how it works. The video on the landing page explains the principles of the app (circles, privacy, etc) but it doesn't show how it works in practice.

As someone who also abhors social media, how is this different from those experiences? How are the circles managed? How are my posts and feed managed?

I used Google+ back in the day, and the circles concept was introduced with that. The circles were somewhat tedious to maintain, and became difficult at scale. How is this easier or better than that?

Also, without a web option, it's a no go for me for a social media app.
> None of the Workspace data you provide is ever used outside of Workspace, nor is it used for any other purpose than for the benefit of you and your users (...) that data is never used for ads.

This is a blatant lie. Google will share this data with law enforcement, also on request by evil and/or totalitarian regimes.

---------

And even for use within a Google:

It is as believable as FB promising to not use 2FA for other purposes.

And malicious tracking of users who explicitly demanded to stop doing this is just another proof that noone should trust it.

It is likely that Google sooner or later WILL use search history for own purposes.

I am not even really trusting that Google is not saving my location in real-time despite that I switched this off.
The Story of React
In Australia, Nine’s publishing arm uses Wordpress in the backend. It works great! Curious how the changes will affect them.
I like this analogy.
surfshark, nordvpn, allegedly at some point protonvpn - where the same thing (or at least incorporated by the same parent company or people).

oxylabs.io is also under that umberella and I would not be surprised if many more scraping/proxying/vpn products are just a disguise of wide and thriving market competition, where they actually belong to small number of big corporations.
Tell me about it. I gave up smoking completely over 30 years ago after smoking very heavily for years, and I still have nightmares about it.
I'm only aware of ELSA [1], which claims to give feedback on pronunciation, intonation, vocab and grammar (and possibly more). My wife has several friends who are non-native speakers and use it primarily for pronunciation, and they have reported good results.

As a native english speaker, I don't have a use for it but I would love to see something similar in other languages.

[1] https://elsaspeak.com/en/
Well, that’s not a Wordpress failure, that’s an organisational failure.
Interesting.
Programming yes, Software Development no- imho there is a huge difference between writing compiling code and writing maintainable code and/or designing stable and resiliant systems.
Can confirm. I've seen at previous jobs that some cliques do form, especially among high-rising careerist or very social folks. Other people just don't intermingle that much and are sidelined.

Maintaining contact happens rarely. And no, a linkedin add doesn't count at maintaining contact if the last private message was exchanged on the last day of work.

I suspect there's a sort of introvert / extrovert miss match.
Doesn't it seem like too much of a work? Just as you were using Hacker News, most people I know use a social network, passively. That is, there are only a few people who post regularly while others just react to it.

Also I think WA / Telegram groups basically replaced what Path / Google+ / FB Lists set out to do. It's just more convenient.

Right now Instagram does all of what I would want from a "public" social network while I have whatsapp groups for close friends.
This is just anecdata, but I’ve spent time in the UK and in several US states, and it seems to me that very bad driving is a good bit more common in the US.

There are aggressive drivers all over, at probably similar rates, but I feel like weaving across lanes, talking on phones while driving, etc is much more of a US thing. Also drunk driving, at least in certain states.

I guess I attribute this to a) low standards in driving exams, b) poorly designed laws (eg turning right on red), c) lax law enforcement and compliance (eg accepting drunk driving), d) misdirected law enforcement (eg aimed at maximising fines through entrapment, rather than actually improving safety). I don’t know to what extent I’m right about any of those, though.

So, I do think there’s a qualitative difference between the US and UK and “culture” is part of it (vs purely road layouts).

But I definitely agree that other countries do it even better -- we should look to them for lessons, and look for ways to diversify transport beyond cars.

Edit to add: to put a bit of colo(u)r on this: often in the UK, I find driving stressful because the lanes are so narrow, both on highways and in country roads. Then in eg Texas, you usually get lovely wide lanes, so driving should feel a lot safer; and I do feel like my own driving is easier, but it feels more dangerous overall because there are so many awful drivers around me! I don’t believe it’s a speed thing (plenty of people barrel down narrow UK roads at high speeds), it’s a driver attentiveness thing.

Does that fit with your model?
The Future Is Low-Res
Thank you, that is very helpful! I'll start smashing that(those) Google Maps button(s).
The biggest inspirations I usually get from stories like this is when someone admits her shortcomings. I tend to be more interested in the failures than the successes.
1. His political party is on the fringes of the left, advocating for very high taxation (reaching 55% at income >= $63k/yr, 75% at >= $125k) - this combined with the general Polish lack of trust towards politicians (and our ~20-ish% total income tax loopholes) practically guarantees that they won't ever get any real power.

2. Current government openly admitted to spying on the opposition and introduced an anti-abortion law that already killed a couple women, as hospitals decide to play it safe and wait until the fetus dies. And they dismantled the separation of powers. And probably already stole hundreds of millions of dollars, with independent investigations confirming at least tens. Our politics are so messed up that absolutely no one will bat an eye at a 7 years old non-PC joke.
Perhaps we should send some of our politicians through the LeetCode hoops.
> Investing in lifelong information literacy – Education on digital literacy should not be limited to schools and colleges. Older adults are more likely to be targeted by, and be susceptible to, online misinformation.

Is this a prank, i.e. obvious misinformation?

The prior point that surveilance is needed, following that individual platforms shouldn't be relied on for censorship would also widely be considered plain wrong.

It's really questionable how science is to be defined, as soon as social aspects enter the picture.
Not true, as I said, even convicted criminals have their human rights.
Protecting OT Networks from Ransomware Attacks
All the commercial kombuchas I've tried are full of sugar ..
Tesla supports setting a speed over/under current area's speed limit (not sure if it's disabled in certain jurisdictions - worked for me both in California and Florida)
Does this make starlink any more feasible? I thought that the math just doesn't work out.
Not to mention the massive amount of space garbage (40k satellites replaced every 5 years?)
See for example a "busted" video https://youtu.be/zaUCDZ9d09Y?t=912
Firefox got the codecs working in the next release
I used to have exactly this bug in my revolt Wordle chatbot. It's especially annoying when one of the duplicates is in the correct position but get's marked as BLACK since a previous repeat has been marked YELLOW.
(I don't think this can be classed as correct behavior)

( My revolt Wordle server: https://app.revolt.chat/invite/2q3NYtM9 )
> This makes no sense.

Statement mis-identifying personal state of mind as extrinsic property?

> (rest of comment)

Simple assertions about personal world-model?

> Or maybe I just don't get the point.

Definitely get your feels though. The article doesn't have teeth. However...

Are dreams "reality"? Certainly you experience them. At the very least they are capable of forming vivid memories, no? Heck, if you really want, you can even experiment with lucid dreaming and discover "dream laws". However, dream experiences don't operationalize in the same way as waking life experiences. If you have a really mind-blowing glass of water in a dream, I don't know of a good way to get friends to experience that too.

Should we go full Scientist TM and say that reality is discoverable and reproducible? Perhaps. Elements that operationalize in this way are friggin' useful.

However, that one time the sound of a breeze over a summer lake brought you to tears is not "reproducible" in any meaningful way. That specific memory is closer to a dream in many ways, since it mostly operates as memory. So was that experience "not real"?

Okay, so maybe "reality" isn't just Scientific Laws or whatever? Maybe the article has a point?

Personally, I find the act of asking these questions and seriously engaging with them to be fruitful. They can highlight the boundaries, edge cases, and bugs in a mental model. Humans can get into all sorts of interesting mind-states. In my experience, the "makes no sense" feeling is usually an indicator that I've failed to engage my mirror neurons and simulate said mind-state.
> No-search is the best part. You actually have to talk with people…

I tire of answering the same question hundreds of times
> So it's kind of granted that in order for someone to define Jews as a race, one has to agree with the nazi definition of Jew.

I'm genuinely curious how you think that the first part of my comment and the links there don't support the concept?
How do you distinguish between "can be taught" and "cares to be taught"?

Plenty of people still live in a world where coding is low prestige.
This is what I love about it too!

Though I rarely drink for any other reason
This is much bigger than any "google killing products" issue. Azure got a lot of ways to push itself in, and reaps a lot of possible clients by being first party windows solution for companies that have a lot of windows stack.

AWS has the first mover advantage and enormous brand penetration - it's literally the "you can't get fired for choosing AWS" (instead your company might fold due to AWS bills, but you'll be clean).

Meanwhile Google seems to be much less known in cloud infrastructure space - people think of Google Apps/Workspaces, not GCP, and they seemed to have serious problem getting to clients. I know I was quite surprised by the available stuff and low prices when I did my first project on GCP back in 2016, and generally I've been pleasantly surprised except by their horrible billing support (Google can't into actually getting paid?)

They are in this funny situation where they constantly seem to be lacking fully blown virtuous cycle of adopters and supporting companies, despite having some of the best options on the market - but I think the real issue is that they are neither the first mover (AWS) nor "canonical windows source" as with Azure.
In standard conspiracy theory fashion, short on who and why. Two parts that are critical.

People talk. The more outrageous the conspiracy, the more people need to be involved. Someone always talks.

Then lets understand how these people stand to benefit. Nobody is going to extraordinary lengths just to burn it all down.

I love me a good conspiracy theory and playing “what-if”, but the things i take action on are the ones which pass my two criteria above.
It's probably a number of factors:

- The US remains relatively high income / high wealth. Especially among the more vulnerable senior population.

- The regulatory environment in the US hasn't been successful, or much interested from appearances, in taking on spam.

- Uniform language. Virtually the entire country speaks a single language, English. That's roughly 300 million targets (minor children generally wouldn't count). The largest single European nationality would be Germany, with a total population of 84 million. It's not even possible to necessarily presume an entire country speaks one language, as with Switzerland. And though computer-generated calls are increasing in prevalence, most still use human speakers.

Effectively, it's opportunity, mechanism, and logistics.

But as costs fall and voice-processing (both comprehension and realtime generation) improve, I'd suggest increasing your vigilence around telephone hygiene.
I wanted to answer with "because Swift's type checking is decidable", but that has changed (with SE-0142 and SE-0157) - allowing recursion. So, it is 'at least' undecidable now.

https://forums.swift.org/t/swift-type-checking-is-undecidabl...
I find it interesting that right wing people found this movement as fertile ground to try to co-opt rather than something like a peace march or a civil rights protest. Or solidarity with the nurses and working class medical staff on the front lines of the pandemic, who probably don't look very kindly at the truckers' attempt to make this an issue about working class people rather than petty selfishness and partisanship.
Maybe OP is referring to the several reports similar to this https://news.ycombinator.com/item?id=30174848
There are a limited number of permutations. Assuming it's not choosing them randomly, it'll finish eventually... If the hardware doesn't die first.
Show HN: I have made a Chrome extension to focus on my goals
Hi,

In the past few years, I have discovered and tested the benefits of goal settings and visualization. I have formed this habit of writing my goals as affirmations in a pocket diary and reading it every morning. However, there are days when I forget to do it and then lose momentum.

So, I thought of a chrome extension with a minimal interface where I can add all my affirmations, and then it displays them on a new tab throughout the day, one affirmation at a time.

With the help of my teammate, I have created exactly this. It's called 'Affirmations Flow.'

This is how it works:

- When you add it to the chrome, it comes with a few sample affirmations preloaded
- You can edit and replace them with your affirmations.
- Click save, and you are set.
- When you open a new tab next time, it will shuffle play those affirmations displaying each affirmation for thirty minutes so that you can focus on it.
- If you are in public place and do not want others to see your affirmations, there is an option to hide the shuffle and the extension gives you a blank screen new tab with beautiful floating bubbles.

It's totally free.

Here is the link if you want try it out:
https://chrome.google.com/webstore/detail/affirmations-flow/koaaphllbjjlfgfmjohmlnncpeepdogg?hl=en

Thanks!
Thanks for the comment! I think it's a great question, the hypothesis with Circles is that a vast amount of people would like to share online but don't because of the dynamics of these other social apps make them uncomfortable.

So in that the hurdle has been overcome because people are able to share content and interact in ways that they 'can't' do elsewhere. There's also a group of people (like myself) who avoid typical social media, so downloading a different solution is less of a hurdle because it's designed for them.

However, you point about people 'hating' social media yet still using it is well and true. It's almost like fruit vs mcdonalds, everyone would prefer to be an avid fruit eater and have control of their diet, but few do in the end. In that we believe the only moat for social networks is providing utility that other networks can't - YC wrote a really good blog post on this in relation to WeChat (https://www.ycombinator.com/library/3t-how-wechat-grew-to-be...). We're obviously not there yet but it's a start.

Also, if looking for a solution to that messaging problem, Beeper and Texts.com are creating something exciting there. Perhaps the social media equivalent of these services will be enabled by interoperability by DeSo, ETH or the like. Interesting to think about.
NGOs also don't need to do anything. Nobody has to do anything. You don't have to reply to my comments. I don't need to reply to yours. I don't need to explain simple corporate responsibility to not enable dictatorships to easily target people to you. I'm not an NGO.

I guess the lesson that I've learnt is that there's always a gormless oddball on HN that attempts to instigate an irrelevant argument. Unfortunately, it's a heavy price I continue to pay. Hasn't stuck yet :(
Ask HN: Which are some fsync friendly cloud?
Hi, cloud noob here. I have an app that is i/o heavy and relies on fsync, and want to put it on cloud making it SaaS. What are some cloud infra that are fsync friendly? Having read a lot of fsyncgate it scares me. Is it just about buying dedicated server with local storage and the actual cloud infra doesn't matter? Also, how do databases manage to work properly on cloud?
Had the same problems on iOS.
Another thing I've noticed is that on long term decade time scales people who drink regularly have less energy in life
For mail, calendars, and address books we have, as a family, switched to Fastmail a couple of years ago. It has been great!
> What do Palestinians especially in Gaza, have to do with Arabs as a whole?

I'm sorry, but I honestly don't see any way of continuing a good faith, productive and civilised discussion after this question. I always try to steelman my opponent's arguments, but I just can't find a way to look at this and not perceive it as trolling.
Google translate I've used myself to test my pronunciation when learning a language. Seems to be a good test. Native speakers pass and poor pronunciation fails.
Same here. And I wouldn't share my contacts regardless. That's a big ask before getting to any main features and not worth the risk to me.

So a couple of thoughts:
1) Allow me to sign in and post texts without permissions or sharing contacts.
2) Give the option to ask me for photo/file access permissions when I push the photo upload button.
3) When adding contacts, a prompt for contact permission is okay then but should be optional i.e. I should be able to put a phone number or email address in manually. I don't know if you had that or not I stopped at the file permission.
Well if you want money, 500k/yr is very possible.
This comment seems unnecessarily aggressive given the code is pretty straightforward to navigate. If you were to read the source code a little further you'd jump into this code, called from OPs referenced function: https://chromium.googlesource.com/chromium/src/+/e51dcb0c148... I'm not sure exactly what kind of 'proof' you're looking for , but this tracking isn't being hidden.
(paying) customer here.

Support is quite something. gcc (C/Ada), tools, language questions or problems, you get some expert answering most often the same day, and you get experts chiming in, references to the Ada or GNAT reference manual or user manual, sometimes history, sometimes a 'meh you're right this isn't really satisfactory, let's see how we can improve'. I cherish the mails I got years ago from the late Robert Dewar watching the support tickets and joining in with compiler optimization patches some hours after being convinced of the usefulness of an idea. Woa.

Even more impressive on the SPARK side, Yannick Moy, Claire Dross and Johannes Kanig are first rate minds.

The libadalang effort is also a game changer for Ada and spark, really making legacy code analysis and refactoring, and overall tool building, so much easier.

And the way they ramped up their fuzzing story once they realized the potential is quite something.
That popsci video is — out of necessity, this is not a criticism of those in it — a massive oversimplification.

One of the arguments on this topic is if there even is an observer effect at all, with one alternative being that the quantum wave function never collapses, instead it is our own wave function becoming entangled with that of the particles we observe: the part of us which observes |A> is correlated with the part of the particle wave function in state |A>, the part of us which observes |B> with the part of the particle wave function in state |B>.

(And I'm also oversimplifying, because I’m still learning this stuff).
Looks quite nice.

But I did use Google+ and it was just no one else really using those features.

So nope I'm not seeing the benefit of syncing my contacts with your service.

WhatsApp won in our family for sharing.
It's like the change from horse and cart to a crappy early car that wasn't much better. But it's the start of the AI revolution which will have quite an effect.
Web Scraping in a Nutshell: The How, When, and Why Answered