skysight-inc/HackerNews huggingface dataset:
> Most of those impact correctness (amongst other benefits), otherwise we wouldn't care about them.

Well, it doesn't seem like they do because, again, we can't find significant correctness differences. But I care about them because they improves my subjective experience (enjoyment). I don't know if it's universal, though. I care a great deal about the art I enjoy, but I don't make any universal claims about it improving productivity or something. And I find any such claims -- just like unsubstantiated claims about programming languages -- to be just like claims about homeopathy: I understand and sympathize with the psychological mechanism that causes people to make them, but they are unlikely to have any large real-world validity.

> None of the studies that have been carried out tested the long-term benefits of types, which is precisely where types would shine, so I cannot agree with your conclusions in this thread.

It's not a "conclusion." Until we find evidence that lettuce cures baldness -- or causes it -- we assume it doesn't.

But it's even stronger than that. We don't need difficult studies to detect large effects. Large effects are often found even without studies at all. If eating lettuce increased or decreased baldness by 50%, we would have noticed. Especially in software, which is a huge economic undertaking and therefore has powerful selective pressures, adaptive techniques have very clear adoption dynamics, of the kind we've seen with unit testing and even garbage collection. Yet we don't quite see them with Haskell. Haskell doesn't even spread rapidly inside organizations that already use it. On the other hand, it doesn't rapidly disappear, either, as we'd expect from a highly maladaptive practice. Its dynamics is similar to that of a neutral trait.

So the scientific reality is that Haskell in all likelihood does not have a large negative or positive effect on any important bottom-line metric, at least until proven otherwise. This is the current working assumption, and it's great news for Haskell fans: Haskell is probably a reasonable choice, and not significantly worse than others. Looks like the FDA would call consider it a safe nutritional supplement.
It's actually the domain of build systems. Splitting code into as many independent files as possible gives the build system more data to work with, allowing it to compile more parts of the program in parallel only when necessary.

If a file contains two functions and the developer changes one of them, both functions will be recompiled. If two files contain one function each, only the file with the changed function will be recompiled.

Build times increase with language power and complexity as well as the size of the project. Avoiding needless work is always a major victory.
Some of the most helpful, knowledgeable, and experienced people I've had the honor to work with have been abrasive, rude and occasionally insulting. It takes grit to work with them but it's largely worthwhile.
Trials are for citizens. Immigrants do get due process though and stand before a judge.
Find the Invisible Cow
Yet Another Computer Vision Index to Datasets (Yacvid)
I’m also a bit confused where is .NET Core coming to the picture. It’s becoming faster and faster but it’s definitely not the best tool for load balancers.
There is software to do this. You can even configure your streaming / recording tool of choice to use that processed audio directly.

For the first couple of video courses I made my work flow was:

- Open REAPER (a software DAW with a business model like Sublime Text)

- Create and save a noise gate sample based on my specific room noise using its "ReaFIR" VST plugin until it was good

- Use a piece of software (ASIO Link Pro) to act as a virtual audio switch

- Open my video recording tool of choice (Camtasia)

- Configure Camtasia's microphone to be a virtual device that ASIO Link Pro created on my system

So now the end result is the audio being recorded live is already processed by REAPER and has no background noise. I also added in effects like a compressor and EQ too to offset my very thin microphone at the time. Totally seamless with no latency issues. You could do the same thing with OBS but OBS is even easier since you can directly use VST plugins so you don't even need REAPER or ASIO Link Pro running. You can download REAPER's VSTs separately.

Nowadays I just use hardware to do the same thing in real time so I don't need to think about it and I have flexibility in the recording tools I use, although the above approach works fine once you have it all configured. You would just open REAPER before your recording tool and it was ready to go.

Personally I would never go back to editing in post production for recording voices with a microphone. The amount of time the above saves is massive because it's all done on the fly with zero human intervention once it's set up. There's no complex import / export / import flow needed or fiddling with things for every recording.
If you don't care about open source and don't mind spending money, Izotope RX7 has much better denoising tools than Audacity. It's actually the main reason I now have Windows installed on my desktop (alongside Ubuntu).
FireJail would be simpler to setup and gives the same (relative) protection.
There is already a way as COM is cross-language by design. However what this will hopefully do is provide a library that makes it natural and using Rust idioms. I'm looking forward to it.
Objective measurement of personality type in mice
321LR will be very very successful if Boeing decides to scrap the 797 project.
> The only thing important for a CEO is their effect on bottom line and stock price...

People are just tired of assholery, ok.

It's not like greed is new. It's always been a part of human experience, usually bad, and especially so when it becomes extractive and monopolistic. But there's something about "tech" startups that seems to attract the most awful personalities into c-level leadership.

