skysight-inc/HackerNews huggingface dataset:
I'm pretty sure that once you don't want `std`, you also want to pick your own scheduler. In this case, you can use the base library (`async-task`) and get started.
The right way to handle this stuff is polymorphism. But with Rust lacking higher-kinded types I guess that's not possible. A decent test of whether their "associated type constructors" actually solve the same problems, as sometimes claimed, would be whether you can write this kind of async-polymorphic code with them.
> You know what people - iphone users - actually say when there isn't mixed company? "Android users, especially self-identified ones, lack social cues in many areas"

I'm just quoting the parent comment because it's hilarious. People can gauge your culture by what brand of phone you use? Can you buy a used iPhone and mingle with the cultured elite?
How to Increase User Engagement: Analytics and UX
You may be living in a bubble if that is your sense of things.

https://www.glassdoor.com/Salaries/3d-modeler-salary-SRCH_KO...

Even in the Bay Area the average is $83k: https://www.glassdoor.com/Salaries/san-francisco-3d-modeler-...
That's largely the belief system that is behind Google, Facebook, YouTube, etc being banned in China.
Green threads have no place in a low level systems language like Rust whose design goals are zero cost abstraction and trivial C interop.

D made a similar mistake by requiring GC/runtime from start and now even though they added ways to avoid it the ecosystem and the language design are "poisoned" by it an itmakeas it a very hard sell in some places where it could be sold as a C++ successor.

Because rust made the right choice in time it's now a contender in that space, if it chose to go down the runtime required/custom threading model route it would have much less practical appeal. If you can swallow runtime/threading abstraction overhead why not just bolt on a GC and use Go
>> Plant is the original metal vocalist

Actually, Led Zeppelin are not metal. And it's strange to read an article that praises male metal vocalists for their falsettos without even a passing mention to the indisputable god of all metal falsettists, gay and straight alike, whose name I don't even have to actually say. He is that conspicuous by his absence in that article.

Oh, alright. I mean Rob Halford. Who writes an article about falsetto vocalists and leaves out the man who sang this?

https://www.youtube.com/watch?v=nM__lPTWThU (Painkiller)

Or this:

https://www.youtube.com/watch?v=AGkRRdkPTtg (Exciter)

Or this:

https://www.youtube.com/watch?v=8tv-e9DJqK4 (The Sentinel)

Or, well, this:

https://www.youtube.com/watch?v=K_1hLiqwq7c (Heavy Metal)
> I thought Rust had other, better ways to create non-blocking code so I don't understand why to use async instead.

In fact, Rust does have a great solution for nonblocking code: just use threads! Threads work great, they are very fast on Linux, and solutions such as goroutines are just implementations of threads in userland anyway. (The "what color is your function?" post fails to acknowledge that goroutines are just threads, which is one of my major issues with it.) People tell me that Rust services scale up to thousands of requests per second on Linux by just using 1:1 threads.

Async is there for those who want better performance than what threads/goroutines/etc. can provide. If you don't want to deal with two "colors" of functions, you don't have to! Just use threads.
Let's assume social networking is worthless per your judgment: Do you honestly think this problem will go away if centralized social networks go away?
Rust is very ambitious and unusually successful at reaching its ambitions. It's efficient like C/C++, but safer. It's modern like Go, but more expressive and open to metaprogramming. It's often as readable as a scripting language, but doesn't depend on garbage collection. It's a young rising star originating from a great company.
Seeing as apps like Signal and Telegram already exist and seem to do exactly what you say... What is different about Thread?
I'm not sure I understand what you're suggesting, but maybe you're thinking that you will run the benchmark for some number of repetitions, and then at some later time run it again, for that number of repetitions, and so forth for some number of times?

If nothing changes from one time to another, you might as well combine all the results, and display the overall mean, or a histogram, or whatever. If you think that something may have changed from one time to another (eg, ambient temperature, which affects what clock frequency the processor may have been throttled down to), then you've got a complicated problem, if you're really trying to get to the bottom of the situation.

But once again, if you're looking at how the sets of runs at different times differ, confidence intervals do not indicate the spread of the data. Perhaps you're computing quantiles instead, which would be sensible, but then incorrectly referring to them as "confidence intervals", when they're not?
> Does WhatsApp force a particular voice assistant or app store on you? No?

WhatsApp is not a mobile OS.
> The difference is that the people (and corporations) only have words, while the government has guns.

Well, no. The people have guns too, at least in the US - the extremists certainly do as the recent trend of mass shootings can attest, and the words of extremists are intended to lead to violent action, not simply be debated on internet forums and turned into memes. And the government has speech.

