skysight-inc/HackerNews huggingface dataset:
Here is my view on this.

In the beginning types were useless and hard.

Then we made typeless languages so we didn't need to bother with useless and hard types.

Then we figured out how to make types easier and useful.

1. C - types represent memory layout, which the programmer doesn't care about, are not useful for error handling and control flow and you have to type them out and remember which one is which.

2. Python - Yolo, nothing matters, everything goes. eZ. Shit, why does this code break after refactoring?

3. Rust - Types are inferred, IDEs and the compiler basically tell you what to do and the types are safeguards, rails and handle logic.

Best thing: most of this stuff goes back to the olde languages as well. I.e. IDEs make types in C easier, type hints in Python help with refactoring and so on.

So I think w won't even need to manipulate people out if untyped languages. The academic research that helps make programming better will reach all popular languages.

(Please don't every example to verbatim - it's just a rough outline of an idea not meant to be an in depth analysis. Of course types in C weren't usesless, Rust want the first to introduce all if these ideas, ...).
Agree on the potential scaling issues but the article suggests it operates different from a normal sail

more of how an airplane wing generates lift (bernoulli's principle) then catching wind.
I work on a GCC frontend, but not the C one.
What do you mean by standard keyboard characters? Pretty sure characters on keyboards are often country and language dependent.
> The technology will float around, but the actual formal legal exchange of fiat for crypto should be banned.

The opposite is pretty much happening, regulation. So government is licensing the exchanges and after that the licenced exchanges will have much better foothold in their business as the unlicenced exchanges get kicked out. In the long run for the legit users of crypto this will be for the better.
I don't understand why people still think static types makes programming slower. If anything they make me quite a bit faster. Especially if the problem domain is shifting. Without types I have to spend a lot of time hunting down forgotten parts of the code where I didn't apply a refactor. With types the compiler just tells me and I can fix those errors in record time.
Looks broken on Firefox Mobile, only the panel is visible.
Tesla Model S Plaid 0-60 Review – 2021
Yeah, I know. But when we say Champagne, we clearly mean sparking wine of a certain style -- not the location.

No one is confused, and if people really care where it's made they can look at the label. This is just trying to use the force of law to limit competition and favor incumbents. They want to claim something is a trademark that isn't.
The floor price of a car that passes inspection is about what you say in the US but if you want a car for racing on a frozen lake you can pay less.

The $3.5k car is going to need more than $0 a month in repairs; the lease price includes that. If you like fixing your own car, get joy out of a unique car, don’t mind owning three VWs and having one run at any time the clunker can be a win. But if your clunker needs a $200 repair every month you might decide a payment and a reliable car is better for you.

Infotainment systems are in reverse gear but people underestimate the environmental and safety benefits of newer cars. There was that time I rolled my fit. I got lucky, but I didn’t even feel pain and the back window broke out so I even had an easy time getting out with the car wedged in the roadside ditch.
You can't buy red wine with the name champagne, that's a silly notion. I expect champagne to match not only the wine type, but also quality requirements, specific production methods, grape types, and yes also area of production.
I indeed prefer to avoid doxing myself.
Because it adds another point of failure for a safety improvement thats extremely marginal.
If you want to use journald for those programs you could just configure them to pipe the logs there, or you could just disable journald logging and have it pipe its logs to the syslog. If your distro didn't configure all those programs to log to the same place, that's more of a distro configuration problem than a problem with any specific syslogger. I personally dislike having a bunch of services that try to implement their own log rotation, I would rather have that handled by the system.
I think you can pump all the journal log files to a text file and then open them in emacs and start writing Python to analyze ;)
What could go wrong if we just fire all the programmers that make too much and outsource the software?
He is a genius at dealing with Indian bureaucracy
Yeah, I'm a blind coder and having color matter like this does not sound like fun.
Ask HN: Any Resources for Management?
I’m looking to see what others found helpful while starting management positions and what made them understand the role/activity better.
I think what you discribed is already happening on Douyin (the China version), on which the initial novelty had long worn off, people no longer just/or largely post for fun.

It's all about monetization now, any view is meant to generate profit, every poster is peddling something, like the Instagram accounts you described, there are endless regurgitating of news events, movie and TV show digests.

There are content factories searching for beautiful faces to appear in their merchandise tiktoks, but only the face part (kind of a remote job?), not the voice and acutal body, those will be produced in their assemly lines and match with your face.

Maybe western users are accustomed to higher standard videos, but the late stage will inevitably come. And the lower the entry barrier, the uglier the scene will become.
I second Chef Jean-Pierre's YouTube channel. His humble nature, humor and enthusiasm make the videos very entertaining and educational. All substance, no fancy editing or hype.
Very interesting! Sounds like a smart change.

Out of curiosity, do you ever read books/magazines before bedtime? If so, at what time do you lay down the book?
Learning to “let go” has really helped out my mediocre cooking skills. We really need a Bob Ross for the cooking world; someone to help us embrace all of our tasty little accidents.
I highly recommend Esther Perel’s work and specifically her two podcasts on commodetized relationships without accountability - ghosting, summering etc.

https://overcast.fm/+P0dZxP_w
Tab tab...
You are still wrong.. when most of the jews were kicked out of Arab countries they went to countries all over the world United States, Europe, Argentina/Brasil.. You are not considering any of this and just pulling census 6 year old census data that doesnt describe ethnicity..

from the article:
"About 44.9% percent of Israel's Jewish population identify as either Mizrahi or Sephardi, 44.2% identify as Ashkenazi, about 3% as Beta Israel and 7.9% as mixed or other"

This is from 2013, and there has been a lot more mixing since then.
I wish there was an easier way to figure out if you had COVID.

As someone who's only got one dose so far, I would gladly skip the second one if I knew for certain I had COVID before, so someone else could get my second dose.
Ask HN: Shorter back-end programming path to gainful employment?
You normally hear of the front-end path as initially easier to enter. Are there any back-end programming paths with a lower threshold to get that initial job?
You could run a heating element at full power on 208V by adding a center tap connected to neutral. For something fancy like an EV charger, you would probably need dual 120V AC/DC converters, which isn't worth the effort, given that constant-current loads run at 86% power (208/240), compared to resistive loads at 75% power (208/240 squared).
No, now I can just redefine the buggy function and all the callers will get the new version automatically. Having to update all callers seems like a high price to pay. Seems like the Right Answer is something like a hash of the api or the contract rather than the implementation.
I can't disagree, especially the last part. Where is this quote from? I can't find it in the article and google doesn't find any exact matches on the entire internet.
Just an FYI, it's North Charleston in South Carolina.
>Socioeconomic mobility is low in the US.

Compared to where?
You forgot the gazillions of small speculators
Use a hardware wallet to securely generate keys and sign transactions. Hardware wallet is meant for secure use of cryptocurrency, but it is not optimal for long term storage. It's important to buy devices only from trusted vendors, and to make sure they're not been tampered with (never buy them from a third party).

For long term storage, you need indestructible and physically secured backup of your keys. Basically, you just need to write down the 12 or 24 seed words generated by your hardware wallet and try to keep the words safe from destruction and theft. It's recommended to use a indestructible material such as steel for these, and then store or hide them safely. For more advanced security, seed words can be split in multiple parts using the SLIP39 seed format.

For hardware wallets, e.g.:

- https://coldcardwallet.com

- https://trezor.io

- https://www.ledger.com

For long term storage, e.g.:

- https://cryptosteel.com

- https://cryptotag.io/

- http://bitcoinseedbackup.com
I don’t see it as a systemd-ism but that the UNIX way is maturing.

Passing an arbitrary fd or socket from one process to another solves many problems and we are in the habit of doing it now.
> added a log trimmer config for squid

I feel your pain - I'm curious, was it a drop-in /etc/logrotate.d/ config which was sending a HUP? I don't run squid but Google'd up that it will take a USR1 to rotate logs which should not close the HTTP connections (allegedly HUP closes them). Perhaps the AL2 folks chose the wrong signal? https://wiki.squid-cache.org/SquidFaq/InstallingSquid#squid_...
I would have to believe that Coinbase would bias this in their favor, which would call into question the credibility of the article.
I fall for badges and XP, I know it's not real but it triggers something in me. Duolingo have an anniversary "event" in June and I practiced more than ever to get a silly badge, same things with the streaks, I have no real reason to to a lesson on a Saturday when I have a hangover, I have _negative_ reasons to do so. And yet, that streak...

The McDonalds app also uses points but I'm not that interested in purchasing 10 Big Macs to get a free Happy Meal, but if they had streaks...
The A380 was a good example of getting the prediction of demand wrong. It looked good for the gulf carriers, but the US and European carriers moved to more direct flights due to consumer demand, for which the A380 is the wrong choice.
"Field" is mathematical terminology, a 3D array of values.

What is represented by a mathematical field in the physical world?

Is the gravitational field a gas, ideal fluid, solid, crystal, or plasma? (IMHO, it's ideal fluid).

What causes it to release energy when two objects are attracted? Of course, it goes from higher energy state into lower energy state, but what state it is?

What causes attraction? It's because there is a gradient in the ideal fluid around every object, or because it's a form of interaction between particles of objects, or it's a something global, e.g. shadow, which blocks background radiation causing imbalance?

(Non-native speaker).
> identified by a hash of its implementation

Sound a lot like darklang.

Like others, I am dubious about this being in any way a useful feature. Separating implementation from name (/interface) and binding to that interface/name instead of the implementation is one of the fundamental and useful parts of abstraction.
Skimmed the through the book, I felt the book is great about how to build a product, but selling is an orthogonal art. Unless you belive "Build and they will come".

Selling is especially important if you are in any kind of B2B business where the user doesn't necessarily make the buying decision. For example, if a company is buying a Customer Support software, the executive making the decision won't probably be using the software on day to day basis.
That did (from the UK) strike me as odd the way cups are used in us recipes.

I use a conical cooks measure for speed now - for things like rice flour etc
>There was a thousand ways to do that before systemd, systemd added yet another way. It's not bad, but it was not novel in any way.

The difference here is that systemd actually went to the individual distro maintainers and listened to their concerns, made the necessary changes, and convinced them all to adopt it. That's damn hard to do in the Linux world, I commend anyone who can do it successfully.

Regarding your part 2: For whatever reason, there is an absurd amount of misinformation posted whenever systemd comes up. If you posted something that was wrong about some other service manager, I would correct that too. You deserve to know the right answer to things, for your sake, not for the sake of systemd (or any other program). Please don't dismiss attempts to correct misinformation as being unproductive, it's the flame war which is the unproductive part.
You mean ∑ and Σ? Yeah, that'd be terrible. It doesn't seem like it should be Unicode's job to assign meaning to characters, so I don't know why ∑ ("U+2211 N-Ary Summation") exists.
Latin American companies are ready for crisis because that's about the only thing that happens down these parts.

Hurricanes, economic breakdown, bad power grids, earthquakes, political instability... It's our daily predicament.

Down here in PR we've been busy building companies without power or water, enduring disasters AND still having spare time to have fun ousting our governor in a month.

Latino entrepreneurs are resilient by default.
Not that interesting. The gist of the blog is this:

"I know some code is wrong, and I want to avoid it in production.

Code that doesn’t typecheck doesn’t run.

Therefore, I write types so that this code does not typecheck."

This reasoning can be seen as instance of "abduction". If you are familiar with Philosophy of Sciences, it is seen as Inference to the Best Explanation. Put simply, if we remove the buzzwords, it is an instance of hypothesis generation.

How can one test a hypothesis that adding types will fix a set of bugs? Just by adding types, of course.

In Philosophy, there is another discussion between types and tokens. This is a variation of the problem of universals. The answer depends on one's ontological commitments, which depends on whether one subscribes to nominalism or to realism, etc.
Thankfully thanks to ProtonDB we can see exactly which games run and what the caveats are.

I think "it does not play most recent games" is untrue without qualification.
> journald/journalctl and binary logging can go die in a pit of fire for example

This is, of course, not a problem, because as systemd folk are wont to point out, systemd is not, in fact, monolithic, meaning they use well-defined interfaces and can be swapped out for an alternative.
You said the majority of Israeli Jews came from Arab countries. That is factually incorrect.

Your exact comment:

> ” Most Israelis come from Arab countries(because they were expelled)”
>"While most radio components, including amplifiers, are electronic,

they can potentially be made smaller and better as acoustic devices. This means they would use sound waves instead of electrons to process radio signals.

“Acoustic wave devices are inherently compact because the wavelengths of sound at these frequencies are so small — smaller than the diameter of human hair,” Sandia scientist Lisa Hackett said. But until now, using sound waves has been impossible for many of these components."

[...]

>"Previous researchers hit a dead end trying to enhance acoustic devices, which are not capable of amplification or circulation on their own, by using layers of semiconductor materials. For their concept to work well, the added material must be very thin and very high quality, but scientists only had techniques to make one or the other.

Decades later, Sandia developed techniques to do both in order to improve photovoltaic cells by adding a series of thin layers of semiconducting materials."

[...]

>"Fusing an ultrathin semiconducting layer onto a dissimilar acoustic device took an intricate process of growing crystals on top of other crystals, bonding them to yet other crystals and then chemically removing 99.99% of the materials to produce a perfectly smooth contact surface. Nanofabrication methods like this are collectively called

heterogeneous integration..."

PDS: Let's revisit this quote: "This means they would use sound waves instead of electrons to process radio signals."

So, I'm going to go for "full crackpot" here...

How do we know that electrons aren't sound waves -- and/or radio-wave-like -- in nature?

?

If <thing A> in the universe can be converted into <thing B> via a transducer, then that shows us that <thing A> and <thing B> share a relationship which might not be completely understood according to the scientific reasoning of the day...

Compare to the concept of "identities" in Mathematics.

Once you have a mathematical identity for some term in a math equation, then you can reason about that equation in different ways that you couldn't before -- with the guarantee that because the mathematical identity has previously been proven, the reasoning about the equation, substituting a term with one of its proven identites -- will be correct...

In other words, can we reason about electrons as sound waves, and/or as radio waves, and will the results of that reasoning be correct?

?
The key Unix skill isn’t typing cat /etc/resolv.conf but strace -f -ff -o /tmp/1 -p 33333 to figure out how your DNS resolution is occurring. Maybe it is the traditional way, maybe some code is configured to use a network placed resolver. You can find out.
Networking is probably not what you're looking for. You are probably more interested in DevOps and architecture. Topics like DNS and edge caching. Reverse proxies are typically web servers (ie nginx) or cloud services like API Gateways. Things like TCP are rarely relevant unless you're doing serious micro optimization.
Hey what's a good way to engage with Roblox? My 6-7yo kids love it but I don't see them doing anything creative as they do with e.g. Minecraft. maybe they are just playing it wrong?
Sorry I don't follow. When did I or the book say anything about lying to people?

Could it be not possible that a product can actually help a person get what s/he wants? Or be the best thing to suit their needs. Do you have an objection to that statement?

I actually believe my product is the best fit for my target (not everybody but a very small niche of few thousand people in this world). When I find those persons it indeed feels very easy to sell my product to them and also get repeat business.
>Or are bugs due to interpretations of the specification just easier to find?

It could be. Another possible explanation could be that I am biased due to mostly working on the frontend of the compiler. I don't think that's the case though, most of the tickets that our customers open seem to be related to the frontend doing something that doesn't match the spec.
Yeah, my note books can look quite messy. I enjoyed your post.
Yeah, its a shame the article left off what is probably one of the biggest reasons for the price spike. Speculation. 4x price spikes in a relatively stable commodity aren't explained by simple supply/demand economic factors. The article is a couple of months old and we can now see the speculative bubble unwinding.

https://markets.businessinsider.com/commodities/lumber-price

Down 8% two days ago. Down over 50% from the peak. No doubt prices will remain above trend for a while, but 4X is just another case of speculative nonsense over-amplifying the realities.
> But Microsoft could have gone with F-Droid easily.

Slipping that in at the end really hurts your argument. Microsoft opting to use F-Driod would be worse than starting from scratch and only benefit F-Droid.

Presenting F-Droid as an equivalent to any of the large stores is like trying to say a lending library in someone's front yard is the equivalent to Barnes & Noble or Amazon.

It's borderline delusional to compare F-Droid to the big players in much the same way it's silly to compare FOSS apps like GIMP to Photoshop. Sure it performs the same core function but they're in completely different classes.

They aren't equivalents unless you willfully ignore a lot of differences and that is just dishonest.
Supporting unicode doesn't mean you can't defend against homograph attacks. See http://www.unicode.org/reports/tr39/.
Containers might be popular in startups' "pay five figures a month to $CLOUD_PROVIDER" scene when VCs rain infinite free money, but there are still plenty of occurrences where you have to deal with old-school physical machines where it's often easier to just run the software on the bare-metal rather than using Docker and yet another layer of abstraction.
How about Gauss’s distribution’s density function? Or a numerically stable version of a simpler formula? Also, you forgot the usual case of implementing a whitepaper with mathematical notation. It is much easier to proof read that, when you copy largely the same in your program as well. And if you pass in the readable energy, mass, etc variables, inside the function you can use the domain-specific mathematical notation. That way it will be readable both outside and inside.
How to structure a Django project for production
The Stem – Plant Happiness
I wonder if these will be small and cheap enough to create a 2x2 array of pixels so one could eventually make a focused image.
Did you not get an antibody test at some point prior to the vaccine? That would have given you an answer with 99% certainty if you used a good one.
His full quote, from the actual source (2003):

"There's nothing special about ZFS that requires/encourages the use of ECC RAM more so than any other filesystem. If you use UFS, EXT, NTFS, btrfs, etc without ECC RAM, you are just as much at risk as if you used ZFS without ECC RAM. Actually, ZFS can mitigate this risk to some degree if you enable the unsupported ZFS_DEBUG_MODIFY flag (zfs_flags=0x10). This will checksum the data while at rest in memory, and verify it before writing to disk, thus reducing the window of vulnerability from a memory error.

I would simply say: if you love your data, use ECC RAM. Additionally, use a filesystem that checksums your data, such as ZFS."

https://arstechnica.com/civis/viewtopic.php?f=2&t=1235679&p=...
github https://github.com/leuat/TRSE/
I’d be happy with flour measurements being given in ounces or grams, my scale has both. I don’t care as long as it is by some unit of weight instead of volume.
Bsnes author took his life
Hahaha, yes that I will agree with.
Show HN: Dbgee – Zero-Config Debug Starter Command for VSCode
Infinity and Negative Zero in Javascript
Unison is already the name of a bidirectional files synchronization software (AFAIR developped in OCaml).

https://www.cis.upenn.edu/~bcpierce/unison/