skysight-inc/HackerNews huggingface dataset:
Using unsafe isn't "cheating". The whole point of using Rust is that you can encapsulate very small amounts of "unsafe" code within a safe abstraction, and know that there is no way to abuse the safe APIs to produce undefined behavior. The formal verification project "RustBelt" [0] has proven exactly this -- safe Rust code composes arbitrarily to produce safe behavior.

"Within a safe abstraction" is the question. The question is whether a piece of encapsulated code is always memory-safe for all uses. There's no guarantee of that from the language. The RustBelt people are working on tools for that, but it will probably require proof work in Coq for each bit of code containing "unsafe" to get there.

Look at the scoped_threadpools example again [2]

use scoped_threadpool::Pool;

fn main() {
let mut pool = Pool::new(3);
let mut v = vec![1, 2, 3];

pool.scoped(|scope| {
for i in &mut v {
scope.execute(move ||{
*i += 1;
});
}
});

println!("v: {:?}", v);
}

There's an implicit assumption here that all the values returned from the iterator at

for i in &mut v

are disjoint. But iterators, in general, do not guarantee disjoint outputs. An iterator which returned each reference value twice, for example, is a valid iterator. But used in the context above, two threads would receive mutable access to the same element of a vector. That seems to violate a core Rust safety assumption.

This would be a nice test to run through the version of the Miri interpreter that implements the dynamic "stacked borrow" checks from the RustBelt group.[2] That tool should catch this.

[1] https://news.ycombinator.com/item?id=24992747

[2] https://plv.mpi-sws.org/rustbelt/stacked-borrows/paper.pdf
Indeed, the shifts in society took away the hope of marriage from most of us. It used to be that to not get married, something had to go unusually wrong with your life. Nowadays, to get married, something has to go unusually right with your life.

Because the vain "proto-marriage" of my youth collapsed like the author's, I am cursed to sojourn the earth alone, at least for a time. The bitter taste dissipates when I know that a real wedding hall is set for me. Better still, it may not even be too late to find its typological implementation on the earth. So I'll keep dunetreading.
Universal Studios is owned by Comcast/NBC. Seems like it's trying to narrow in on the Facebook/Twitter style social media companies by excluding traditional media companies.

It is a weird thing to specify and it also opens an obvious gap. Buying a small amusement park with a half-dozen carnival rides would be a negligible cost for a multi-billion dollar social media company. Possibly cheaper than paying for a detailed legal analysis even.
The “Expansion” Audience in Google Adwords
Maybe because it is common? I mean the dual use as bunker, not the glory. I know that part of the main station of the U-Bahn in Bonn am Rhein, Germany has been built like that. Also several deeper stations built by the Hamburger Hochbahn in the 70ies are dual use like that. I guess for a certain timeframe (WW2 -> Cold War) it was like that everywhere where such infrastructure has been built?
It was referring to deflagration in a normal jet engine that I saw and stopped.
It doesn't make necessarily make it harder to solve. It potentially makes it easier to solve.

The hardest part of solving social problems is getting buy-in from the necessary parties. If it caused by guilt and intentional malice, you have little to no hope of getting buy-in from those parties.

If you can analyze it and figure out what went wrong without trying to find some scapegoat to pin the blame on, there is hope of something better arising from this.

Something better may already be quietly arising from it, just as yet unnamed and not fully understood. Good information would be helpful, sort of like having a midwife attending a birth. The baby is likely to be born anyway, but the right help will make a difference in the health of both mother and child.
This appears to be a discussion about the dangers of rampant unsafe sex, not about prep. I know tons of straight men and women who have unsafe sex.
to be fair, you shouldn't be messing with your radio or things like that while driving anyways. Just stop somewhere!
I've always just used

/^.+@.+\..+$/

That is, "Some characters, an @, some more characters, and a period"

I couldn't care less if users want to enter undeliverable email addresses, they won't get emails. All that regex is intended to achieve is ensuring that the user hasn't accidentally filled the wrong field (e.g. tried entering their phone number) or mistyped a punctuation mark (foo#bar.com, foo@bar,com)

