skysight-inc/HackerNews huggingface dataset:
TLDR: You've tried to exclude something like 90% of all the systems programming problem domains & then said Rust (a systems programming language) is the wrong tool. Yes, but you're kind of missing the forest for the trees.

You've got MSFT, Facebook, & Google all investing heavily into Rust as a replacement for C/C++. It's still early days. Rust's sweet spot for being the best tool is anything that's currently written in C/C++. If you're writing Python, Java, or C# code, then Rust is probably not the language for you (albeit Rust is getting deployed in all these places where perf is needed because it offers the performance of C/C++ with the safety of more managed languages).

At no point will it be "replace everything in Rust" (at least not in the immediate term). It'll be more like "write this component with a thin API in Rust" or "with codebases that have a C++ runtime, work out a way for the peripheries to be written in Rust".

I'll give you an example. We used the venerable addr2line (or even llvm-symbolizer) to symbolicate addresses for an executable. We used it by spinning up a process for each address to symbolicate (which is dumb, but whatever). By writing a wrapper over Gimli-rs/addr2line-rs, we were able to improve our symbolication time 1000x & reduce our memory footprint 3x. The memory footprint improvement is because Gimli is 0-copy. 100x of that speedup is because Gimli's 0-copy is also just faster at parsing the DWARF data. The next 10x is because we only parsed the DWARF once & then used that precomputed information for all addresses. The fact that that Rust tool was correctly engineered as a library + frontend meant this was relatively easy, cheap & painless to integrate into our existing C++ codebase (using the cxx crate).

Like all things, Rust is a tool. Knowing how to find the right tool for the job & deploying it well is 99% of the job. Personally, I've found the Rust libraries I've come across for systems programming to be higher quality than the equivalent C/C++ libraries because the field is green, the userbase is extremely passionate, enthusiastic & early adopteree (i.e. more technically adept), & Rust makes certain kinds of optimizations easier than they were before (so naturally people want to play around with them). Additionally, because these are all rewrites, 90% of the time the improvement is just applying more modern state of the art knowledge to existing APIs/algorithms (e.g. doing 0-copy for symbolication is a "no-brainer" but it's hard to do safely in C++).
You don't think that giving the government (or entities even less accountable) complete control over online information, discussion, and commerce, plus an almost perfect 24/7 surveillance system, might weaken liberal democracy?
I've heard it is then later I heard it's actually expandable somehow. So who knows.
Congratulations on the launch. Great idea and definitely agree that this is a problem at a lot of companies.

Although I am curious about if there is enough market for this product. Would love to hear back any market research you guys have done before. Thanks! :)
I think this is one of those points that is obvious in retrospect but almost universally under appreciated.

Almost all data science workflows treat the annotators or subject matter experts as secondary. The tooling isn't set up to put them at the centre of the process and make it easy for them to collaborate with the more technical folks.

Perhaps it should be obvious but its definitely over looked in much of academic ML and in MLops.
ketralnis is right that this only terminates if an algorithm exists, so the claim that this terminates is equivalent to the axiom of choice.

But I'd also add that you can have a choice function that isn't an "algorithm". An algorithm, at least in the sense I'd generally interpret the word, has finitely many instructions and at most countably many steps. If we have uncountably infinitely many uncountably infinite sets, it is possible to have a choice function that can't be described in a finite algorithm.

Like, think about a well-ordering of the reals. If you believe the axiom of choice, then one exists. But you can't tell me what it is, because that would involve handing me infinite amounts of information. And similarly you can't write down an algorithm to produce it, without writing down infinite amounts of data.
...you cannot possibly be seriously decrying anonymity under the handle "mrtksn". If you're going to argue that, you can do it under your real name.
Carl Sagan Predicted the Mess 2021 Would Be 25 Years Ago
> What happened to having specialized agencies regulate and inspect industries?

