skysight-inc/HackerNews huggingface dataset:
Sure, but it's hard to compare that to the home computer era, we were the first generation with a computer of our own, and grown-ups had literally no clue. The systems where very limited and the gaps had to be filled by the imagination. It was a magic time in history that won't return.
The remarkable actually gives you the root password you can use over SSH in the device settings. Also runs Linux (even has vim installed by default)
It's really the wrong question. Do entities all have to justify why they 'belong' on Facebook? What about vox media? How do they justify that they belong? This is just more cancel culture. Facebook will never be successful putting itself in the middle of a culture war.
They can't "hold you" in the sense of denying you the ability to leave against medical advice. "Harm to self or others" is a whole different category of hold and no one is doing it for a random drunk in the ER.

However, if you're waiting for an actual discharge from the ER, it's common to hold onto the patient until their BAC is under the legal limit, do another quick neuro exam, and then start discharge procedures.

The idea here is "the patient is almost certainly just drunk, but it's not impossible they have an underlying problem such as hepatic encephalopathy. So I'm going to wait for them to sober up enough that I can tell the difference between 'drunk' and 'underlying altered mental status' before I start discharge. The time it will take the discharge to go through will be enough to get their BAC to 0, and I will therefore not be liable if they walk out of the ER and fall and crack their head."
The digital dimension of our lives
Clapping banned at Oxford University to stop people being triggered
> Also consider that fact that human IMO contestants have little training in university-level mathematics.

I don't think this is true, as in my experience many of the contestants have already cultured a background in calculus but refrain from using it as the problems are usually designed to actively discourage its use.
The wonders of the suffix tree through the lens of Ukkonen's algorithm
> But no, take a tablet, add keyboard,

Don't do that. A tablet is not a laptop. All your problems originate from your confusion between the two.

Also, don't use "flipping" so many times, it is fucking incomprehensible.
>federal tax incentive

They are still around?
I'm happy with my Onyx because I can read full-size two-column PDFs on it without scrolling around and mark them up. That said, I'd like it even more if it was completely open-source and ran real Linux. I'm dying for one of these things I can program myself.
Suppose your assertion about this problem being easy was true.

Most research papers in Math / Theoretical CS are < 50 pages, while many IMO problems have solutions > 1 page. So it's only a factor of 50 "more complex."

Then, we should be able to encode open problems / conjectures in Math / Theoretical CS into Lean, run this brute fore approach, and have it start auto generating new publications.

To the best of my knowledge, no one has done this yet.
Yes, but OpenType only supports 4 different Chinese locales (Chinese, Hong Kong SAR 'ZHH',
Chinese Phonetic 'ZHP',
Chinese Simplified 'ZHS',
Chinese Traditional 'ZHT') https://docs.microsoft.com/en-us/typography/opentype/spec/la...

ZHP seems like it's unlikely to be used in the wild.
Build a Mosaic Image Generator with the Nearest Neighbor Algorithm
I knew some Amiga programmers who liked it because the different source/target order.
This misses whole swathes of the double slit experiment.

It doesn't cover the Observer problem, which means it doesn't acknowledge duality, which (you would have to assume) means it doesn't even recognise delayed-choice quantum erasers.

At the risk of getting downvoted to oblivion I feel like the author needs to study up on quite a bit more of this research as there's a much larger body of evidence than that which is countered in the article.
Hm, have they updated their documentation and tooling since I last checked? How do you distribute it? Is your project open source?
Wasserstein distances for evaluating cross-lingual embeddings
Yes but starting next year they start to decrease every year.
> hmm this will solve via integration by parts

The AMC/AIME/USAMO/IMO set of exams can all be solved without calculus and are not what I'd call "brute force". Perhaps you have experience with a different type of mathematical competition?
Thoughts About Unit and Integration Tests
So either take perf hit or don't expect isolation at all?
Leasing a Car vs. Buying – Pros and Cons
Ouch. I’m 20 years out of date. There is indeed a market in water rights now, but it has problems. Here’s a reference:

https://www.google.co.uk/amp/s/amp.theguardian.com/australia...

