skysight-inc/HackerNews huggingface dataset:
Yeah, I mean I don't want to just say "you're wrong", but you kind of are here.

TypeScript alone doesn't make any assertions and doesn't offer any checking at system boundaries ("external inputs"). That's not what it is for, and the types you specify with it aren't objects. All that stuff gets compiled out before the code is even run. The point of TypeScript is so that you don't have to run your code to know whether the way it handles data internally is the way you intend it to.

Validation at system boundaries is a separate concern, and handled separately. I like to do it with a package called "runtypes", which both supports arbitrarily complex shapes in its validators, and expresses them in a way that's very close to TS and can be trivially converted into compile-time TS types so that you don't have to write the same types twice.

I wasn't sure what to make of TypeScript for a while, too. But having once tried it, and since become very conversant with it, I'll go back only for trivial tasks or under significant duress. Sure, writing types is a fair bit more work up front and a little more ongoing, but it really does make a huge difference in maintainability; in my experience, it's a little work now to save a lot of work later, as the resulting code is both less likely to exhibit an entire class of often quite subtle bugs, and easier to reason about and modify.
That was a super interesting video, thanks for sharing!
Hey good luck with it, this is a genuine problem to be solved. Will give this a spin.
Woooo thank you for the kind words Flávio :) Excited to help you out really really soon!!
Please, a fork of GoboLinux called gobolinux without the silly mixed-case directory names.
To get hype to get funding.
This seems discriminatory as hell.
Sandy Munro is a legend in Michigan. He's a former auto engineer with Ford who started his own consulting business. They tear new cars down and figure out how they're made and determine the cost of manufacture. He's very outspoken and was very pro-electric car but has been highly critical of Tesla at times. He felt they were innovative, world class engineering but that they had no idea how to build cars.
Need is a strong word, but...

One of the jobs of financial markets is to correctly distribute capital. Moving money from people who do dumb things with it, to people who don't, is a good thing because more capital ultimately ends up in the right place. A good thing economically over all that is. The individuals losing the capital are likely butt hurt. But they should have stuck to indexes...
I wonder what's that tiny thing that seems to have broken off some two seconds before it hit the ground?
That's my question as well. I think it's because the customer capital has to be transferred to the counterparty that issued the sell. I imagine that it makes things complicated if the DTCC has to send over 1-10% of this amount and then the brokerage that executed the buy has to send over the rest so, if I had to guess, they did this for simplicity's sake. Btw the requirement to not use customer collateral is enforced by the DTCC and not at a brokerage level discretion.
Sure, I'm not making any statements about BTC's future trajectory, just that those who bought at the last peak and panic sold near the bottom even after waiting for months or years are not coming back. Same with GME, except I'll bet a pretty penny it's not surpassing its peak again like BTC did. If you put your faith into a community (WSB) and lost all your money, you're not coming back. You might not even invest in the S&P500 for a long time because it will all feel like it's rigged against you.
Under the base protocol. What is great about wayland is that it has proper extensions, and it is entirely reasonable to create a new one to query the current layout for some application.
We just have to work on that landing "A little bit".

Understatement of the day.

What's kind of odd is how the video has a weird 80s-90s era sci fi feel. All these years I've thought those special effects were terrible.
"You'll own nothing. And you'll be happy."

Such a bummer that mentioning The Great Reset gets reflexively downvoted here.

It encompasses some of HN's favorite topics: ethics, futurism, finance, etc. and I'd really like to hear what people smarter than me have to think about it.
> I would participate in a challenge trial, for instance.

Me too. And nearly everyone I know in my risk tier.