My guess is a combination of regulatory capture and apathy on the part of citizens for various reasons.
Program or be programmed.
Yeah, could be either — a lot of ATMs aren’t giving me 20s (much less 10s or 5s ha)
While hard work often pays off in the future, laziness always pays off right away.
Germany passes laws to ban Holocaust denial. The European Court of Human Rights upholds them as compatible with human rights.

Switzerland passes laws to ban both Holocaust denial and Armenian Genocide denial. The European Court of Human Rights rules the second aspect of the law is a human rights violation.

My complaint isn't about either the laws of Germany or of Switzerland, it is about the rulings of the European Court of Human Rights, who have jurisdiction across almost all of Europe. The ECHR believes one has a free speech right to deny some genocides but not others.
There are absolutely lots of regulations around fire near gas stations, why did you think that gas station owners made those rules? They have to follow them or they will lose their permit and get shut down.
Maybe they will compensate you with discounts on some of their upcoming offerings like Google Re-Education Camp or Google Kulak Liquidator. Kids, are your parents tainted with dangerous Bourgeois sentiments? Get a free $10 Amazon Gift Card for every tip you make on Google Informant.
School for the Talented and Gifted
I submit that you should likewise feel pride for the "rude man" euphemism. Understatement at its absolute finest.
Elon Musk will use child slave labor to build a Pyramid.
What does it mean to use Arch as a "core"? Can't they just pull a list of packages that Arch uses (or the latest Ubuntu for that matter), and use those in their Linux insall?
This is incredible on two grounds.

First, personal. I always thought something was wrong with my eyes because I couldn't focus on blue LEDs at night. I always thought either the LEDs have done irreversible damage to my eyes since some are so bright or that my eye is damaged some other way.

Second. This means we're missing so much about the world that we're not seeing. To be exact 33% or maybe even more if Earth has more blue than red and green, which I suspect it does last time I looked up.
I live near the big man and feel no need to mention him at all in general, let alone his huge club. You don't bother mentioning trivialities and the historic record is pretty fragmentary as well.

Records get lost - I've lost loads of photos from the past and I'm not even one generation removed from myself! Nowadays my phone syncs to the Nextcloud instance in my attic and that gets backed up to my business' gear.

It is also whispered in corners that the state of the M25 is the result of satanic influences. Two dedicated investigative journalists were required to determine the veracity of this: Neil Gaiman and Sir Terry Pratchett. Their paper: "Good Omens" is well worth reading. They only had to deal with a few decades of shadowy history for a major motorway. Can you imagine the difficulty of dealing with an inconsequential chalk figure which was probably mostly indistinct until pissed up locals restored it for a laugh every few centuries.

It may have had a few changes made over the years.
I'm really tired of this argument of "people want to move to X country, so criticism is not possible of X country". I'm sure that many people want to move to China. I'm sure that many people want to move to X, Y, and Z developed countries.

So what?

Nothing useful is gained from comparing the US with some other country further down the rankings. The issues I mention are don't go away because X country has it worse than the US. Saying "well, X country has it worse" is just a deflection.

I am -not- saying countries Y and Z are just so much better than the US. What I'm saying is what makes a country "good" or "desirable" is multi-faceted and very complex, much more complex than "does the government randomly arrest people or not". That is one factor, but that does not automatically make the US such a utopia.

The many, serious problems the US has won't go away until we actually start addressing them as a nation, instead of deflecting by going "well, it mustn't be so bad since people want to move here".
Might not be up there much longer either sadly
I can't understate how much I disagree with that being an unambiguous lesson of history. There's been plenty of places where misinformation was identified and pushed out in favor of better information. But mainly, this is about an individual company deciding whether or not to participate in helping spread (mis)information, not about the government choosing to jail someone. It's terrible that Galileo was jailed and that should not have happened, but I don't think free speech should mean that any specific newspaper was legally obligated to run any articles he wrote.
Another small slice of personal agency is lost. Still enjoying those walled gardens keeping you "safe?"
Grandparent here, who studied the PhD.

