skysight-inc/HackerNews huggingface dataset:
It amazes me how complex the brain is. We are barely equipped with the tools to understand its complexity. An article I read earlier today on HN stated that the brain contains up to 11-dimensional neural networks. [1]

I think we’ve been incredibly lucky to have the fields of psychology and psychiatry to fill the medical role, especially when the quantitative gaps in our understanding of the brain seem to be widening.

[1] https://bigthink.com/paul-ratner/our-brains-think-in-11-dime...
While simulation is a well-established practice among digital hardware developers, I have the impression that formal verification is still largely ignored.
I hope it changes as free tools are emerging such as SymbiYosys https://symbiyosys.readthedocs.io

While this is still a long-term goal, I am planning to experiment how formal verification can be used in Racket-based hardware tools.
That would actually be a cool service: Mighty, but for running a hosted IDE.
Having kids is a personal choice. In order to have them, you should want to have them. It's a gut feel. Conversely, if you don't, you shouldn't need any supporting arguments or evidence to justify that choice to someone else. It's your life. I get the sense that you already have the gut feel, but are looking for supporting evidence and I would ask "why?". The worst thing someone can do is have kids when they don't want to. Keep in mind, this gut feel can change over time.

My perspective: always had a gut feel that I wanted kids. Now have 3 young ones. Is it hard? Yes. Would my life be "easier" without them? In some ways (practically) and likely less so in others (emotionally, spiritually). Are there moments where I wish I was childless? Absolutely. Do those moments last and would I rather have a life without kids? No, not by a longshot. It's cliche, but I can't imagine a life as full and changing without them. Keep in mind I'm talking about me and my life here, not generalizing. A childless life can be just as fulfilling, if not more, for someone else.
Apple could hold the key to Intel’s future
Serotonin syndrome is due to an excess of serotonin almost exclusively due to serotonin agonists. Seizure is pretty rare - it produces stuff that looks like seizure (myoclonus, tremor, delirium), but actual seizure is only seen in SS so severe that it’s usually fatal.
Being a chronic procrastinator and lazy gift planner, a few years ago I was searching for a last-minute Christmas gift for my nephews. I retrieved my old Pokémon card collection from the closet, wrapped it up, and called it a day.

I felt mildly bad for not being more thoughtful at the time, but now it appears that I gifted them tens of thousands of dollars in value. Many of them were the rare 1st edition / shadowless versions.

Someone please tell me where to pick up my Uncle of the Year award.
Don't say Velcro (2017) [video]
> I don’t know about the details of the case, but the host wasn’t found guilty.

That’s not what I see:

> On June 7, 2017, Mr. Tulsiani pled guilty to unregistered trading and breaching an OSC cease trade order in connection with an investment scheme involving the Private Investment Club, which targeted Ontario investors.
https://finance.yahoo.com/news/osc-investor-alert-sunil-tuls...

> Why did Snowden do this?