I read somewhere (can’t find the link) that the rights are allocated on the basis of the previous year’s flow. As you can see from the article, this still means people are pulling out water when there’s not enough water to go around. (There’s the usual complaints about speculation, but IME if you don’t have speculators you don’t have a functioning market. There’s plenty of data from regular financial markets about this.)

Apologies.
* after a rebate from OPM.
> I then looked at the public comment section and users there were discussing how to best gas as many Jews as possible in the US. I'm sure they cleaned up the site a bit since then, but this is a true story.

Yet the founder, Andrew Breitbart, was raised Jewish, the co-founder, Larry Solov, is Jewish, as is the editor-in-chief Alex Marlow, and the senior editor-at-large Joel Pollak. That's 4 out of the 6 key people at Breitbart [1].

In the words of Alex Marlow: "we're consistently called anti-Semitic despite the fact that we are overwhelmingly staffed with Jews and are pro-Israel and pro-Jewish." [2]

[1] https://en.wikipedia.org/wiki/Breitbart_News

[2] https://en.wikipedia.org/wiki/Alex_Marlow
> I then looked at the public comment section and users there

> were discussing how to best gas as many Jews as possible

> in the US.

This is the reason that the comments section of almost every news website was removed. Unless you have the resources to moderate the comments, you'll simply end up with ultra polarized views.

> Bottomline of the anecdote is that Breitbart cannot

> possibly be considered a "high quality news site."

Because of a single experience in 2015? I saw this sort of thing on the BBC website too back when they had comments.

> from the people who criticize "mainstream media" I have

> never heard a single halfway sane suggestion of where else

> you could get news.

So, shut up and accept it? I think everybody should be aware of the potential for bias and/or incorrect news produced by mainstream media.

For example, just look at how many mainstream news outlets rushed to "lynch" the Kentucky high school student for supposedly confronting a native American [1]. The large majority of them did zero fact checking. The first rebuttals I saw online came from independent news sources that got hold of the original video and saw how it had been clipped.

[1] https://www.foxnews.com/us/kentucky-student-seen-in-viral-co...
which lists $42,500 as the total price for the average 2,000 square-foot home, with 10kW solar panels. It also lists $33,950 as the price after an $8,550 federal tax incentive.

I had a roof put on my 1600sq ft ranch and it was only $8,000
Sounds like someone’s been reading The 4-Hour Workweek.
> Things are beginning to look a bit more like microkernels as time goes on.

Hypervisors typically are microkernels. The very first "hypervisor" was L4 in fact, with L4Linux.

Also, you're right that virtualization and containers are fulfilling the promises of operating systems. The problem of earlier OSes is that they didn't take security seriously enough. Modern hypervisors aren't much better at isolation than real microkernels like L4, KeyKOS and EROS. They're better than containers though.
> Microsoft has essentially cemented being the cloud provider for the Pentagon for the foreseeable future.

How? AWS already has 3 entire regions dedicated to the US government and those aren't going away anytime soon.
I'd bet on "if you can't beat em', join em". Reactive component-based architectures a la React/Vue have won. The DOM has won for the view layer too. And with wasm, you get your bindings to multiple languages. See: Blazor (it's just the first, more are coming). As for desktop apps that could benefit from proper concurrency, lack of a browser sandbox, full system access, etc. - server side Blazor is quietly pioneering a weird new paradigm - essentially running a headless browser in a regular process with full privileges, and then only doing vdom diffing inside the browser.
Is there a reason automated DDOS bots cannot visit dark.fail as well, to automatically attack all the mirrors too?

Seems like an obvious next step.
There was a large internal revolt: https://www.nytimes.com/2018/06/01/technology/google-pentago...
> Tesla’s Solar Roof website now includes a pricing estimator, which lists $42,500 as the total price for the average 2,000 square-foot home, with 10kW solar panels. It also lists $33,950 as the price after an $8,550 federal tax incentive. You can also enter your address and get an updated estimate that takes into account local costs and incentives, and add on any Powerwalls (with three as the default for a 2,000 square-foot roof).

$42k does not sound like the solar roof is cheaper than a traditional roof. What kind of roof are they comparing it to? A mini-mansion with terra-cotta shingles or asphalt shingles?

