skysight-inc/HackerNews huggingface dataset:
>That they can be used in a useful way doesn't mean you should have them.

It's a good enough reason to want them as an option.

>Other things (like contract systems) can do pretty much what dependent types do

If you want a system at least as strong as dependent types, you need a system equivalent to dependent types or more generic. Than you can just as well drop the awkward system pretending to not be a type theory and use an actually working formalism.

As far as I can see, 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). Might as well start from the side of pure type theory and extend it with linear types - the result should be equivalent.
The async-std is taking the “always red” approach that the article mentions and that wasn’t possible until now due to async being hot of the presses. The rest of the arguments in the article are based on the point that “red functions are more clumsy to call” which doesn’t hold for Rust, but holds for JavaScript.
That was actually quite informative, thanks for the link.
This is a great article about the ancient manuscripts in Mauritania - https://elpais.com/elpais/2016/10/01/eps/1475273119_147527.h...
This looks very compelling. I'd love more to read about it. Having suffered in various visual ETL trenches I've pretty much walked away as much as possible. When can we see the source?
Not necessarily true. With a wlroots compositor, you can use the layer-shell protocol and overlay surfaces.
> religion does make assertions about the real physical world

Even though religion makes those assertions, that doesn't mean the physical world is now in its domain. Religion is just making false assertions about subjects outside its domain, regardless of what their believers believe. I believe this is what the parent means by:

> What a Religious person derives from their beliefs has nothing -- zero, nothing -- to do with the measurable/observable particle interactions of the material world
> ...if you screwed over a bunch of...