>I don't think it is anything like simulating a mechanical action like throwing a ball, just saying a word alters brains in completely different ways depending on the person

It's exactly like imagining throwing a ball. A disproportionately large amount of the motor cortex is used for facial muscle and tongue control. Look up the "cortical homunculus".

>for example saying "spider" reminds me of spiderman and there is little I can to stop such through from happening

These BCIs can't tell whether or not you're thinking about Spider-Man, otherwise they'd be used on terrorists to get information. Instead, they're mainly focused on broad fitting synchronisation of M1 neurons (indicating rest)

>To actually capture words you have much better chances reading the brain while writing the word with a pen because you are actually sending a signal from the brain to your hand

Real movement does produce much more consistent results than imagined movements, but it doesn't translate well to the target market for BCIs (people with severe motor disabilities)

>even if he doesn't actually have a hand to move, the brain still can emit the very same commands

It doesn't work like that in real life. With no feedback, we're back to square one with the "imagined movement".
Understood. Thanks. :)
Probably not with the steam library
Who contributes most to politicians - individuals, or corporations and PACs funded by non-listed corps?

And actually, who writes a significant part of new bills, some of which become laws? Yes, corps. It's not surprising then that the legal system has some extra benefits for the corporations.
Funny that all the news articles I read where a restaurant or business increases their starting wage to north of $13/hour, they get thousands of applicants.

I think it's amazing that all the free market advocates don't want a free market for labor. If employers want more employees, they simply have to pay more.

Workforce participation is at a low because workers in low paying jobs have looked around and realized their jobs suck, are low paying, and are looking to change to a better career.
"strong negative feelings towards" != "actively wanting him to die"
I haven't used it but this sounds similar to my understanding of how Godot's structure works. Is this a similar pattern?
I am making a general statement about unsafe functions, not the subset of unsafe functions that happen to be memory safe.
The SolarWinds Hackers Used an iOS Flaw to Compromise iPhones
> What's the blocker here?

To me the likely blocker is reliability/accident.

Most places where humans are on Earth, if one piece of equipment fails (say the engines fall off of your passenger plane while you're over the ocean), you survive and carry on for at least days. In space or on Mars, you're dead in minutes.
What are they for you?
Got it. So SD cards are optimized for large, continuous file reads, not varied file reads.
I'd agree with this entirely, honestly. (Including the sleight-of-hand I'm engaging in to make things seem exactly the right amount of weird; see footnote 14.)

Infinity is so weird that it's really hard to agree on what infinity "should" look like. And the axiom of choice only matters in situations where the weirdness of infinity really kicks in.

So yeah, some people look at the whole list of AoC equivalents and think they all seem pretty reasonable. And other people look at the list and think none of them seem that plausible. And a lot of us are split, and find some of the claims obviously true and others obviously false.

One of my goals in this piece was to try to let everyone see both sides of this: why you might find the axiom compelling and why you might find it troubling. And then to offer a pragmatic resolution at the end, which is basically another take on what you just said.
That is a popular myth. The elite never forgot. Roman legacy was still culturally important to them, even if they lost the technological aspects of the Roman empire.

https://www.reddit.com/r/AskHistorians/comments/5c8z4k/did_d...
For a second time in my life: There is more info in the article in the Dailymail https://www.dailymail.co.uk/sciencetech/article-9783195/Men-...

Anyway, I still want to see the table of data that support "significantly above chance".
If one party edits a legal document before signing it, and then the other party doesn't read it before accepting it, then that is on the receiver. This tactic is used by lawyers on each other all the time. It's not fraud.
A complete Data Analysis workflow in Python and scikit-learn
A ready-to-run code including preprocessing, parameters tuning and model running and evaluation.
The attacker knows very well who the victim is and probably has all their contact info. From there you can use email or messaging to direct them towards your digital traps.
> Maybe they can't work in Birmingham for a year or two. But they must be able to work elsewhere in the state.