A quick google search and home advisor suggests it’s about half the price.
Western online review systems and algorithmic pricing meets very isolated traditional society. The corporation's understanding of human psychology wins out over the villagers and the villagers are colonised, moving their norms to more closely match Western expectations. Software continues to eat the world.
Streaming Large Zip Files in Rails
Very proud :) I think more local government means people can have more control over the things that they value. People can actually influence the priorities of government nearby; far away governments don't tend to reflect my priorities.
Many IMO geometry problems involves proving things like:

these three points are on one line

these three lines intersect at one point

these two lines are parallel

these four points are on a circle

these two angles are equal

etc ...

There are things that absolutely can be done via coordinates, if one can brute force large algebraic expressions.
How is this not a Guy Ritchie movie?
Cheaper than traditional roof plus solar.
> Delphi is not Go, you can declare variables at the point of use nowadays.

Oh, it seems they introduced it in 2018, some time after I quit my 6-months Delphi stint. http://blog.marcocantu.com/blog/2018-october-inline-variable...

So, given the age of Delphi (and Pascal!), Go still has plenty of time to be quicker. Not sure what's missing from it, though.

Of course, I'm sure you knew all of that, and could have just mentioned it. But maybe you just want to convince people of unrealistic propositions, and claim that some obscure technologies were more practical than they really are.

> Just like C used to declare variables until C99.

1. C99 was 20 years ago, 19 years before Delphi.

2. What you say is wrong. You could declare variables at the start of any block since forever (I think it's standardized in C89).

3. What matters is compilers in practice, and I'm pretty sure they allowed you to declare variables anywhere, and also "for (int i..." (which is C99) since forever (as an extension).

> write only code bases

such as C++ code bases?

> regular rotating team members

I've just never seen that not becoming a mess

> A workaround done today is a security exploit waiting to happen tomorrow.

I'm still waiting for my code review. https://news.ycombinator.com/item?id=21290314 .
For a start, where are my terrible workarounds?
The applications that speak to me most are those involving predicting properties of molecules, and also properties of biochemical networks, though I appreciate that’s not what many others would find compelling! Sorry not to be of more help.
The typical problem with microkernels is poor backwards compatibility, mainly due to POSIX. If you add POSIX compatibility, you don't gain any isolation, performance or security benefits of microkernels, and changing your thinking and your programs to gain those benefits requires significant work when they're written against the POSIX API.

Building them that way from scratch is pretty much just as easy as writing programs in UNIX, modulo the lack of tooling that is mostly POSIX-based.
Wonder what build quality is like with this. Is Tesla starting to get this kind of product issue sorted?
The send-to-kindle email is a nice feature which I wish other e-readers supported. The only other one I know of which supports it is PocketBook. https://www.mobileread.com/forums/showthread.php?t=247639

I've worked on a service which converts web articles and sends them to the Kindle using Amazon's send-to-kindle feature. If anyone wants to try it: https://pushtokindle.fivefilters.org
Why? Because Breitbart is more legitimate than CNN. Breitbart focuses on facts and logic, rather than emotions and propaganda. This is coming from a former "liberal" that had to walk away because of the far-left socialist cult that the left has now become.

A Harvard study showed that over 93% of news about Trump by the MSM is negative (ABC, NBC, MSNBC, CNN, etc) [https://www.washingtonexaminer.com/byron-york-harvard-study-...]. That is unheard of, even in tyrannical regimes that have state-controlled media, like China and Russia. They at least pretend to have political opposition by the elites, to appease the masses.

Furthermore, a PEW research poll dove deep into the political divide in the country. When they looked at the average left-leaning person and average right-leaning person, what they found is that the left has moved FAR left on average, while the right has only moved slightly further to the right [http://assets.pewresearch.org/wp-content/uploads/sites/5/201...].

What we are seeing in today's climate is that JFK's political agenda would be considered far right, rather than traditionally democratic. Such as:

1) Strong foreign policy based on American national interests and values ("America First" from Trump, also seen with JFK)

2) Pro skilled immigration, strong border protection for illegal aliens (Obama, Clinton, Trump)

3) Common-sense progressive policies on domestic social issues