That is usually gonna go poorly for you in any culture.
Tell that to my infinite loop.
I'll go one step further: by forcing them to act upon it, instead of deleting/hiding it and notifying the user, Twitter is engaging in behavioral training, like you would train a dog.
Anything Rust gets the post to number 1 spot. What makes Rust special that other programming languages don't enjoy ?
I have the catclock in my xinitrc.
(EDIT: I'm going to preface this comment by saying I'm a failed 3D artist, but it's not because Blender has traditionally used right-click to select).

The mouse button argument is utterly ridiculous and has been going on at least for as long as I've used Blender, which is over 10 years. The number failed 3D careers I've read about online that are blamed on that choice of "right mouse button click to select" is hilarious (note: left click is the default as of 2.8 so there are no more excuses). It is a minute problem compared to the learning curve of defining a good silhouette, 3D modelling, sculpting, topology, UV layout, rigging, triangulation and animation etc. If people are still getting stuck at the select button being on the wrong side of the mouse, they really don't have the interest.

I suggest taking a look at ZBrush UI if you haven't already. Yes it lets you select subtools (meshes) with a left click. In nearly every other way, it has one of the most unconvential UI you will see in nearly any piece of desktop software. It actually works in its favour once you get to know it, but its much more intimidating than Blender, at least for those starting out. You don't hear many complaints about it, well, because ZBrush is not cheap.

Yet a massive amount of meshes for 3D games, film, etc are created in ZBrush. Apologies if this comment comes across as brusque but I'm tired of this specious complaint about Blender's UI.
Lucky for me I don't...
Wow. I never commented I HN before, but I just have to now: Bias and prejudice IS human nature. It has nothing to do with racism. People can and do naturally discrimate on all sorts of differences like class, nationality, skin color, etc. I seen it first hand growing up in a almost completely homogenous society how any visible difference increases distrust and tension. Mind you, this is all natural human behavior, but it doesn't always make it right.

So it's completely natural that a country as diverse as America would automatically balkanize itself along class, national, and racial lines.
I am wondering that also, scheduler is of most importance.

Go is such a joy to work with.
Chicago and Houston are not desirable places to live when compared to every other city mentioned in this thread.
How would this work? Say I have a match (I like her, she likes me). What's next? I'm guessing a few video chats, then a road trip/flight to see her. Then what? If we kind of clicked, but both have jobs we are not ready to give up? Long distance relationship? Compare this to a quick "Wanna get a coffee/dinner/drink tomorrow night?"

Check this out: https://www.latimes.com/home/la-hm-la-affairs-diana-dinerman...

I guess I'm also "open to the idea", but it would:

1. further shrink the pool of matches: what percentage will you assign to the row "open to remote dating" in your spreadsheet?

2. make me more selective: if normally I'd have marked 20% as "attractive enough" to meet, then now, keeping in mind 4 hour drive, I'd probably only select 5%.
> It is hard for researchers to get their hands on real world doses of cannabis for their studies because the drug is still schedule 1.

I hear this trope a lot, but considering the number of states in the US that it’s legalized in, can you clarify why?
IOCP uses a pool of quasi-kernel threads (i.e. schedulable entity with a contiguous stack for storing state) with polling, very much like how io_uring and other incarnations of AIO in the Linux kernel work; and for that matter it's not unlike how purely user space AIO implementations work. The benefit of IOCP and io_uring is there's one less buffer copying operation. The biggest benefit of IOCP, really, is that it's a blackbox that you can depend on, and one that everybody is expected to depend upon. So it can be whatever you want it to be ;)
As Dollar General rapidly expands in rural Siouxland, small-town grocers lose
A possibility to displace C and Java.

Features like Haskell—destructuring bind, useful type system.

Performance like C, including no GC.
The best open source 3d modeling tool is blender but its not a great solid modelling tool. Fusion 360 is a solid modelling CAD/CAM program aimed for 3d printing/milling. The open source scene there is pretty bad.
I thought the cause was the other way round? That we dumped coal power so that we could stop producing coal, which we wanted to do because the coal miners’ strike demonstrated they/their unions were dangerous to the government?
The benefit would be you would be making it impossible to wreck your scheduler by calling sync I/O functions in an async task.
I used "5 years ago" as a code for "the first time I played with Rust". Obviously not 5 years ago, then. It's pretty amazing how far it's gone so quickly.
To kick ideas off of, mainly.
I honestly don't mind green texters in my iMessage groups, but when it becomes really apparent is when we forget about the android user and start adding reactions to messages, which come in as texts. Then it becomes really obnoxious. I've never seen people break out into a separate iOS-only group, but chats have definitely devolved into mocking the text-substitution for message reactions by recursively reacting to text reactions, which get absurdly long. And then it ends with someone sarcastically suggesting the android user buy an iPhone.

I feel that if I was a teenager and not an adult, this kind of frustration must result in regrouping iOS only.
No one, but I’d anticipate most would request close to that.
Where is the correlation between these events and driving high being "totally a problem"
Deterministic memory and object deallocation combined with memory safety, and a vibrant open ecosystem.
Would "seeking redress for spurious claims" be a practical solution? Which creators could use it?
A friend of a friend works at a facility which calibrates + certifies police breathalysers and by his account below 0,015% BAC the result is garbage, so some countries choose to set the limit at 0,02% which is enough for the devices to indicate properly most of the time.
I mean I built the entire product, paid for content creation and continue to do so, and continue to add features. But I’d like to have a co-founder as someone to bounce ideas off of and generally be around to help grow the business.
It doesn't, at least in Firefox.
I don't know any better way than using an RSS feed and adding unknowing curators for the domains of interest. Then you add and remove curators as you see fit. Journalists, commenters, niche forums, twitter, bloggers can all be added with some one time modifications.

If you like one curator's thoughts on subject X, they might introduce you to interesting thoughts on subject Y or Z.

Another interesting trick I haven't heard other people using is to send the media firehose to a folder, then only checking news that is 4+ weeks old. Aging the stories allows you to sift through puff pieces vs ones that have staying power and remain important.
There aren't enough 1%ers being minted by things like Google and Facebook IPOs to drive purchases.

(Winter is coming)
If dead means not the new hotness, then yes, Rails is dead. If it means the project has stopped releasing major features and improving the code base top to bottom, it isn't.
"I Support HK Police, You Can Proceed To Beat Me!"
I disagree, I don't see a family as an inherently secure method for transfer - how many libraries don't exist because one of the generations along the way had a gambler that sold off all the books to cover a debt?

I also didn't mean to suggest that the families be deprive of the content or even the originals they are preserving, I was only advocating for this information to be copied and preserved digitally. The article is sadly lacking on what sorts of preservation difficulties these families are running across, I assumed it would mostly be material degeneration which is quite destructive but thankfully can be side-stepped by copying.

I also don't think anything should be confiscated, these families should retain the originals - but copies should be made.
Right, that specific instance is essentially a single-threaded* application.

Now imagine that you spawned a few hundred of them with JoinAll. Each would run, multiplexed within a single thread, with execution being passed at the await points.

* anyone know the correct nomenclature for this? Single-coroutine?
AFAIK, that's just for file I/O, which doesn't really work well with epoll.
So.. like 5 friends?
I spent several minutes looking and was not able to find those links within the 223 page report.
> You say that as if it's a good thing.

From just a practical perspective, if your goal is an increase in unfettered speech on these platforms, or the Internet in general, where would you want them to be besides the United States? Since you're talking about what would and would not, (or should and should not) be allowed, I assume some form of government is enacting and enforcing this as law.

I'm not aware of any nation that takes as close to absolutist of an approach to free speech other than the US. Even in the US we're currently in a relatively anomalous period of expansive free speech protection, historically speaking.

Relevant to this conversation, "hate speech" itself is a particularly common subject of bans in other nations otherwise generally considered equal to or greater than the US where "freedom" is concerned.
This isn't that complicated: many citizens of Hong Kong enjoy their democratic form of government, and fear full control by an authoritarian Chinese government.

The Chinese government, on the other hand, sees Hong Kong as an integral part of China that was taken from them, and see it as their right to rule the land as they see fit (prior agreements with the UK notwithstanding).

So what's this nuance you're referring to? You spent 4 paragraphs talking about how nuanced the situation is, yet never provided any examples.

I've never been in Hong Kong or China (although my father spent several months a year working there over a decade, and so I've learned a lot second-hand). But I have lived in a country that was invaded by an authoritarian government, and in another that experienced a semi-coup by an authoritarian government, and the justifications I'm hearing now sound a lot like the justifications I heard back then: it's so nuanced, you're an outsider so wouldn't understand, you don't understand our culture, etc, etc.
Industry, the backbone of modern civilization, requires cheap unlimited power 24/7. Renewables in Europe are killing growth and driving jobs overseas.
O Oberlin, My Oberlin
actually, I'm older now than I used to be. (42) As a child, teenager, early 20's, etc I used to only get 3 hours each night. I spend my nights reading books, coding, etc. I have been told that this was really hard on my parents and grandparents as they didn't expect a child to need so little sleep.