You're arguing that noncompetes are no big deal, but then you're saying you might have to move to an entirely different city to be able to find a job? That seems like a pretty big deal if it's enforceable even to that level.
Ask HN: Do all browsers support private browsing?
I use Safari 14 on a MacBook Pro. Recently, I decided to try using private windows exclusively. I really like the experience so far. Cookies, caches, and other site-specific data disappear as soon as I close the tab or window. Yes, I now need to login every time I visit a site that requires it -- no big deal, the built-in password manager in Safari makes that easy. I also lose the browsing history for that window, but if I think I will return to a website I simply create a bookmark.

Do other browsers offer the same feature?
Honestly I think it should be 200% of your last year's compensation.

I think everyone wins - easier to enforce, but will only be enforced against people where it's really worth it.
In my case, I experienced high anxiety no matter what strain I smoked, and I smoked a wide variety of different strains.
I'll take a stab at rephrasing the parent post: "desperation leads to crime".
Hofstadter (GEB) and later Jeff Hawkins (Numenta) have long postulated this theory - and indeed it seems to be compelling - but the prediction-by-analogy paradigm has yet to deliver in a convincing way. Would love to see some progress on this front.
Yes. If your safe code blows up but everything else seems fine, the fault is one of (starting with least likely):

* Your hardware is broken. Did you spill the entire glass of wine on that laptop?

* The Rust compiler has a bug. Or, equivalently, LLVM has a bug and rustc depended on LLVM to be correct. Or, your OS kernel has a bug. These are all unlikely, but they do happen.

* A safe wrapper in a popular library you depend on is not fulfilling its contract and you noticed before anybody else.

* A safe wrapper in your code, or in some lesser known crate you depend on, is not fulfilling its contract. If you just fired Jim for writing LGTM without reading his code reviews, start with any code Jim reviewed that has "unsafe" in it.

Notice that the blame definitely is not on the safe code which relied on a guarantee that wasn't fufilled. This is a human construct layered on top of what Rust's compiler is actually delivering, but it's still important to think this way.

If in hindsight the function Jim didn't review correctly should be marked unsafe because you need to check your parameter wasn't zero when calling it, do exactly that, never write...

// Marked safe, but actually not safe to call with zero

... in the comments for the function, you're making your own life harder.
I haven't looked at it. But there are plenty of "magic beans" product targeted at Enterprise companies with legacy code. It's perfectly plausible to me that many of the companies using something generating bad tests wouldn't know the difference, because that's what their code base has already.
I guess we can call it lossy compression ;)
Epic! Trolling or genius marketing while a bit misleading. At the same time if people can't clearly read the sign how do they know it's an optometry and that they need to go there?
>Do you think there's a good way to capture enough useful data in a lab environment, short neural implants + microphones with 24/7 recording?

It's a hard problem, even neutral implants and mics isn't enough. I had two months to come up with some ideas about how we could get a human to produce reliable signals, and failed completely. That was when I walked away and got a job.
So was AmigaOS.

Carl Sassenrath apparently got a knack for pulling that off.
Even if you're right (which I personally doubt) - that would more be a commentary on how people can be convinced to assume risk without any upside rather than a rationale of why it's a good idea to voluntarily talk to the police.
> but once memory is corrupted, errors can manifest anywhere

Yes, but those errors can only be caused by code flagged with the unsafe keyword. Which makes debugging, auditing etc. a lot more simple than in, say, C, where it could happen anywhere.
That's what we're trying to find out. :^) In many ways it is a guinea pig, and something we wanted for ourselves. Very niche, to be sure, but if you've ever had to write grammars, the alternatives are EMACS/VIM + YACC/Bison or XText if you're in the Java world and can be locked in and handle the weight.