I expect railroad and oil tycoons were much the same in their day. I don't expect anything to be different in the tech industry.
I'd quibble with your stats that self driving has to be 100x better than human to be a measurable improvement. You can estimate fairly well if a human driver is safe or not from a few hours as a passenger by seeing if they notice everything and if they have near misses. Also it's not to hard on published data to see the Tesla autopilot seems a fair bit worse than humans under the same conditions. I imagine they will improve.
You do realize the exact same argument applies to nuclear as well, right?
Century of Enslavement: The History of The Federal Reserve - https://www.youtube.com/watch?v=5IJeemTQ7Vk
I second the request for any channel recommendations, I bought a estate of two small houses that needs work. Contractors where I live are so busy and expensive, it's hard to get someone so I'm trying to get knowledgeable.
Overstaying a visa means they are an illegal resident and must leave or get new permission to stay. Obscurity is not an excuse to not follow the law.

Likewise for asylum seekers, it's illegal to cross into a country without permission. You can flee, apply for asylum, and enter when that asylum is granted. There are also rules on when, where, and which countries you're allowed to apply for.

These terms and concepts are not difficult, if you have no intention of misconstruing or creating outrage.
Old news: https://news.ycombinator.com/item?id=20939469
In any environment with more than one person, human nature is the subject. This is the message of the article.
I would err on the side of no. These sandboxes are not a system in a system, like a virtual machine.
This sound very similar to David Hume theory of "problem of induction", as any assumption that the past predicts the future can be wrong.

Personally I think there is value in looking at past decision and seeing what the outcomes were. We can compare two nations like France and Germany and objectively say who has contributed more to global warming. We can also calculate how much they paid for it. The cost side is less relevant as I don't live in either country, but the global warming does impact me so I have some stake in the outcome.

Ban globally the act of burning fossil fuels in power plants. That fixes the outcome I want. The cost questions can be address politically within each country.
Isn't NumFOCUS also the sponsor of the Julia language and infrastructure?
The usual traditional farewell as a foreigner is to not pay the last rents and she uses up your deposit for that.
Haha, I thought I am the only one who joined the startup school this year mostly for the AWS credit, honestly the credits helps, being from African developing country, AWS charges are a bit expensive for us to expirament with and build a startup. I am glad we are not alone in the AWS credits wagon.
I think you are not properly emphasizing the differences. A nuclear powerplant MUST run for more than 40 years. Renewable energy CAN run for more than 20 years but since costs are going down and efficiencies going up it makes more sense to upgrade your infrastructure. This is not a bug it's a feature.
If you look at self driving automation as a black box, sure.

But at the same time people understand that on a highway Tesla Autopilot is safe enough to be used on a long boring road, and dricers generally feel less tired (and can focus more on the harder parts of the road).
There is a massive difference between a national border and a crosswalk.
This point has stunned me recently. I purchased an air conditioner and furnace recently and thought hey I wonder what is in the massive manual. It turns out a lot! The same is true for most of the appliance and machine manuals I've looked at. What scares me from using said manuals is my lack of the basics in plumbing, electrical, etc.
It's worth pointing out that YC startup foreverlabs.com does freeze your stem cells for precisely that reason.
This can be used to set up environments for Open Source projects to ease new contributors onboarding. Would be cool if I could click a button and I found myself in a fully set up environment with the project's Git repo checked out.
Detect content manipulating proxies with songci
> "First" and "last" is a wrong representation anyway, because it assumes people always write their names in that order.

I do not see this as a problem. If i know English so i can fill english-labeled form on english webpage, i would also have a bit of cultural knowledge to translate first name to given name and last name to surname.

> But this has it own issues, like assuming people have either a given name or a surname in the first place.