If you need anymore convincing, then just check out the Project Veritas bombshell on CNN. Jeff Zucker explicitly told the world what we already implicitly knew: that CNN is an anti-Trump propaganda machine, not a news organization.

TL;DR

1. Breitbart is less radical than the MSM, especially CNN, which all have a spot on Facebook News

2. Breitbart may colloquially seem radical because of how far-left the average liberal has become (see Pew research), but perception is not reality.

3. Breitbart is mainstream conservative. Facebook's mission statement is to be a platform "for all ideas", per Zuckerburg, We live in America, and Breitbart is extremely popular - it is consistently ranked #1 for political media.

4. Unlike CNN and their recent expose by Project Veritas, Breitbart does not peddle propaganda. They deliver news - which is why I shut off the MSM after the 2016 election when they were clearly shilling for Clinton.

5. Due to #1, #2, #3, and #4 it deserves to be on Facebook, the platform for all ideas.
If you're interested in the main book on Metamath, it is "Metamath: A Computer Language for Mathematical Proofs" by Norman Megill & David A. Wheeler. You can get the hardcover here: http://www.lulu.com/shop/norman-megill-and-david-a-wheeler/m...

Full disclosure: I'm one of the co-authors.
NewsGuard gave Breitbart green rating this year, citing that it regularly issues corrections. Facebook's choice of news sources probably works on the same guidelines.

Of course, the good sources are the ones that do not publish errors or misinformation at all in the first place. But if that is used as the criteria, then most of the mainstream media would not even be legitimate candidate.
Does your roof generate electricity though? A solar roof is a roof + solar panels.
I have a Energy Sistem with Android 4.3. It's OK but I found apps run slowly and some apps require a newer version of Android.

It has been replaced with a jalibroken 2019 Kindle running Koreader. This is now the best ereader I have owned. Reads many formats, lots of customisation and has a Wallabag client for reading long form web articles.

I have paired this with Calibre on my laptop for managing my library.
I ran many different websites. I just enjoy development and new ideas. My best profitable website is a Gematria Calculator https://www.germatrix.org which I also have in Hebrew https://www.gimatria.co.il/. But the main idea is combining many many different ideas and website, like https://www.understandmydreams.com (also in Hebrew https://he.understandmydreams.com) and more... you can see here https://www.c2kb.com
The opportunity to reply is only invoked after an increasing amount of time, which I think is dependent on the depth of the conversation. In other words, the further into a conversation you are, the more time you are forced to take to think on the other person's response.
How many kw of solar did you add and what did that cost on top of the 8k roof?
quite a few assumptions here.

a) the shaking feature turns on even if i don't type anything just by the virtue of the phone being active (shaking can mean 'undo', not just 'undo typing')

b) i have it mounted on a quadlock on my handle bar, no holding whatsoever.

c) i take the risk of asking for trouble while cycling on a cycling path with no other cyclists near me (within, say, 300m). I am not cycling between 2 double decker buses while texting...
Who do you sympathize with in that comic?
Say you are a vp/director at a fortune 500 company, and you need to create a complex platform for users. It's not the primary use, but to be competitive you must add this hardware/software.

In-house means hiring the best of best and learning from scratch.

Suppliers already make this for other companies but suppliers do exactly what you claim.

What is best?

The longer I live, I'm inclined to believe that from scratch with best of best engineers is best. But I worry about gaps in security and tech debt.
The original AVX instructions didn't have all the integer operations that the most modern chips have. It might have been haswell that added small integers over the 256 bit lane width.
I put all my books on my Kindle through Calibre - couldn't care less about the format.
> Cheaper than traditional roof plus solar.

I find that really hard to believe. A new roof runs between 5-10k, and a 3kw solar system can be had for ~5k + labor. Even if they are including a power wall in that price it's still pretty steep.

Edit: It looks like they are actually quoting a 10kw system with 3 power walls (~40kwH storage) included, which at that point sounds about right at $40k. Still far beyond the reach of anyone but the wealthy, but not necessarily a bad deal if you're in the market.
Do you ever run into temperature issues with the device?
Or just apply for a work-based permanent immigration permit, rather than jumping through hoops for a temp worker visa.