At best you could argue that the defense of absolute free speech is implicitly a defense of extremism and of extremist violence as a necessary lesser evil compared to censorship in any form. A similar argument is sometimes made regarding mass shootings when defending the Second Amendment - that popular gun violence is a price Americans should be willing (even grateful) to pay for the liberty guns theoretically provide. If so, that's an argument I don't necessarily agree with, in either case.
Wouldn't it make more sense to show an example that actually takes advantage of async/await? I don't get why they are using examples that need a disclaimer like you can run 100 jobs for this to make sense. So it should include that in the example (and it should probably do something that makes sense if it's run a hundred times).
And where it all comes together is when async lets us write concurrent functions that compose together well in a way that functions that can block on IO and lock acquision do not.
i tried meditating myself but ended up with taking a short nap, 15-20 minutes that is, no need to go to bed though, but seems nap-taking recovers the most energy for me for the rest of the day.
No, no, and no. You don’t need to do any of those things to use iMessage.
It frustrates me that the tech scene seems to accept such behaviours as smoking weed quite easily. Note the numerous replies to your comment clamouring to it's defence!

I've not known a single long-term user of cannabis to be a happy, healthy adult. Quite the opposite. I think the dangers of cannabis are quite understated and the current trend toward mass-legislation concerns me. It should be noted that I live in England, where we are renown for having stronger strains... This perhaps affects my outlook.
chi is nice in that it is just a router, not a whole framework. It uses the existing http middleware idioms from the standard library. If you want to route some incoming requests by url to handlers in go code, chi is pretty reasonable.

context: working in large org building backend services that speak to other backend services via various crappy http / rest / soap APIs.
I agree.

Also, I think there should be a law regarding the new electronic billboards, especially at night. They should have a smooth transition over a period of say 10 seconds, instead of instantaneously changing / flashing and distracting drivers.
Hopefully higher competitive pressure on Nvidia including from Intel joining high end GPU market, will finally push Nvidia to upstream their Linux driver or at the very least to unblock Nouveau, to use GPU reclocking properly.

Google mentioned open source drivers as one of the reasons for picking AMD GPUs for Stadia.
Might be ignorance of that fact. A chinese national posted a tour guide on reddit for an esports tournament in Shanghai, and this was their description of WeChat.

>Wechat: Chinese Whatsapp and Facebook rolled into one, you should set it up beforehand. This is THE most used app in China, just about everyone uses it and it is an essential means of communication. If you meet anyone you want to stay in touch with, add them through Wechat and you’re good to go. Perhaps someday you might even discover the fabled meme trove of China that is Wechat Stickers…

If you don't do your own research and just listen to mainland Chinese opinions, it could seem like an innocuous app like anything else.
If you think that comment is misogynist I'd love to see you defend all the misandrist comments that are commonplace - even by mainstream politicians. Nothing about that is intrinsically misogynist, but sure the case could be made. But apply whatever logic you are to what's said about trump every minute of every day and ban those users the same. I bet you wouldn't.
That depends on how the research and regulation surrounding cannabis shake down.

Right now, our device would just be used as a screen to see if someone had used the drug recently. The device's results would not be taken to court and would likely be followed up with a blood or urine tests (not ideal, but that is what the courts accept these days).

Our device has the capacity to output a concentration, but more research into THC content in breath and impairment needs to be done to see if that concentration means anything. Likely, if a link between breath concentration and impairment is established, there will be a statutory concentration set for cannabis.
Yeah, I mean I hope people realize that just a few thousand and ”Full self driving” doesn’t imply ”Fully autonomous” in the sense that people can use their Tesla as an Uber and be drunk in the back seat! It just means that they’ll have the best autonomy that Tesla can provide which still means they have to pay attention. “Fully autonomous” to me is the point where my kid who can’t drive can use it as a taxi to school with no other driver etc. Musk doesn’t imagine that yet I hope.
Elasticsearch Bi-weekly online community meeting launched
Then we will just be using the same land to grow bulk cereals and pulses in an effort to provide us with the same nutrition. Animals eat things we can't and turn it into nutrient dense food.
The solution is to just accept that types might change during runtime. Give up the assumption that types are fixed at compilation and that the compiler can catch all errors.

Computer programs exist inseparably from the operating system. The type of a circle might change to that of an ellipse. The size of a file can only be known at runtime. The only way the compiler can catch all errors is if no object is mutable and everything except for closed variables is allocated on the stack. And both of those preconditions are insane.

This is still superior to dynamic typed languages because it tells you exactly what the type problem is and where.
As far back as 1952 "paupers, professional beggars, or vagrants" have been inadmissible. (Actually first introduced in 1882)

Since then there have been many amendments (usually adding exceptions).

It is not unreasonable, but for specific exceptions, to deny visas to persons that are likely to require public benefits.

The federal statutes have been that way for a long time, currently 100,000s of immigrants have to under go public charge scrutiny. Trump is expanding the criteria/test but it still looks like it is within the law.
Tech isn’t a constant pie. For Atlanta to grow, SF doesn’t need an exodus. In fact, the destruction of SF’s tech scene will be a giant blow to North America’s tech sector for a generation. The forced de-agglomeration of tech cities is not an experiment China or India are running.

If you want Atlanta to grow, pray SF (and New York, and LA and Vancouver and Toronto) fix it’s real-estate problems.
Some of us may think that he's ways of getting customers are dishonest. Please treat it as a reminder to yourself that there's no such thing as honest advertisement. If you are seeing advertisemnt you are being lied to. It might be hard to spot because the parts of your brain that the advertisement lies to might be far from your conciousness. But you are lied to nontheless.

Honest advertisement is just information and that's almost worthless for any seller.

There's a great movie documentary "Czech dream" created by two film students opening fake Wallmart type store.

Especially wonderful is the scene in marketing agency that is to prepare large marketing campaign mimicking campaigns of other similar stores. They are in on the joke and are completely fine with decieving the public, except for one employee that feels strongly about "you won't go home emptyhanded" line on the advert because there is no store and "you can't lie in advertisement!"

He calms down after students promise that if anyone shows up to the fake store opening they'll give them baloon so they won't go home emptyhanded.

Your successful advertisement is always a lie. Regardless of whether you can massage yourself into believing it is not.
Post Mortem: A closer look at a password storage issue affecting 3,420 customers
"Memoirs found in a bathtub" worked the "life under a surreal bureaucracy" angle much more directly (this time with an alternative history Pentagon as the setting).
If tones contain data and data is speech, does that not protect their use for entertainment purposes on free speech grounds?

This seems analogous to the free speech issues over the RSA encryption/decryption algorithms during the 90s.
Bitcoin on Ethereum. No Bullshit
There are ways to get around this, the way that I have done it in Nim is via a `multisync` macro:

proc readLine(s: Socket | AsyncSocket): Future[string] {.multisync.} =
while true:
let c = await s.recv(1)
case c
of '\n':
return
else:
result.add(c)

This is equivalent to defining two `readLine` procedures, one performing synchronous IO and accepting a `Socket` and another performing asynchronous IO and accepting an `AsyncSocket`. It works very well in practice.
It is a concern. You either haven't read the literature, or have completely failed to understand it. As the author stated, the effective method of combating hate speech is with more speech and discussion, rather than reflexively trying to ban it out of fear, anger, and ignorance. Wanting to ban it is a common reaction from those who don't truly understand the implications of censorship, but the ACLU, EFF, many respected academics, authors, journalists, and more do not support government censorship for that reason as well as many others. As with most issues, critical thinking is the missing factor that differentiates those who think "BAN IT, MAKE IT ILLEGAL, ARREST THEM" is always the answer vs actual solving the root of the problem
> Its literally taken five years to get back to an alpha thats not as good

The new I/O system is better in several ways. First, as you acknowledged, not everyone writes servers that need high scalability. M:N has no benefit for those users, and it severely complicates FFI. Second, async is faster than M:N because it compiles to a state machine: you don't have a bunch of big stacks around.
I think the pattern of making generic classes that leverage the httparty gem is solid. Depending on your preference have another layer of classes between that and your models. Or have the apis called directly from models or controllers
I'm must be out of the loop, because I've never met a dead person who is the least bit upset that they're dead. It's only the living who freak out about it, and they aren't even qualified to have an opinion on the matter.
I don't see it too different from the big players in North America that don't guarantee end-to-end encryption (and for those apps there's also an assumption of honesty when it comes to that guarantee). Just because Facebook isn't directly owned by the US government doesn't mean it can't be creepy as all get-out.
Thanks for the thoughtful reply.

Regarding "BPA free" products, aren't they using some other synthetic BPA chemicals that have unstudied health risks, simply to be able to claim they are "BPA free"?
Japan’s ongoing battle over war commemorations
Do you happen to have a link to that article? I would read it.
why do you think they went to civil war in the first place? I don't understand your point for drawing this distinction at all
In Rust you use async/await with a scheduler like mio that will automatically do that for you as well.
Fair point. I think it is mostly a question of scale. Cannabis is the second most commonly used impairing substance after alcohol, and is becoming more prevalent every year. It would certainly be ideal to detect every impairing substance, but there are diminishing returns at some point.
> It's a good enough reason to want them as an option.

I'm not so sure. If you have a good specification mechanism that offers a choice of verification method, why do you need dependent types in addition?

> If you want a system at least as strong as dependent types, you need a system equivalent to dependent types or more generic.

There are many factors by which to judge the utility of specification and verification tools. There is no specific metric of "strength" that determines the value of a formalism. As Alonzo Church wrote in the paper in which he invented the lambda calculus, formal systems are not more or less true or more or less good; rather, they can be more or less convenient for different uses, and more or less aesthetically appealing to different people.

In general, developers need a system that can be flexible. The difference in cost between verifying something with 99.9% confidence and with 100% confidence can be 10x. Sometimes you're willing to pay that 10x for a slight increase in confidence, and sometimes you're not. Often, the decision is different for different parts and different properties of a program, or for different properties of the same part of the program, or for the same property in different parts of the program.

> Than you can just as well drop the awkward system pretending to not be a type theory and use an actually working formalism.

You've studied all logics and all type systems and have concluded that all the type theories are always less awkward to all people than all "direct" program logics?

Also, no logic is pretending to be or not to be a type theory. Type theories are not the canonical representation of logic. That's just not how formal systems work.

> Hoare logic is a variant of propositional logic, meaning it is suitable for monomorphic code with static dispatch, but not much more. Extending it to handle more and more generic and more and more polymorphic code eventually transforms it into a variant of type theory (Hoare Type Theory).

Hoare logic can be used for polymorphism, dynamic dispatch, higher-order subroutine, and anything else type theory can be used for. But I'm not claiming it's superior to type theory. Type theory is fine.

> Might as well start from the side of pure type theory and extend it with linear types - the result should be equivalent.

No, because the problem with dependent types is not the theory, which is, indeed, equivalent to whatever logic you choose and vice versa. The problem is that they force you to use deductive proofs for verification. Not only do you not want your specification method to force you to use a particular verification method, but rather you want flexibility because verification methods vary tremendously in cost, deductive proofs make for the worst default verification methods, as it's the most costly and least scalable (at least so far).
Sounds like CCP did a good job of stoking division between HK and mainland China leading up to this powder keg being lit.
> Homogeneity generally engenders more trust.

Note that studies have confirmed this: https://en.wikipedia.org/wiki/Robert_D._Putnam#Diversity_and...
Yes, but simply being visible is even more basic. Rendering someone invisible is an attack upon their person that goes beyond limiting their liberty.
Indeed.

However, I wonder how median price is impacted by a shifting mix of the houses that change hands?

If buyers were moving towards the lower end of the market and away from the upper end, you could see the median price decrease when in fact any given house has actually gone up in price.
Awesome will try this out!
> teens attach a lot more weight to the blue/green than they should

Have you looked at parental controls for carriers? Chats with green messages are in the log, chats with blue messages are not.

Depending how much they like their parents reading their messages, maybe teens aren’t attaching enough weight.
There was a downside to using the lower numbers: rotary phones worked by repeatedly shorting the connection to indicate to the switch which number it was, so one "click" would be one, two clicks "two", etc. This led to many phones accidentally dealing "1" if they did not have their wires properly connected. It's the reason the emergency number is not 111 (They still received quite a few fake calls until newer switches came into use that only allow to tone dailing).
The web browser is the new OS. The biggest failure of Google is that they didn't hire Lennart. Imagine your Chrome running instead of SystemD. :)
No. For the same reason why you cannot go into a crowded movie theatre and yell "FIRE!"
How is this any different from taking your entire paycheck and dumping it into a single stock each month? It's effectively a gamble, and often employees are too emotionally invested to make a rational financial investment of that scale.
I do Rust since 2013. It did actually had two half-baked runtimes as a compile time mode.

It also was constantly crashing and had weird semantic issues. I very much prefer the current state, even if I'm a bit sad that async/await has taken us so long.
Oh, come on, a book by a well-known author was released last year [1], there is a lively Twitter account [2] and... I personally use it almost daily for some task or another. I wish there was a Ubuntu package for the line mode browser of yore [3]... though I admit I wouldn't use it almost daily!

[1] https://www.amazon.com/Ed-Mastery-Standard-Unix-Editor/dp/16...

[2] https://twitter.com/ed1conf

[3] https://en.wikipedia.org/wiki/Line_Mode_Browser
I've used one of these until the metal started flaking off the bottom, which is concerning to say the least...
Hiroyasu Kobayashi is the tiredest looking animator I've seen captured in a photo.

And all the coffee cups around everyone ...
> You write sync code, but because Go routines aren’t OS threads they operate with the efficency of async code.

No, they don't. Goroutines have stacks, while Rust async code does not. Go has to start stacks small and copy and grow them dynamically because it doesn't statically know how deep your call stack is going to get, while async/await compiles to a state machine, which allows for up-front allocation. Furthermore, Go's M:N scheduling imposes significant costs in other places, such as FFI.

Besides, for the vast majority of apps, OS threads are not significantly different from goroutines in terms of efficiency. Rust doesn't have a GIL and per-thread startup time and memory usage are very low. It only starts to matter once you have a lot of threads—as in, tens of thousands of clients per second—and in that case it's mostly stack size that is the limiting factor.
Perhaps we had the same textbook, because that's also where I heard that from. Krugman and Obstfeld, International Economics?
And mouse, gestures have to have such garbage responsiveness right now.