We had an entire globe of low-risk people willing to be part of the most acute spread, whether for research, for personal immunity, or to be able to isolate for a defined time to protect loved ones, and we squandered it in favor of pseudoscientific horizontal interdictions like lockdowns. It's really an incredible abandonment of basic principles of public health.
For my day job working on a UK e-commerce site that gets roughly 100,000 uniques a day, our split is 70/30 for mobile/desktop. Unfortunately within the company it’s closer to 1/99. So no matter how many times I repeat the phrase “mobile first”, the higher-ups just don’t get it. Luckily I can make rational decisions for them!
I have the same ones, I changed the ear pads and the one on the top and they are as good as new. The sound is amazing and I doubt I'll buy any new ones until they break.
>Other options are available and are good enough BUT people aren't using those other option

People choosing to not use other options that are easily available doesn't seem like something that should qualify Google as a monopoly that needs to be broken up (am not a lawyer, just a disclaimer).

Like, what is Google supposed to do here? Make their own search engine worse, so that users are incentivized to switch? Show people ads, recommending them to use competing search engines?

Mind you, I am not alleging that Google is not a monopoly or that it shouldn't be broken up. There could be other things that could qualify them for that, like bundling of Google Search as the default search engine with Chrome, semi-mandatory nature of Play Store on android just to be able to use google apps, etc.