Strictly speaking, it won't match some valid email addresses, such as IPV6 domains. But if I receive a support ticket complaining that we don't accept email addresses with IPv6 address domain, I'll reply advising that the customer should purchase a domain name or sign up to one of many free email services.
I know it's a bit of fun and kind of a joke.... but, makes me wonder:

What will happen some day when solvers and bots get so smart and human-like (and the CAPTCHAs evolving to keep up, with harder and harder tests) that the technology "have nots" human beings of our world will not even be able to prove they're human any more?
> This is… an interesting take. You mean that everything before the 1999 XMPP PoC was decentralized, and XMPP killed it? (despite the actual situation at the time being split between closed and centralized networks, like MSN, ICQ, etc). And XMPP is to blame for the failure of all the other decentralized systems (that have nothing in common) that came between then and now?

I mean that instant messaging was the first time (on the internet, at least) that centralized networks beat decentralised networks (whereas centralised competitors to email, the web, etc. had lost), and the legacy of that is why many subsequent network systems (that indeed have very little in common) have been built as centralised rather than decentralised. And I've gradually reached the conclusion that the reason the centralised networks won that one was not because they were uniquely good, but that XMPP was uniquely bad.

> Additionally, considering several hundred million people use XMPP on a daily basis (and even more use something that started out based on XMPP, e.g. whatsapp), saying that XMPP is so terrible that it killed everything is so weird that it would need some facts to back it up.

Actually I see the fact that modified forks of XMPP have been so much more successful than mainline XMPP as a demonstration that XMPP's design makes a lot of unforced errors.
this is interesting, so you're saying producing something like a "super STD" much like how antibiotic resistant strains of bacteria, ie superbugs, are bred in hospitals for example. So in this petridish of unprotected sex we create the conditions for the formation super STDs?
There's always a tradeoff between autonomy and practicality. Do we need to implement drawing for all "text" inputs (and outputs) so that people like Prince won't have any issues expressing their autonomy with something like this? https://en.wikipedia.org/wiki/Prince_(musician)#/media/File:...