This is only a problem if the form validates that both fields must be non-NULL. Problem is not with the split itself but with the validation code.
(That's 100,000 req/sec)

Was "the database" a single node, or multiple systems?
Or the untold gazillions in indirect subsidies from not requiring nuclear power plants to be insured for damages arising from catastrophic incidents...
Presumably, if she wanted to change her name to avoid these problems she'd have done that independently. Most people would not want to change their name because of badly programmed systems.

Also, many people (and many cultures) consider adopting your husband's surname to be weird.
Wrong, wrong, wrong. As I said, race conditions caused by non-exclusive mutable access (such as modifying a collection while iterating over it) are trivially prevented by forbidding non-exclusive mutable access! Which is what Rust does. Not all race conditions can be prevented, obviously. But that does not mean that none of them can. I'm not sure what you mean by "local, syntax-based analysis" given that type systems are neither local nor syntax-based. Do you perhaps have a failure of imagination of what sorts of invariants a powerful type system is able to enforce?
Because it is.

Go and check if you don't believe me.
> [..] elk/splunk, etc, because journald is simply not up to par.

Could you expand on what's not up to par in journald vs. rsyslog? Watching textfiles for changes vs. receiving data on a non blocking socket is definitely _not_ more efficient (nor "better" in my opinion).
I don't think most people think they are near human standards now. But there is the prospect for them being there before too long.
Simon and Garfunkel in 1957, when they were Tom and Jerry
> Protesting against "offensive and racially charged speech" that is tailored to provoke the left because it goes against everything the left stands for is very different from silencing conservative speech in general.

Your assertion is not only oblivious to the point (suppressing free speech) but it is also miopic and self-serving (i.e., "if a speaker expresses ideas I don't like then I somehow have the right to suppress it").

The whole moral lesson that a free society depends on the right to express ideas that you personally don't support is lost to you.
> I believe the reason these people died was lack of food in general, not veganism.

Lack of nutrients, not simply lack of food.

They have not enough food and the food they have lacks the nutrients necessary to survive, because it's mostly low protein vegetables.
Loved by Thousands of Entrepreneurs
That might be a trick. It’s not the trick human brains use. It might be equivalent to the way that when we say we want to “look at” a thing, we often also want to touch it.

https://kitsunesoftware.wordpress.com/2017/07/27/why-do-peop...
It has more to do with the incompetence of the previous generation of nuclear powerplant designs and simply the nature of the idea. Big unique power plants cost "big unique power plant" money.
They do a fair bit.
Waymo have done some very limited full autonomous https://news.ycombinator.com/item?id=21427036

They still have backup drivers mostly though.
> You can flee, apply for asylum, and enter when that asylum is granted.

Other way round. Asylum application must be made after arrival. You made a mistake in knowing what the rules are, so clearly it's only fair that you and your family are deported now.
Show HN: KeepPass: Keep safe all your passwords across your Windows devices
Besides, the whole story is about the problem that name including title was in one field and later processing (title removal) misbehaves due to insufficient information.
I'm not sure I want to program my UI.

What I want is to draw it, serialise it to some kind of common markup, and then have an API for dealing with events, altering properties, etc. Making sure that API works well with Rust makes sense, but doing the whole thing programmatically doesn't feel like the right model to me.
Came here to say that. Though I vaguely remember them trying some paid options even before Sophos. I recall using Sandboxie on Windows XP and Vista, back then it was incredibly useful to have such a tool.
Script to scrape thousands of web proxies
OK, if I passed that point, and have a list of companies who might be interested, how do I sell to them?
My favourite is when someone points out had bad these companies are, inevitably someone else links "the Dropbox thread" as justification. This is tremendously ironic, because Dropbox hasn't made a dime yet either.
In fairness, that’s an interview, not an introduction.
That could be a win if it makes the code clearer, but it's certainly more resource intensive.

Channels appear to be magical, since they're baked into the language. But package sync APIs are generally faster.
Vast bush fires rip across Australia, destroying 150 homes and killing 3
My personal hope is that because of the democratization of information and growing ubiquity of makerspaces and knowledgeable people around, that we will begin to not only repair but also produce many of the goods that once only came prepacked in a box and were sold to us at a high premium so insurance companies and executives could live the nice life. If that happens, our overall life costs will go down as people can order raw parts/materials and produce high quality long lasting items themselves.

Just as an example, I've decided I want to grow microgreens and tomatoes indoors. To do that efficiently, one needs grow lights. Thanks to the CBD community, there is sufficient information online to spec and assemble yourself grow lights. Whether you want to solder individual LEDs to a backing or glue COBs onto a heatsink, it's all there. Sure the initial investment is more, but product you can produce is staggeringly more powerful and the lifetime cost dramatically lower than what comes prepackaged.

Of course, then again this might not all happen if children are forced to be in school most of their waking hours.
Of course, if you want to ensure the correctness of your software using techniques that rely on the lack of undefined behavior in the language then you'd use a language without undefined behavior (although this doesn't require ensuring that in the type system). But that's not usually how it works. Even when using, say, deductive proofs [1], you can prove your program has no undefined behavior -- just as you prove it has no logic bug (with respect to the spec). So it's not worse. To give you an example from mathematics, if you need to prove that, under some conditions, 1/x > 10 knowing x ≥ 0, you'll need to prove that x < 0.1 and that x ≠ 0, and the latter is not "worse" just because 1/0 is not defined while 1/0.1 is, and it's not harder than proving x ≠ 0 when 1/0 is defined (as it is, e.g. in Coq and Isabelle). Similarly, if you want to prove that in, C, a[i] < 10, you will need to prove, among other things, that i ≥ 0 and that i < length of the array, and the fact that a[i] could be undefined if the latter is false does not make that part of the proof harder, nor does it reduce the soundness of the result if it is true.

I.e. the mere existence of undefined behavior in the formal system does not negate the soundness of the entire system. At least it doesn't in arithmetic and it doesn't in C. In fact, C is currently the language with the best formal verification tools. Of course, that is out of necessity, but it's absolutely false that the presence of undefined behavior in the language breaks the possibility of sound formal deductions.