Did you watch the video? He explains exactly why.
It's my understanding that Github also operates in China and has to follow Chinese law, so that Chinese citizens are allowed to use it. Maybe you can advise on Chinese law? I don't see why it's not right to get the police involved if it turns out to be a criminal matter in China. (Not saying it is, I don't know)
When I started using virt-manager I started there because I was specifically looking to replace Virtual box due to having kernel modules for VB sometimes block kernel upgrades. So I guess I was looking for a GUI since I was on a desktop anyways. (Just have some dev VMs so I don't have to clutter my desktop with running MySQL etc for some projects and so I can match the distro of the production server)

So I guess, it worked, didn't look into raw qemu. I also use it infrequently enough that I would have to relearn the CLI all the time.
When targeting ARM macOS, the linker automatically ad-hoc signs everything it outputs. You can check this by running `codesign -dvv` on the binary. Alternately, if your binary is an Intel binary running under Rosetta, those can be unsigned.
> It looks like they got the info from the Texas exchange.

I don't think the TX in that article means an exchange based in Texas. I think TX is abbreviating the word "transaction". Every instance of TX is followed directly by a bitcoin transaction id.
Saudi Crown Prince's for NEOM tests his builders
I like tools like flake8-docstrings and setting the expectation that documentation should be reviewed during the code review process.
Looks like you are trying wrong way:

- Using someone else picture is prohibited, you can report it saying - It harass somene you know and mention the facebook profile with more information

- Or, Using "Impersonation" policy.

For paypal and stripe, Please send (mention) them tweet over twitter and they will defintely look into it.

Make sure you use relevant hash tag and please ask your follower to retweet the hashtag.
“Flocculant” isn’t a product name, it’s a description of the function of an agent (like a “detergent” that makes a liquid less turgid). A flocculant will clump the fine particles together so the clumps will be large enough to be strained out.
The only problem with this news is that the virus does not stop mutating. In my reading, I saw a BBC news discussing the double mutant virus as of March 24/25, 2021. I am sure it has existed for even longer, which means it has been mutating for multiple months, and we do not know much about those variations, and will probably hear of them by fall or winter.
I think you missed my point a bit. I'm saying that it's a bit strange and out-of-place to blame the demand side of things here, instead of blaming the supply.

What the thing is used for is irrelevant in the end. Most food goes to "waste" as well, but you don't see people making much uproar over that.
From the outside it sounds like the "racist name list" is a bunch of ethnic group one laughing at ethic group two where in practice its actually ethnic group one laughing at other ethnic group one people. I feel like that perspective paints a slightly different picture. This means the percentage is of some import.
My skepticism is not towards this scammer actually providing value, but more towards the likelihood of you being the scammer and trying to defend it on a public platform.
I think what should happen is this:

Step 1: Someone files a copyright claim (or perhaps this is done automatically). This is free.

Step 2: Someone disputes the claim. This is also free, and automatically restores the video.

Step 3: The filer can re-submit the claim but they have to post a bond for the price of a professional manual review by a trained copyright lawyer; maybe $1000.

Step 4: If the video owner can re-dispute the claim; to do so they also have to post a bond for the price of a professional manual review. The trained copyright lawyer comes to a conclusion; whoever "wins" the ruling gets their money back, and the other person pays for the whole thing.

If the video owner doesn't go on to step 4, obviously the copyright claimant gets their money back.
> Lately I have been feeling like the economy just broke on a fundamental level over the past year.

I've been thinking that recently too, although it's possible that I'm only now paying attention because I've finally become someone who has enough money to ask "what do I do with my surplus money?". That's not something I had to concern myself with 10 or 20 years ago.

Some folks will rightly point out that there have always been fads, but things feel quite outlandish these days with GME/Wallstreetbets, Bitcoin, NFTs, SPACs. The stock market as a whole has done well over the past year, but it's been outpaced by stuff that feels like people counting on a greater fool. But then here I am on the sidelines, avoiding the riskiest stuff, and of course a bit envious of their returns, so who's really the fool? Shrug
Germanium Can Take Transistors Where Silicon Can’t (2016)
> Which free speech activists have been advocating that employees shouldn't have to do work when they're at work?

Ironically you’re strawmanning my comment, yourself.
I'd imagine Snowden is not interested to support/invest in someone/something related to a person who has been banned from trading securities for life by the Ontario Securities Commission, and thinks other should be aware if it before investing also. Wish more famous people would use their status to protect others.
Electrodialysis Applications in Wastewater Treatment
Snowden is a hypocrite whi is the living incarnation of the holier than thou fallacy
the person I replied to claimed that journalists don't lie. That's why I commented because some journalists do (i.e. tabloid journalists), I felt like they were offering a blinkered opinion.

Whether what DHH did is confirmed or unconfirmed is but one data point in a sea of billions on the subject of the general subject trustworthiness of journalists.
Joseph Francis Ladue founded Dawson City and became a very rich man by expoiting the gold rush that way instead of mining (he ended up making some money directly from mining stakes as well in the end though). I believe his reputation and life story are certainly one of the foundations of that popular idea.

I don't know of any empirical studies of commerce in the Yukon gold rush that demonstrated that the merchants were the fattest of the fat cats in the the whole scenario though. Lots of stories of scammer and schemers making big bucks too, but again, who really knows?

Very few legitimately struck it rich on gold, that's for sure.
I’ve been using Proxmox community edition for my home datacenter.

It’s good to see what this article details into it and how some can pull all this together … for free (or for a small sum).

URL: https://proxmox.com/en/proxmox-ve/features
> In my observation, white men telling minorities what is and is not racist is one of the surest ways to enrage those who feel passionately about racial justice issues.

Might well be, and yet this doesn't mean the "white men" are always wrong. If the vast majority of the names in the list belong to Western whites, and only a few to Asians, does it make sense to claim the list is racist? I don't think so. And why should someone admit (and thus confirm) a non-existent but very serious moral failing, just to appease an angry employee? With all that it entails: once something has been confirmed to be a moral failing, the same judgement automatically applies to all similar instances. We're seeing where this is going.
Researchers Recycle Lithium-Ion Batteries via Simple Electrolysis
Dependabot vulnerability list for one or more organizations
This may have been an accident where the legal notice was sent out before taking the API offline. If that's the case I agree they messed up. The DMCA may not apply here.
Your intuition is correct. Look up the market cap of gold and then look up the market cap of shovels.
Intel hopes to start making chips for car companies within six to nine months
Yes — see page 12 here:

https://www.copyright.gov/legislation/dmca.pdf

“Penalties are provided for knowing material misrepresentations in either a notice or a counter notice. Any person who knowingly materially misrepresents that material is infringing, or that it was removed or blocked through mistake or misidentification, is liable for any resulting damages (including costs and attorneys’ fees) incurred by the alleged infringer, the copyright owner or its licensee, or the service provider.”

Here's the actual text: https://www.law.cornell.edu/uscode/text/17/512#f

I'm not a lawyer but my understanding is that by now the courts have confirmed that it's not just enough to say that you own the copyright on the material: you also have to confirm that the person you're sending the claim to doesn't have a right to use the material as well and that includes fair-use. If you were, say, using a Disney clip in a film studies context they would likely be liable if a takedown bot sent a DMCA claim unless they could show that you did something like posting the entire film claiming it was for “study” purposes.

In this case, that's highly relevant since this repository was apparently released under an open source license so even if Pearson held the copyright they wouldn't be able to take away the permission granted by the open source license unless they could prove that it was never legally approved for release under that license.
20 years later, yes. Silicon is endgame. We'll never see 1970s-1990s levels of progress again.
I will admit that I do not get this coin. At all. Now, if someone came up with a way to store valuable data on everybody elses hdds and have them distributed this way; basically storing secrets via coin.. I could kinda get the reason for all this insanity.
I am a massive fan of new city developments and urban/proptech that solves real problems but this project seems to not be addressing core market issue to date. I struggle a lot because the designs are super cool and I admire someone with a big vision but man, it seems like scaling the designs to something more reasonable and investing in other urban areas in the EMEA region that are high growth and actually need new urban development (thinking Addis, Lagos, etc.) would make more sense.
Ugh yes. The element containing the image is literally the only thing that matters, tying the image to the screen size is pointless and often infuriating.

For those who don’t see this, imagine this scenario- You have a fluid 3 column layout. The layout has multiple break points. Inside one of those columns you have a grid of images which itself is fluid and has breakpoints, these breakpoints differ from the layout breakpoints. Now what should the srcset be on the individual images in the grid at a 1000px screen size? The answer is why the hell am I being forced to figure this out? The browser knows how wide the container will be around the individuals images, help us out here and use this value to determine what image should be selected in the srcset.
You can calculate how much capital an attacker would need to purchase the necessary mining equipment. When that amount of capital is more than large nations would be willing to commit, then you know it's pretty safe. Currently, the amount of capital is in the tens of billions, which is already rather out of reach for most governments to allocate for this kind of thing. Yes a government like the US could theoretically do it, but it would be incredibly difficult to make that fly politically.
I guess if you normally create your READMEs on the phone, then no. But then, how often do you create READMEs on a phone? I can count on no hands the amount of times I've done that in my life.
Hey this is a pretty cool project. Nice job.

One of my struggles at work has been inheriting some code base from whichever team that has no documentation or it’s not even clear why something was built in the first place. Sometimes we’re left scratching our heads — “how do I even build this thing?”

I’m a strong believer in a concise Readme file.
> That is not what is happening in reality.

How can you explain this kind of events:

> SoundCloud takes down D.J. Detweiler's 'remix' of John Cage's "4'33" for copyright infringement.

> White Noise Video on YouTube Hit By Five Copyright Claims

Not to mention that almost all classical music pieces recorded by students are under risk of being DMCA'ed for being so similar to copyrighted recordings. Classical music has many interpretations for the same piece and they are harder to tell apart than, say, pop music.
> Writing is a tough, demanding task. It requires organizing our thoughts clearly, examining them critically, and expressing them clearly. While the expressing part can be simplified to some extent (depending on the quality of writing required), all three steps are taxing when done properly.

Wow, almost sounds like some other aspect of a job a software engineer is required to do...

> If a developer doesn’t write documentation, their work still gets done.

If documentation is part of their job, it literally does not.

> Not writing doesn’t block shipping (at least not right away).

It should.
Pokemon cards have been around since the 90's, and rare Pokemon cards have always had appeal and commanded high value.

This is less like Beanie Babies and more like the rare Magic the Gathering card economy. (Which is also a thing.)

The demographics are different too. Beanie Babies was mostly a suburban mom thing that came and went, whereas Pokemon cards appeal to computer nerds - many of whom have high paying engineer salaries.
I can't speak for other countries or even the current education system but when I went to school in Germany history (and political) class was filled up with European History/Politics and Germanies past to a degree that most Asian countries only where covered in context of European history (e.g. Opium-Wars where covered, but e.g. Taiwan or the Indian-China relationship was hardly covered at all).

But things have changed a bit since I went to school, but just a bit. And somewhat it also depends on the teacher.

PS:
If you want to know the conflict around UK and Ireland was covered. And was covered more deeply then the Opium-Wars, to some degree because it also was used as basis for topic in english classes. But it was also a time in school from which I don't remember much, because being a teen in puberty annoyed by english and in turn not caring about the UK at all. So I have no idea if the coverage was "good" or "bad".
The problem with warp drives and wormholes is that so far they only exist on paper and require things like negative mass and exotic matter or an entire Jupiter's worth of mass energy to even theoretically be feasible. Even then, there are some models which suggest neither would actually work for FTL travel anyway.

If you want to stick to we can actually prove, wormholes don't exist, and neither does negative mass or exotic matter, and we have absolutely no idea how to actually create a "warp bubble," like none. Otherwise you could just as well invoke divine intervention or simulation theory.

Although that would make for an interesting sci-fi story. It turns out the secret to FTL travel is discovering the universe is a simulation and hacking it, and the solution to the Fermi Paradox is being caught by the universe's AV software.

It isn't hubris to doubt when all of the available evidence points in that direction, it's hubris to dismiss all evidence to the contrary and assume that all scientists and skeptics are simply short-sighted when all you have to contradict them is a low-resolution, blurry photo or video of some dots in the sky.
In a modern processor they are however microcode as a general term is a catch-all term which basically means non-trivial configuration logic stored in somewhere not meant to be touched by people other than the vendor. I think IBM have millicode.
If that’s true, can’t there be some consumer class-action applied?
From 2 minutes to 10 minutes. We have mostly Go microservices so building is fast.

The pipeline is: build, unit test, lint in parallel, then package and save the relevant artifacts, then build a Docker image, then run the integration tests, and finally deploy (staging, dev or prod depending on the branch).

We also have end to end tests that run periodically and are a bit longer, but they're not on the path to prod.
Keyword: "some".
Which to me sounds like a better argument to NOT make it illegal. From the perspective of government that is.
Wild guess, Magic Leap?
Possibly relevant, MuseScore has a CLA requiring that all code contributors grant MuseScore the right to use the code in proprietary software. Audacity doesn't have such a clause and I don't know if they'll be able to get past contributors to sign such an agreement.
7:15 for more backstory
I don’t think HN karma means anything but what causes you to lose half of it? I haven’t noticed it happening to me.
You can always mock locally. And you should always do it, your tests should not depend on externalities.
D. Chipperfield Architects Completes Extensive Renovation Neue Nationalgalerie
Good question.

A unipolar depression is very different from a bipolar depression in many regards. E.g. likeliness to eat less vs. likeliness to eat more.

And a unipolar depression can possibly be treated and then be gone. (If the treatment works out.) If one has bipolar disorder, it won’t go away. One has to live with it the the whole life.
It was 2001, programming using LOGO with a 5 1/2" floppy disk. I was playing with FD 50, RD 30 etc. and went crazy with all repeat statements, to made a CD like image with a hollow circle in the center, but I saw my teacher make complex flowers and curves using LOGO, so mesmerizing as a kid
I was not proposing replacing proper, copper drinking water lines with PEX. I was proposing replacing PVC lines with PEX. I'm thinking irrigation, utility supply, etc. ... I wouldn't expect a house to be plumbed with PVC for drinking water ...

Although the sharkbites are also really, really handy to have in your copper water system - if only to have a handful of caps in case of line breaks ...
Much of OSS UI/UX however does not follow such excellent guidelines, but is rather a kitchen sink, and that does not in truth well serve either power users nor novice. As you are suggesting, the design must have thoughtful work applied.
When the fist day of the month is on a weekend or in a holiday (in USA), the official post is delayed until the next working day. So it will be automatically posted on Monday.
I don't need that, I need to know what is going to happen to an important piece of software I rely on to do my work, and which is one of the only quality free software options for.
Covid-19 and your mental health
That seems very high. I pay $28/mo with USAA. Clean record aside from a minor at-fault collision a few years back.

edit: Upon further review, it's actually double that ($56/mo), as apparently it's billed in two-week intervals.
Found In Translation – experiencing the process of machine translation