Edit typo corrected 2 to 3.
Lawyers are court officers and are duty bound not to advance frivolous or false claims. They can be charged with barratry for violating their oath in this regard.
You should probably ask Github, they run their main site on Rails.
That is awesome. I could use your service. Will mail
This justification of brutal policing is disgusting in any context. There is no excuse for brutal policing. And the "diverse population" justification has been racist from the moment it was first used.

This is the factual context: The number of police feloniously killed each year is under 50 and falling. The number of people killed by police is over 1100 per year and rising, despite overall falling crime rates.

US police have abysmal performance in this. They are brutal, savage, and unprofessional compared to any other developed country. Militarization, the Drug War, and recent political exhortations to be "tougher" do not help.
My previous competitors will not put code to email people inside medical devices. It was hard enough to not get a lawsuit with core code going haywire.
Sleep is indeed important. Especially if you need it. By comparison my wife requires 8-10 hours each night.
Can we please start sending a few Facebook execs to jail? No fines. No apologies. Just jail time. They can get out of jail time if they send their kids to work in these centers.
I think the most controversial thing you actually said is "valid". That word is very ambiguous, and it's no surprise there's disagreement around it.

You can definitely make any interpretation you want. They will be valuable as long as you can take something from them, regardless of the author intent. As you have just shown, even authors might change or make additional interpretations as time passes. The world keeps changing, the contexts change, and we make new interpretations. That's pretty cool. But the other thing is whether they are true or not (whether they reflect something that the author really attempted to express). In this case, it's not strange to me that many authors want to explicitly say that they didn't attempt to hide some political meaning or similar behind their works. The problem is not that people reads into what they write, but that they attribute to them things they never meant. And that's an imposition on an author, which is not nice, and that's what a lot of people will discuss with you when you say that any interpretations are "valid".
I was too. Not having used ed by necessity since a hilariously bad upgrade from Solaris 7 to 9 left me without a compiler in ... 2001?, I'd argue that line editing is most definitely a lost art.
Reminds me of a talk I went to by a Benedictine monk who has spent time traveling the world digitizing texts that are at risk, especially when they're threatened by religious persecution or war. Really fascinating talk, perhaps the closest thing I've seen to a real-life Indiana Jones[1].

If you're curious about what kind of a digital life these texts could have, I'll shamelessly plug a project I've worked on for Coptic texts[2]. OCRing a document (or more commonly for Coptic, at least for now, hand-transcribing it) is often just the beginning of the ideal digital edition: there are all kinds of things humanists want, including Uniform Resource Names (URNs), linguistic annotations (POS tags, syntactic trees), orthographic normalization (i.e., bringing spelling conventions in line with modern editorial standards), and so on.

[1] I think this is him: https://www.wbur.org/hereandnow/2017/03/13/columba-stewart-m...

[2] Example document, a kind of parable about early church fathers from a body of works, the Apophthegmata Patrum: http://data.copticscriptorium.org/texts/ap/ap096n281bread/an...
What? That article says it was caused by changing rain patterns:

“300 to 5,500 years ago: Retreating monsoonal rains initiate desiccation in the Egyptian Sahara, prompting humans to move to remaining habitable niches in Sudanese Sahara. The end of the rains and return of desert conditions throughout the Sahara after 5,500 coincides with population return to the Nile Valley and the beginning of pharaonic society.”
My point is that before these scams "eventually collapse", people's real lives are caught in the crossfire.

It doesn't even have to be a big conspiracy theory. Here is an instance of a breathalyzer manufacturer pressuring researchers to stop researching whether their devices are faulty [1]. Are they actually delivering false positives? Who knows! We need to bake oversight and accountability in from the jump, not try to back our way in once too many people's lives are disrupted.