It is true that C does make some local logical inferences more tedious, and some of that is due to undefined behavior, but that's a whole other discussion.

[1]: Deductive proofs are very rarely used in real safety critical system, and they're especially unpopular even compared to other formal methods such as sound static analysis and model checking. Those two are more commonly used in safety critical systems, but the most common assurance tool is tests.
This also means that when PV costs finally flatten out, there's a final cost reduction to be had from uncompressing their lifespan to the 40+ years nuclear is already counting on.
the fact that environmental issues are a burden to a society instead of a company in itself is already a problem.

Many companies make huge profits because the enviromental impact of their work is an externiality, and they do not carry that cost.
There’s the band and the drug.
Rape victim rejects judge’s offer: $150K for her, reduced sentence for attacker
Bert launched a rocket into natural language understanding
I recall everyone saying Tesla "FSD" was awesome and industry leading, I see them saying that today, and I expect they'll be telling their grandchildren the same while being driven around in a Waymo.

In all seriousness, I like Karpathy and his work. Seems like a good guy. Not sure why you'd want to work to enrich a guy like Elon Musk though.
A "use it or lose it" clause would be great for patent law.

While I appreciate how hard it would be to implement properly, I don't think that should be an impediment to getting the process started.
Chile's protests show economic growth is not enough
How to promote your site on the web in 2019
Leon Gatys, the guy who published A Neural Algorithm for Artistic Style that revolutionized the entire industry while he was at a university is now employed at Apple. They have published at least one thing that was semi-interesting on cognitive functioning in older adults and how it can be expressed through smartphone usage: http://delivery.acm.org/10.1145/3310000/3300398/a168-gordon....

Interesting and certainly compelling, but not earth-shaking like style transfer has been.
Python Dataclasses and Typing
The tiny plastic packages that are fueling Asia’s waste crisis
Here it is: http://karolis.koncevicius.lt/data/old_reddit.png
That's just like lyft or uber drivers taggint themselves "As waiting for you" while they are still moving. A pure gamification of the system.
I looked through the GAN paper that this idea uses, and it seems that they generate training data by downsampling high res images. So you can presumably create large amounts of high quality training data for problems like this.

Do such methods introduce any problems in terms of e.g. overfitting (say, overfitting to the method that you use to degrade images)? Also, do fields tackling ML problems such as this where you can generate perfect training data tend to have faster improvements over problems where you can't (i.e. where you need to manually label training data, or where the target is ambiguous like sentiment analysis)?
Smart Home Neighborhood: Residents Find It Enjoyably Convenient or a Bit Creepy
> Just consider how extremely hard it is to set up systems of dynamic dispatch in Haskell.

What? Make a record of function values. Done.

You can also go with an existentially qualified type with type class constraints if you just want the moral equivalent of [Show _], say.
Not memory addressing, but there is this "special reset" undocumented by Zilog but discovered from a patent http://www.primrosebank.net/computers/z80/z80_special_reset....
Doesn't that just mean we'll evolve into a new environment?
The Lake That Feeds the Mekong Basin Is Facing a Shortage of Fish
Future programming languages will be graphical in one way or the other, I think. As you said, the programmer needs to have a clear way of visualizing the big picture. I think this can be achieved without forcing people to go visual. You could have the code on the one hand, and the metadata for the presentation of the code on the other, in a separate file. You could also just hide the graphical metadata for the code view.
> Wrapping your errors produces great messages but defeats type switches for structured error handling. This pattern makes it easy to not actually have the error handling logic that that appears to be there.

Not true. I've been successfully using error wrapping with type
switches for years. That's what unwrapping is for. Go 1.13 has
functions errors.Is(error) bool and errors.As(error, interface{}) bool
and also errors.Unwrap(error) error. Package github.com/pkg/errors,
which I use, only has function errors.Cause(error) error, but writing
your own inspection helpers is trivial.

> You need to be very careful about adding context, because you need your error monitoring system (Sentry, etc) to understand what are instances of the same failure mode vs. different failure modes. (…)

Not sure about Sentry, but Airbrake has no issues with that.
From Specification to Implementation (Julia Startsev - HolyJS Moscow 2019)
Unit, Functional, Integration? You are doing it wrong
Ideally everyone would collaborate on inputs and compete on outputs. All the data gathering, tagging, mapping etc could be put into a shared domain, and then after that the companies decide what to do with it and how to commercialise it.

Easier said than done, but I think it would strike the right balance between reducing duplicate work, and incentivising progress.
Did you have to wait until getting to China to try fresh orange juice? I make it myself at home occasionally. With as much fiber and bits falling inside as possible. It entirely depends on the oranges. Organic/bio usually tend to be a lot more flavorful. It also depends on the time of the year, they are usually a lot sweeter mid-season.