However, just the sheer fact alone that most people prefer to use Google search (when there are plenty of easily available alternatives out there that the general public isn't willing to look into) shouldn't be valid grounds for an anti-monopoly lawsuit.
Fully-featured admin panel for your Rails apps
How Many People Did Nuclear Energy Kill? Nuclear Death Toll
Failure with one of the engines on re-light: https://twitter.com/MurkyWanders/status/1356703469986586626

"I bet they needed that."

As others have noted, SN10 is standing by. Somewhat uncomfortably close by: https://i.imgur.com/F9rsBbD.png

It's so exciting to be a spectator of these events.
Honestly, I have never really grokked dynamic linking. As far as I understand it, it was birthed whenever disk space was a huge limiting factor so it was better to share dependencies between programs. But, golang's model of hermetic builds sits much better with me.

I want to produce an executable asset that has everything necessary to run, regardless of the wacky local environment that it's being executed in. I have lost so much time trying to debug environment related issues because (at least in my experience), debugging them requires a deep system knowledge of the dependencies and how Foo tool/program/framework is expecting them to be.
FYI: https://github.com/objectbox/objectbox-dart-performance
Better add in some cloud just to be sure and at least one IoT developer for premise security.
https://www.covid19treatmentguidelines.nih.gov/antiviral-the...

Last Updated: August 27, 2020

The COVID-19 Treatment Guidelines Panel recommends against the use of ivermectin for the treatment of COVID-19, except in a clinical trial (AIII).
I pointed out that there were almost no articles to be found one this. I also gave my personal anecdote, in addition to this thread. Hence I used "going unnoticed" and "massive change."

I'd like to think I keep up with technology companies and where they're going. Not knowing about Miami, and seeing barely any news on it while I'm specifically searching for it, means to me that it's going unnoticed.

Seems to me like an unlikely venture though with all the hurricanes.
There are reasons to prefer settlement is not instantaneous - eg it makes fat finger trades easier to unwind. There are also probably some special cases like creation/destruction of ETF shares, ADRs, IPO greenshoe etc which take a bit longer to work through.

But I think the main reason for these changes being slow to occur is because noone wanted to break the system in the process - the settlement process for share trades in the US is/was viewed as quite fragile due to the way it had evolved over time.
Amazing to witness this, although I must say I preferred the camera angles we had in the SN8 stream. Seeing SN8 flip from a distance was great but with SN9 we had to watch it from underneath.
Teenager emerging from 10-month coma has no knowledge of pandemic
Well ...

The "motherboard" of most S100 systems AFAIK were simply a a power supply and bunch of slots. Nothing onboard, your RAM fit in a slot, your CPU card fit in a slot, your video card or serial port for your terminal fit in a slot, your disk controller fit in a slot, etc.

The original IBM 5150 had RAM and CPU onboard, as well as a tape I/O port.

I did run into an old Zenith PC clone at a Goodwill a while back. I think dated from 1987.

Really weird system - the motherboard was an S100-style backplane that only had the Motorola MCxxx-whatever clock chip (a real one and even socketed). On a big ISA-style card was a 286 with a lot of other chips, another big ISA-style card that looked like RAM, and a third that had all the discrete components of your PC chipset - the PIT, the two UART chips, the two DMA controllers. I forget if the PICs were there or on the CPU board.

The BIOS was also weird ... had a built in monitor complete with assembler and disassembler commands.

Every single chip was socketed. It was ... bizarre. Had an MFM drive running DOS 2-point-something and an ISA VGA card in one of the slots. Still worked.
Agreed, important to keep in mind the UK has highest per capita mortality of any large country. But this is good news for the government’s gamble to increase spacing between doses to 3 months
Was that in / near the University of Maryland in the late 1970's? I was working at a computer store in Rockville as a teenager. Chuck Rieger came in and showed me and the other employees the MicroAngelo. It seemed to be very expensive and very complex, if memory serves me right.
Have a look at the FAQ: https://gobolinux.org/faq.html

It says:

> To use GoboLinux today, the user is expected to be proficient with the command-line and willing to compile and configure their software.

If I need to compile and configure my software myself, then this is not really a distribution IMHO.
/r/jailbait wasn't illegal content. Would you want Reddit to restore it? I don't.

Downvotes without explanation?
Medical ethicists believe they've solved the trolley problem by turning their back on the lever and letting Jesus take the wheel.
I dip my toes in and out. It’s not healthy to spend too much time on there
the problem is that there is no distinction between a webapp and a document, the line is thoroughly blurred. For documents, you can probably just override a fair bit of schenanigans and things will still work, if look somewhat ugly, but for a spreadsheet app that's a rube goldberg machine of javascript and continuously regenerated html and css, it'll just turn it into a broken mess. the browser has become the de facto cross compatible application platform, which requires handing a lot of control to websites.
Zebrium vs. Elastic Machine Learning
That doesn’t really answer the question
All my best phones were blackberry.
From the good old ones up to the Z10. The developer scene at he time of OS10 was so cool!
Fantastic devices, such a shame that people enjoyed seeing blackberry die out.
I'm still using my playbook, 11 years and going strong
This is a weak proxy in this case. Could be ideological conservatives that didn't want to donate to a particular candidate
Wow, thats great feedback, let me write all that down! I'll tell you this already, desktop version is on the roadmap, we will probably produce an electron-based "native" app that can "install". We kind of like the idea of having the best of both worlds. That's also the beauty of open source, what's the risk really? Feel free to go to https://github.com/penpot/penpot and elaborate on those topics! Thank you!
How many more alleged hackers have to be revealed until we realize the root of the problem was installing the revolving door in every building and not necessarily the people walking in and out?
It is so frustrating, trying to figure out at least a bit of whats going on and understanding some numbers, but apparently I cannot do this, without having to dive into papers, too?

There is so much confusion and missinformation flying around, when even here on HN there is discussion about the meaning of basic numbers.

(but please carry on discussing it)
Google Forms Spam
Peak power is significantly different from operational power on many of these setups. The intel setups, frequently idle at a 1/10th or less the rated power. The rpi4 OTOH, isn't nearly as dynamic, particularly if your running 64-bit debian. Its still just a few W, but its not going to drop down into the mW range when its idle because debian/etc doesn't have particularly good power mgmt on that board.

So in the end the rated W can be quite misleading, particularly for home use where the NAS will tend to sit idle a large part of the day.
Step Action Plan for Recruitment Companies on LinkedIn · Linked Assist
Sorry, what? I can't tell if you're serious.

Robinhood didn't get extorted, their clearinghouse told them they needed more capital to secure further $GME trades, because the volatility has been off the charts.

Vlad even states this in the article!

> Clearinghouse deposit requirements skyrocketed overnight

...

> The clearinghouse deposit requirements are designed to mitigate risk
No, remote learning is not a problem at all. Bad teachers and bad schools that fail miserably to implement remote learning properly are the problem.

All private schools around me (Czechia, EU) offer excellent remote learning experience, it's actually much better than daily school attendance. Many schools wanted to implement it years ago but it wasn't possible to run a school without daily attendance before the pandemic due to communism-era views and laws.

Public schools - well it's exactly as bad as you would expect something ran by a government to be. Public schools have been causing mental health crisis since their beginning, and it's way worse (it took me 10 years to get out of my own public school-caused depression).

EDIT: Downvoters, please feel free to explain yourself in a comment.
Robin hood has been called so many strange names and then gets no recognition when they want to strike at the root of the problem.
When you look at the history of the space race between Soviets vs USA, one thing that is clear is the approach used by both countries to engineer their craft were very different. The Soviets would do design by testing and blow up many rockets and gather data vs the USA which would be more up-front about it's design and design testing before gong live.

SpaceX clearly took the Soviet's approach to rocket design.

EDIT: This is not a negative thing. Soyuz is pretty darn safe because of the approach they took.
That's not right, the current (global) Terms of Use already prohibit (among other things) "With the intent to deceive, posting content that is false or inaccurate". (See https://foundation.m.wikimedia.org/wiki/Terms_of_Use/en section 4.)

I guess the inclusion in the CoC just adds more options for enforcement.
But, that link shows mmap taking 6 arguments?
I'd say the first reason is staring us right into the face, it disincentivizes actors on the market from engaging in exactly the kind of nonsense that is divorced from fundamentals we've seen over the last few weeks playing out on Robinhood.
You were breaking the site guidelines, so the downvotes are correct. Please review https://news.ycombinator.com/newsguidelines.html (note the second-last).

Comments like the two you posted here are particularly off-topic because once users have fixed the situation with corrective upvotes, such complaints become uncollected garbage. That is, they linger on, even though they're false in addition to off-topic.

https://hn.algolia.com/?dateRange=all&page=0&prefix=true&sor...
> I prefer Fedora-based and Arch-based flavors for that reason. It's usually pretty easy to find stuff.
> Backtrack used to do something like this and while it was easier compared to a lot of other debian/ubuntu based things, I still ran into some pain points.

FTA you linked:

> Most Linux distributions follow the Filesystem Hierarchy Standard and declare it their own policy to maintain FHS compliance. GoboLinux and NixOS provide examples of intentionally non-compliant filesystem implementations.

Debian and Ubuntu adhere to FHS; they're not more difficult in this regard than Arch or Fedora (or distributions based on these). GoboLinux and NixOS don't because they serve a higher goal. GoboLinux for user-friendliness/explorability and has backwards compatibility (which is hidden via optional kernel extension), NixOS aims to solve dependency hell (among various other goals). Learning curves are an obvious drawback.

> ls -la `which <program>`

Backticks should be avoided; use ls -la $(which <program>) instead (avoid the $ in Fish).
Of course. No conspiracy is ever disproven. If we proved the CIA didn't kill JFK, plenty of people would just reply that we were part of it! Or it was Mosad and they framed the CIA (those bastards!)

It's no different to any other religious belief.
> The truth is competing search engines are at least 90% as good as google, and literally a click away.

They're also 90% as bad; they aren't so much competitors as wholesale clones.
A frequency response curve should be included because it provides useful information to (some) consumers, not because a "flat" curve is necessarily desirable. While the entire experiance cannot be discerned from a curve alone, and users can eq the signal, it provides a good idea of what the headphones will actually sound like, and a set of priorities and tradeoffs made in designing the headphones.
It looked like something from the engine fell off during the flip
And that's why you have an assembly line for Starships: https://i.redd.it/dmr9bjhpcee61.jpg (SN9 lacking the RUD symbol in that image of course.)
I don’t particularly care what their reasoning is. A private corporation censoring elected officials should not be acceptable or encouraged. It is extremely anti-democratic and for them to quibble over a highly specific issue like this just shows YouTube’s bias.
Newer Shure models have replaceable cables. They'll also replace the cable for something like $18 which is way less than the cost of the earphones.
It is irresponsible and it seems to me that the only reason they risked millions of dollars in prototypes is for media attention.

Just because it looks cool is not a reason to do it.
ARM64 and RISCV64 are so similar ISAs that whatever implementation you can do with one you can do with the other, given the same level of engineering skill and effort.

Apple probably spent billions to make M1. If someone made the same investment with RISC-V they could get the same results -- the main company currently pushing higher performance RISC-V (SiFive) has total funding of under $200m so they clearly don't have billions to spend. They've got an announced CPU (tested in FPGA) with ARM A72 level performance. That's only about five years of very incremental performance improvements behind (non-Apple) ARM.
Ah that makes sense. I never had one myself, I’d moved over to a G1 at that point. But I do miss my old blackberry.
Stimulus checks to low income Disabled who may be getting Both SSDI and SSI(Because their SSDI Soc Sec Disability checks from covered work history are not enough to meet the Federal Poverty Level) is putting folks at risk of going over the asset limits.

Folks getting any sort of SSI/State SSI have a limit of $2000 emergency bank account/accounts savings limit that has not been raised since the late 1980s! And that limit has not kept up with the rate of inflation and really that Limit needs to be redone to factor in Inflation since the late 1980s!

A singe root-canal and Crown will easily run above $2000 and really the Savings/Assets limits for Low Income Disabled folks and low income retired Elderly need some rapid Congressional Action! And all this current stimulus is coming in and folks will have a year to spend that back down. But most low income disabled/retired people need that Federal Asset limit raised so folks can save for dental/health procedures that are costly even when using a dental School to do the work as the materials still cost money for things like crowns and bridge work.
Not necessarily source code, but some intermediate representation (even perhaps x86, and then going through a software compiler that converts it to this lower level language in hardware, inserting cache fetches where necessary. But probably a higher level representation, for example JVM byte code could be better optimised)
How could Senator Johnson be "transparent" about YouTube's reasoning? YouTube keeps their reasons secret. That's the problem.

Fortunately the video and testimony is available directly from the Senate so everyone can make up their own mind.

https://www.hsgac.senate.gov/early-outpatient-treatment-an-e...
People still think that the way the TV show Silicon Valley portrayed Christians is a joke... it's now more true than ever.

For those out of the loop, the gist of the joke is "it's more risky to come out as a christian in SV than come out as gay in a baptist town in the 50's"
Tesla wants to save money by replacing these screens after they die but now they'll be forced to replace them proactively. This should put even more pressure on their historically stressed service supply chain.
Getting someone help and helping them mean different things usually.
I don’t agree with this at all. Now YouTube is not only removing questionable content, it’s stepping into the public square, our very government, to decide which debate views you hear. Not a good sign and a terrible precedent. Congressional committees are by their very makeup, a farce intended to create sound bites for the media, but if we can’t have a space for open, unobstructed or uncensored debate in a government hearing, we must question if YouTube is doing more harm than good.
>Talk to anyone who lost an eye.

My mom has amblyopia and is old enough that it didn’t get treated. She can drive just fine, but she can’t grab the clothes line between her fingers. She has to sort of paw at it and catch it with her palm.

And I’d say visual processing is a lot more complex then we give it credit for. We don’t understand what’s really all going on yet. We still are trying to understand microsaccades for example. Ocular processing is extremely fascinating.
When I was a kid in the 80's I had at least one pair of headphones from the 40's. I'm pretty sure they're still somewhere at my parents' house.

My dad still has the headphones he bought in the 70's. He's replaced the pads and the cable.

Good audio equipment is built to be repaired and can last indefinitely when maintained.