It's funny to me what a tough sell it is, but that's true for all new dev tools. While the main purpose is to help anyone, whatever grammar they choose (ABNF, EBNF, etc.), it all compiles down to Red `parse` internally, so if you use Red, your parser is already done. If you use the native `parse` rules to begin with, you can even include actions. Testing in it is cool too. But really it's to try and get people to see that documenting your design (meaning you have a design to begin with), is valuable.
As the Use of AI Spreads, Congress Looks to Rein It In
Yes. I have been doing unit testing for a long time, and I think this is a clear antipattern. It's cargo-cult testing, not actually a serious effort to improve quality and developer productivity.
> Normal people don’t care one way or another...

As far as I can tell, no shift of the overton window begins with 'normal people', rather it always ends with 'normal people'. Any campaign of this nature is a long and sustained effort over months and years. One requiring that normal people precede them on the wave of change is a guarantee that one will never begin to move in the first place.
How was this tax supposed to help the people it taxed curb their emissions?

Or was it just going into some pension fund for underproductive bureaucrat?
A ban would be wildly exaggerated. As an employee you get privileged access to a wealth of trade secrets, so a compromise on your liberty to act upon these is needed.

What they need is regulation; non compete need monetary compensation, if not during the time of employment, at least for the entire period they remain enforced after employment, with a regulated minimum compensation proportional to a significant fraction of what was the employment salary
Those WMDs are surely out there somewhere...
This is amazing. I was really impressed by your photo collection space you blogged about (https://kinopio.club/-inspiration--PvOMf-lSAIAC9INOu8_Ex)

Mind sharing what tech you’re using?
I doubt length-of-stay is normally distributed. I would wager that the distribution is skewed heavily to the left. This would result in a that the median is much lower, with a mean that it is biased to the right due to a small number of unusually long leases.

tl;dr: the mean is almost certainly the wrong statistic.
Archive.org shows this was added in April 2020. This isn't news.
It's fine, pretending you're an expert on anything is the standard around here.
Archive.org shows this was added in April 2020. This isn't news.

https://web.archive.org/web/20200328123253/https://support.g...
GitHub's Copilot Information Disclosure
Ask HN: Focus Oriented Desktop Environment?
Looking into focus oriented desktop environment for GNU/Linux, something minimalistic like Sway but easer to use, that let user use the mouse, similar to much easier to install MNM Reform environment (see https://twitter.com/mntmn/status/1406573765643939840/photo/1)
Any finite number of randomly chosen integers can be sorted in increasing order. The quantities invented for the proposed mapping do not share this property, and thus cannot possibly be integers.
>I'm glad to see democratically elected representatives of the U.S. take up their responsibilities rather than pandering to corporate and oligarchical interests.

This isn't some noble representative getting a bill passed through Congress to stick it to Big Tech for profiting off of outrage media, click-bait, surveillance capitalism, etc etc (I wish it were thus). This is the executive branch of an administration colluding with those corporations to provide "guidance" on what the permitted narrative is.

>Many folks on HN here love the concept of "free speech" without restrictions because we've been drawn into a world of binary outcomes and absolutes. That's not the way the world works, and it shouldn't be used as an excuse to permit destructive behaviour for profit.

I mean, sure. But we aren't talking about the traditional restrictions on free speech, which have fairly well understood legal precedents and have laws about them. I don't even know what "permit destructive behaviour for profit" means, since one person's destruction is another person's creation (just look at the ad ecosystem on the internet).

If 9/11 was the justification for an ever-expanding state surveillance/security apparatus, then the Pandemic will be the justification for ever-increasing collusion between the "democratic" government of an ostensibly free country and the massive multi-national tech companies who have the means to control what is and isn't said on the internet. The people who warned us about the PATRIOT Act turned out to be right.
ADHD is a neurological disorder, much like short-sightedness is a vision system disorder. If you are a serial procrastinator and always have been, it might be worth looking into ADHD in addition to trying out tools like this course and many other things. Trying to fix actual ADHD with some self-help is like trying to fix your eyesight through meditation. It won’t work.

I am just suggesting that people with extreme procrastination consider seeking out an ADHD assessment at least to rule that out.

There is no good treatment for ADHD other than drugs. That’s just the science of it.