[1] https://www.zdnet.com/article/draeger-breathalyzer-breath-te...
1) It's built in large part by Mozilla, which enjoys special love as an OSS company.
2) Rust provides tangible benefits (memory/concurrency safety) over existing languages in an important niche (performance-sensitive programs).
3) The community is nice and talented so it's fun to see what they're up to.
> You're still kinda missing the point.

tbh I'm starting to get the impression that you are deliberately sidestepping my question, but maybe I just haven't done a good job with phrasing it. all I'm really asking is whether the coworker in the story is taking a seat at "the table" by making any attempt to explain whatsoever.
Cooperative multitasking is great within a single application, it's when you don't have preemptive multitasking between applications that you have the problem seen in the early 90s on early MacOS and Win16.
The article explicitly admits that async/await is ergonomically much nicer than explicit futures/promises. But the color problem still remains, one consequence of which is duplication of code and interfaces.

Arguing that the problem doesn't exist if you only stick to functions of a single color isn't a rebuttal, it's an admission! But the fact of the matter is async functions have real limitations and costs, which is why they're not the default in Rust, which in turn is why any Rust program will always have some mix of differently colored functions. But, yeah, the fewer of one color and the more of the other color, the better. That's the point.
I do agree that Hong Kong has its own sub-culture, though I think you would be better off arguing the civil/political aspect of it rather than the cultural part of it.

The language seems like a confirmation bias. If you turned the corporate press standard around, you could also have a headline saying the English deepens their imperial domination of Scotland brainwashing the youth with the Queen's English rather than Gaelic. Also, if what China does makes you uncomfortable, you should be out on the street burning police cars for what the Canadians do in the 'Indian' residency schools.
The difference is that the people (and corporations) only have words, while the government has guns.

I don't know what they're teaching kids in history classes these days, but it isn't history.
OoOoh, spooky chines signals, HN told me they were bad
Sorry, I just looked and I don’t have the chat transcript. Only thing I have is the support email response after I asked to cancel my account because of the service I received from the chat support. I wish I kept it though. They were extremely rude and I was thrown off by how bad it was.
Now also include class, income, and neighborhood data.
O_DIRECT + aio on Linux seems okay for preallocated files, no?
It is weird to say hi to my co-workers in the morning and they are all yawning and sucking down coffee, saying how tired they are. I just grin and realize I got around 1/2 the amount of sleep and drove 1.5 hours to work and not a drop of coffee has touched my lips.
Strong static typing with types inference. Memory allocation manually handled, no garbage collector. C-like performances.

Makes it a good option when reliability and performance matter (think web browser, database or anything at the OS level).
Even though the technology was mostly “used for good” it was still a nightmarish dystopia except for the tiny elite phyles. Nanotech was under tight centralized control, as the Foresight Foundation recommends, in the book, but numerous disasters happened anyway. Most of the population lived lives of miserable degradation despite enjoying material abundance due to the assemblers.
100% the investors are sophisticated + informed enough to understand the risks of convertible notes. There are similar risks for a founder when accepting convertible notes. I'd guess the investors could all call the debt in at this point (like one already did) but they have no incentive to do so since they'd rather hold out for a conversion event which could still happen.

The risk to a founder is having the debt called and not being able to pay it back and/or having the valuation of the company not where you'd predicted - depending on the terms a founder could actually lose their company in this case. NAL.

Really it just seems _too bad_ for the employees and cofounder that feel like they're getting screwed. It isn't like "get it in writing" is a new concept though. I'd guess they either drank the Koolaid early on or they had a gut feeling they were getting screwed for years before this all came out. Either way, a shitty place to be in but not new or uncommon with cut-throat founder/investor types.

They should go found companies themselves! Get a big ol' piece of the pie!
Thanks for the comment. Do you know if these numbers of for possession arrests or impaired driving arrests? I have been trying to look for the impaired driving arrest numbers but haven't had any luck yet.

One of the major roadblocks to legalization is fears surrounding public health risks, of which impaired driving is a component. We believe that by providing a device that makes policing cannabis impaired driving easier, we can help mitigate some of those fears. In that case, we hope the device would decrease possession arrests. As to whether or not our device would contribute to a disparity in impaired driving convictions between black and white American's, I am not 100% sure. Definitely something worth considering for us.
> In contrast to the too common US trope of "everything is possible, and if you want it you can make it"

Lem himself said pretty much exactly this, in one of the essays in the collection “The Mask.” Humans in Western SF had distinctly colonial tendencies: they went to space and bent whomever they met to their will.

(Not sure if the collection is translated to English, the eponymous short story is among the stories in the book along with the essays. The book might even have been compiled by an editor for the Russian market.)
You guys are probably not in the market like I am. I've been seeing price drops daily which keeps me from pulling the trigger on a purchase.