https://travel.state.gov/content/travel/en/us-visas/immigrat...
Actually the mysteries are deeper. This one can't explain "Delayed Choice Quantum Erasure" experiments, which is also a double slit experiment. But the arrangement allows you to detect the path AFTER the photon has traveled through one of the slits and hit the surface. Now after the photon has hit the surface you can decide whether to detect its path or not. A delayed choice. But based on your later choice the interference pattern of the photon from a time from the past appears, or doesn't.

This is the main reason why some scientists come up with many world interpretation. This article doesn't even touch the surface of it.

https://en.wikipedia.org/wiki/Delayed-choice_quantum_eraser
UFO Research Group Signs Contract with U.S. Army to Develop Far-Future Tech
Thanks for sharing this!

Any tech that you think shows the most promise?
For more context on the Polis platform, watch "Clojure on the cyberpunk frontier of democracy" https://www.youtube.com/watch?v=2tBVMAm0-00
Thank you very much!

Exciting read!
I do not get it. Are you saying it looks 90s? Are you saying the content is great? "it captures the promise of the web and accessible..." Do you mean to say he is using alt tabs and accessibility options all over (I did not see that yet). He has a lot of js scripts... but it sure looks 90s.
LastPass Linked Personal Account Data “Exported” to Enterprise Account Folders
“Project Amelia” Pittsburgh's AI Immersive Theatre
I'm curious if, and exactly when, this might lead to sweet consulting gigs for the then elderly, computer savvy generation that I consider myself part of, similar to old COBOL devs called back from retirement.

It seems that the ressources for people who actually want to learn computers are excellent and are getting better all the time, so maybe there will always be enough well trained people coming up to solve all problems.
I wonder where they're getting their average price from, because I've never heard of a new roof and solar panel installation being that expensive.

EDIT: They're comparing it to concrete roof tiles, which a quick search say that they last for ~50 years, twice as long as the warranty for the Tesla solar roof.

https://www.tesla.com/solarroof/design
Texas would need to take their share of the federal debt as well.
Sandstorm has had a pretty good track record [1]. Then again, it was designed and run by capability security folks, who take security pretty seriously.

[1] https://sandstorm.io/
I'm out of the dating game (thank god) but I noticed dating apps completely ruined dating in all other areas as well.

This is something both my male and female associates complain about.
Labor is a significant part of the cost, both for a roof and for a solar installation. I assume only doing it once is one of the gains in cost-efficiency.
Company Is Replacing Single-Use Plastics with Banana Leaves
This seems impossible for current ML architectures, but I want to be proven wrong. If the AI can't query the internet, does it have a limit of the model size and the computation capability? I feel like letting an AI use megawatts of power isn't quite fair.
How does the offense-defense balance scale?
Any way to bypass the paywall? I really wanna read this one
> DOES THE CORPORATE FIREWALL BLOCK JAVASCRIPT?

Maybe a silly question, but can this still happen with HTTPS? Or is this referring to a corporate proxy?
The Microsoft Surface Laptop 3 (15-Inch) Review: AMD Ryzen Surface Edition
> What kind of roof are they comparing it to?

“2,000 ft² roof with 10kW solar - Concrete tile roof with add-on solar panels“
https://www.tesla.com/solarroof/design
2 questions:
- If you opt-out of the powerwalls can the system switch to the regular grid when needed?
- Can you sell energy back to the regular grid in case you produce more than you need?
Perhaps brute force is the wrong term, but at least they would require a chain of transformations that a human could easily mess up. Rearranging, substituting, etc. A machine wouldn't get that wrong ever, whereas a human would have wasted a fair bit of time.

Well I did miss the IMO team narrowly, but I didn't think those questions were all that different in nature. Quirky questions you'd never see in school, but solvable with school tools. And I'm pretty sure that while you didn't NEED calc and higher subjects, having studied them would give you some edge.
What point are you trying to make? The employees make up the company.
Or not enough since the job was not done
There about 10% away from being a swing state.