(I'm aware that this was a stage name, but it is a legal name in the US)
The mean is what is often meant by the term but not always. "How to lie with statistics" is a great book and I highly recommend it to anyone still confused by such terms -- or anyone who ever sees, say, ads.

"There are three kinds of lies: Lies, damn lies and statistics" -- Mark Twain
> I just hope we as humanity can develop cures quicker than we can breed viruses

Both HIV and COVID came from animal hosts originally. They weren't "bread" by humans.

> Watching covid varriants pop up worries me, but perhaps a quicker to production mRNA vaccine will allow us to remain ahead of it.

Well its possible that covid will mutate to escape the vaccine, its hardly a sure thing and hasn't happened yet (variants dont matter much if existing vaccines take care of them). Its entirely possible that new mRNA vaccines not only would be fast enough, but that we will never actually need them at all.
It probably can be if the company has paying customers (advertisers) or employees in FL. Generating revenue and paying taxes in a state generally creates a legal nexus with that state.
Reverse dependencies, meaning find all sources that depend on a given file. Likely inspired by the Bazel query function by the same name.

https://docs.bazel.build/versions/master/query.html#rdeps
Players: Apple, developers, user; playing a finite iterated game of uncertain time horizon.

Game order: Apple chooses a policy burden \omega ~ [0, 1] which stands in for the restrictions they place on developers or the cut of purchases they take. Apple takes \omega \beta in profit and incurs no costs.

Let's take you at your word that a developer's only choice is to leave or stay -- Developers choose whether to develop exclusively on Apple [reward (1 - \omega) \beta], on all platforms (1 - \omega) \beta + \theta, or not on Apple [reward \theta]. \beta and \theta are both constrained to be non-negative. Developers pay a cost of development -c where c is constrained to be non-negative. Developers all decide simultaneously.

You could model this as one developer choosing a fraction of effort. You could make costs variable. You could make developers decide sequentially. You could model Google, who is not an actor in this scenario. etc. etc.

Users observe the fraction of developers who opted in ||d||. Each user has a type [0, 1] which determines the threshold amount of developer support it will require for them to choose Apple over another platform. \beta and \theta both update to be higher or lower depending on user choices according to some update function you prefer.

Let each player have either an individual or shared discount parameter \delta.

This is clearly a well-specified game. I am not going to solve it for the equilibriums; it may well be the case for any practice \beta, \theta, c, etc. that Apple's incentive is to choose a very high \omega and developers best response is to choose "develop for Apple anyway". That would still be an equilibrium. Most games have degenerate equilibria.

It seems to me that if you adjust developers to be sequential rather than simultaneous this is very nearly the Chain Store Game; if you make it a single developer this probably gets close to something like divide the dollar; if you want to model the lawsuit, it's a costly signalling game (Epic burning cash to establish type)

All of this is very traditional game theory. I get that your point is that Apple is mean and the government should do something about it, but there's nothing wrong with me describing the current arrangement of winners and losers as an equilibrium, or to describe the shock a lawsuit could induce via policy change as something that will establish a new equilibrium by exogenously changing or constraining parameters. I left all this out because I didn't think anyone would require this effort to accept the use of a very uncontroversial term.
Drug resistant STIs are not just hypothetical anymore. https://www.who.int/news-room/fact-sheets/detail/multi-drug-...

I guess maybe it's not widely known, but half of STIs are bacterial, so antibiotic resistance is exactly the thing people are worried about.
Interesting, I wouldn't have expected it to be that low, though in the aircraft space, control harmony can be disrupted with as little as 20ms of delay between control input and control surface movement[0].

Do you have any research you can suggest for that 5ms number?

[0] http://www.klabs.org/history/history_docs/reports/dfbw_tomay... (Keeping the delay at or under 10ms was the recommendation I got from the study P.I.)
Does it though?

They could block all execution for total security.
Another barrier is the stark difference in UX paradigms.

Illustrator and Inkscape have very different paradigms. Inkscape draws from the Corel Draw camp, and the barrier to use for anyone skilled in one or the other goes way back.

I have moderate skill using Illustrator and am adept at Inkscape, and that goes right back to Corel being totally capable enough and cheap, and because I basically had licenses bought for me, Corel has always been free.

As Inkscape really began to be robust, I found it simple to step off the Corel train, rarely missing a beat.
I wonder if there's a way for computers to self-measure round trip. Even if you have to plug an aux cord between the speaker + mic jacks.
Well, would you consider someone who'd only spent a couple of hours of wall time on Unix to be an expert whose opinion was worthy of serious consideration?

Not that I'm flogging Urbit -- or not flogging it, for that matter. I looked at it a while back and decided that I didn't understand it, and wouldn't understand it without spending far more time than I had available. However, that just renders my opinion on the topic useless.
Update: I played a run on Slay the Spire with the new controls and I actually prefer it to the paired XBox controller. I think this is a pretty great update for any turn-based game (todo: check out Monster Train and Nowhere Prophet).
There is difference between bugs that make a type-system unsound and the actual fundamental design / specification that makes it unsound. The former is easily possible but also easy to fix. The latter is sometimes impossible to fix without breaking compatibility to a degree that makes it impossible to do so.
Obviously if you encrypt client side, and can securely share a strong key, it does not matter where you store; MW and Dropbox would be equally secure in this respect.

With MW you share a weak key (vs a strong key in Dropbox case). Dropbox also provides access to all data.

On the other hand, you have to hope there is no vulnerability in MW. With Dropbox, you have much more control over crypto.
You are entirely mistaken. While many people are excited about potential future accelerators and such using RISC-V's extension mechanism, it is very much the case that the RISC-V stuff shipping in volume today is embedded / microcontroller stuff.

This is quite deliberate: RISC-V is on track to follow the same path ARM took, starting with the cost optimized lower capability parts then progressively moving up into performance optimized parts. This is really the only viable strategy, because no one is going to invest the billions and decades it takes to get a new high performance design into a totally unproven ISA.
To be frank, Elon Musk. It’s weird because a lot of people pretend like he’s all talk, but any futurist that people will mention here probably will have done a whole lot of nothing. We may as well list off sci-fi authors.
same reason I just bought my 8th(?) copy of photoimpact first one around 2005(?). (two of those for other people's machines so they can use it without worrying about license failures or/and recurring billing)

I don't mind paying for a new license for each new box I want to use it on - because it still works on my xp machine, and each other one - with or without internet connectivity - no license check needed- it just works.
I don't think it works that way. Why would unprotected sex lead to super-std's? People getting a cold on a regular basis dont generally lead to super-colds.

You of course may get drug resistence in std's just like other non-sexual infections, but im not sure why the emphasis on unprotected sex.
I'm very curious about your thoughts. How would you make a shell designed for TTS?
Sea got to its current US$122B market cap
Compile time.
Not commenting on Affinity's quality, but being closed-sourced and Linux support will (and probably should) turn off a lot of the HN community.
I think four bins of below average, slightly below average, slightly above average, and above average would be reasonable. It would show how many people think they fit into the interquartile range versus the extremities.
Will not happen. Machines are problem solvers not problem creators unlike humans.
> And also single-word addresses, which are pretty useful if you want to route email locally

Unless you're developing an app for an intranet, that's not a concern for most people.
Direct computer to computer transfer seems like a nice convenience. Is there a large scale use for something like this though? At the enterprise level we just use networked drives with some that have write-only access when you need to drop a file to someone else.
I think I've done --really when doing something similar.
The generation of flash chip in the drive can make a major difference there, as well as fill, the wear of the drive and it’s internal firmware architecture. The makers also target different tiers of performance with different model lines too and that can be a huge difference.
Pipe Viewer: View shell command pipe progress
> im not sure why the emphasis on unprotected sex

Probably just because the thread context is a rise in unprotected sex and a coincident rise in STI transmission.
The lack of originality hurts I guess. What was more biting was the faux productivity, tech addiction, and social isolation and alienation of such a mundane daily routine.
Why did I leave? Because I got a job at Google
The replace directive does allow you to use a different import path, not just a local path. Unless there's something I'm missing about your use case?

https://golang.org/ref/mod#go-mod-file-replace
Ah, sorry, I definitely lost that context. Thanks for clarifying
Depends on who we consider average I guess :)
I just went to butterfly (trekking) bars, replacing my drops on a touring bike. Arthritis on my neck hit me bad, and that change allowed me to ride again. I tried a lot of different bar types after getting arthritis, those are by far the best.

But, going fast on a downhill and quick cornering, takes a bit of practice.
That thread is rather old, and seems to be concerned with using HDMI, which I don't think anyone concerned about high resolution audio should be doing. The last comment confirms "working fine" back in 2013, more than 7 years ago.
36 speeds baby!

(Just kidding, your point is well taken.)
Chaos Engineering in Kubernetes Using Chaos Mesh
I have the same issue with most of the popular personality tests. Many of my responses are either extremely neutral or could wildly swing depending on the week, month, year, etc.
I'm pretty sure that the comment you replied to was talking about "the general rule" and not "the exception to the rule." you don't need to call out that your specific employer is different than other employers. everyone here already knew that.
>more-or-less hard real time

Also known as soft realtime.

For hard realtime, you need guarantees. Linux is too complex and cannot possibly offer them; this is the territory of formal proof, with complexity growing exponentially with code size.

Look at seL4 for hard realtime.
Facebook has a pseudo-independent body for this: https://en.wikipedia.org/wiki/Oversight_Board_(Facebook)
Right and the design flaw was that a server breach meant all phones were breached. Which is what happened.
Those are not butterfly bars, but I remember seeing people with them years ago.
Slap in Hugin and Darktable (or Rawtherapee) for photography and I would say I've not had issues ditching Adobe after CS6 and switching to Linux.

(With a massive exception for no color management in Wayland)
yep, and we got some stuff from the Neanderthals as well....
Maybe what we need is a narrower standard that subsets RFC5322 to remove (or at least deprecate) rarely used address syntaxes, such as double-quoted local parts.

(Actually RFC5322 already deprecates some syntaxes. For example, "John Hacker"."Ph.D., Esq."@example.com is a deprecated syntax (obs-local-part), because it contains multiple quoted-string components separated by dots.)

> or (brilliantly) two periods or underscors

Two or more consecutive periods is actually disallowed by RFC5322 (unless quoted). foo.bar.baz@example.com is a valid address, foo..bar@example.com is not. ("foo..bar"@example.com is however)
I think it also means that it can never be trusted (again).
There's a difference, in my mind, between "Programmers" and "Invokers of Code".

R is a terrible programming language.

It's not a bad language for invoking code, because for many of those people, they're not taught the concepts behind any language, so it's all semi-arbitrary symbols.

model <- lm(outcome ~ variable1 + variable2 + variable3, data=data)

summary(model)

Isn't any more complex than anything else. And what R does have is a network effect - at this point, for almost any statistical task I've ever encountered, there's R code for it.
It’s getting to where if you support @gmail.com and no other you’d still get 80% of signups.

Better to warm an email doesn’t look right, but let them continue if they want to
Yes, if the organizations are targeting consumers in the EEA (EU + a few extra countries). It's part of the reason why these companies are required to have an Article 27 EU Rep resident in the EU: to interact with regulators.
Some history!

In December 2016, rasengan (via Private Internet Access) sponsors it (https://snoonet.org/posts/2016/12/15/introducing-our-newest-...).

In May 2017, Snoonet joins the the PIA family (https://snoonet.org/posts/2017/05/11/snoonet-joins-the-priva...).

At that time, rdv, a co-founder of Snoonet, was hired at LTM as (among other titles) "Community Relations Manager", and announced to the staff that he could now "offer LTM's resources to Snoonet; the same resources provided to Freenode", while reassuring that "the idea is to keep IRC networks in tact and operational as they always were". His goal at LTM was to "protect and keep in tact what matters most: underground communities".

bloodygonzo, a staffer, precised to the staff that "LTM has bought Snoonet and will officially cover snoonet and make sure we have the legal and administrative aid of LTM. LTM has agreed to leave snoonet as is and continue to allow us to run things as we see fit.".

In October 2018, Snoonet partners with IRC.com (https://snoonet.org/posts/2018/11/22/important-changes-to-sn...), linking the two.

noeatnosleep (who worked at LTM, at a role to safeguard LTM's investment) then the head of staff (allegedly not installed in this post by a general consensus), commented on [hn](https://news.ycombinator.com/item?id=17376571): "LTM provides servers for us, with no asks or meddling".

prawnsalad says to the staff that "so yea, snoonet.org will still be independant as mcuh as it can be. the branding, the communities here, etc, wont change. and noeatnosleep is still running that side of thigns to grow snoonet".

In February 2019, prawnsalad clarifies the IRC.com partnership (https://gist.github.com/prawnsalad/e61069c23e9fc0ed0e4658cbf...), including that "Snoonet is a project under the IRC.com company". This is discussed in an irc channel with the staff (https://sand.cat/fiW5QDYXauoKwybL/snoo-takeover.txt), where some reproach that he had previously said that "While for the most part Snoonet is entirely free to do as it pleases,".

In October 2019, prawnsald decides to bring IRC.com and Snoonet more "inline" (https://web.archive.org/web/20191021113301/https://gist.gith...), prompting some staffers to resigns: linuxdaemon (https://gist.github.com/linuxdaemon/9555cc4c2c73eefc4dfec00d...), iownall555 (https://gist.github.com/iownall555/69543286e9ed31ef70362429d...), A_Dragon (https://gist.github.com/A-UNDERSCORE-D/66dcf27eaf14ecc0b07a6...).

It is also worth noting that during theses years, it has been asked to the staff to give server access to unknown people at random times, and that rdv had been expelled from the network due to very questionable behavior, and noeatnosleep has left the staff. Dates for theses events are unknown to me.

Make your opinion, and any resemblance to other current events is fortuitous.
There is no real doubt that the contents found on Hunter Biden's laptop are authentic. He hasn't denied any of it, nor has any evidence of falsification been found.

https://www.cbsnews.com/news/hunter-biden-laptop-reports-int...

But the whole thing was a big nothingburger.