skysight-inc/HackerNews huggingface dataset:
Yeah, this is true. Apple is now desperately trying to reduce the dependency on China, but this will take at least several years which is more than enough to damage its reputation. Building supply chain that spans over an entire country is still a non-trivial problem even though Samsung did most of the hard works for Apple.

And worse, even this is still a very optimistic projection given that it might be impossible at all. Samsung was lucky in that they were still producing majority of their semiconductors in South Korea, of course, which makes them still important enough to China. I don't know if Apple holds any thing comparable as a negotiation card.
Why not use formally-verified software?
Top Non-Tech Remote Jobs in October 2019
Just watching their promo video about the Astropad Studio on their website, what I see is the latency for drawing is annoyingly bad (and they show it exactly when they're talking about "lightning fast speed" :O )

https://vimeo.com/198755916

But part of the problem is probably the drawing software too, because even native drawing has different latency between drawing apps:

https://www.youtube.com/watch?v=zNbvYaO0ZZ0

It's not an easy problem because even 1 ms latency is noticeable in drawing as Microsoft research showed:

https://www.youtube.com/watch?v=vOvQCPLkPt4
They're known to connect to unprotected WiFi aitomatically, there's almost no escape
In the same vein as the surprisingly funny classic Cloud-to-Butt extension, which I am surprised to find is over 5 years old now: https://theawesomer.com/cloud-to-butt/276065/
But is Scumm on ARM just a thin layer converting Scumm "bytecode" to ARM machine code? Of course not, it is a full game engine just like on x86.

A true Scumm emulator would translate Scumm script to another game engine like SGI (Sierras game engine), but of course due to the extremely high level nature of these game scripting engines finding direct translations would be near impossible.
I don't think it's incompatible with their policies and principles, but it is incompatible with their current funding sources (coal, oil, Russia, Saudi) and voting base (old people who will die relatively soon soon).

Competition from China and EU showing it's possible and profitable and voters dying out might flip them surprisingly quickly.
> "I didn't hesitate to give the report full marks - even though I didn't read it to the very end because I thought I should leave some part of the paper unheated, in case the media would somehow find this and take a picture."

This guy gets social media.
To me this just raises more questions like "Why does the order of the files even matter?", and "If it does why wouldn't you make sure it was sorted, or better yet sort it in some reliable fashion?".
> Scripting languages are by definition interpreted.

I don't think this is correct. Scripting aren't rigorously defined, of course, but it would be reasonable to say they are defined by practice (i.e. a scripting language is practical for scripting).

Most compiled languages knock themselves out of contention in this definition because the startup and/or compile times are too long to be practical. But I've used luaJit in scripting contexts before, so that at least muddies the waters. Also common lisp (a variant that was always compiled).
Really good piece, thanks for sharing
It's always interesting to see Hayek's words, followed by a timestamp. Similar, although less recent at nearly 25 years ago, is this Peter Thiel video discussing the illusion of multiculturalism in 1996 https://youtu.be/qTPOBEdc7OI?t=722.

The degree to which radically far left ideology is taught in university is one of the most prevalent contributors to the current political schism. America has been primarily liberal since its inception, but there has been this slow creep of an entirely new, wholly incompatible, and entirely illiberal moral/economic framework.

The modern product of the American university is generally skeptical of anything resembling a meritocracy, instead believing that the major forces that will dictate the outcomes one will receive are mostly divorced from their actions, and instead to be determined by the factions they belong to. Most notably, one's racial and gender identity are brought to the foreground as bar none the primary contributors to the outcomes an individual will encounter. Not too far behind is the usual suspect of economic class, where "boomers" and "landlords" are the new bourgeois, and debt-laden millennial college graduate is the proletariat class. The degree to which people are skeptical of markets and a market value associated with their actions is so immense, that the idea that someone with a CS degree having a vastly greater market value than an individual with a degree in Critical Race theory is simply met with derision akin to "but muh STEM."
Setup White-Label Name Servers Using AWS Route 53
Writing code in research is quite different from writing code in industry. For starters, in research, absolutely no one will read your code. Not your boss, not your peer reviewers, not your colleagues, not your tech-savvy users. No one. They just care about getting the right results and will complain if they don't, which most of the time steers you into producing correct code.

Also, most programs usually have a maintainer team that's exactly one (1) person strong, and that person is usually an underpaid grad student or postdoc with a billion other tasks at hand and not much time left for that issue you opened three months ago.

On the other hand, hey, you never have to fear the dreaded 'code review', so it's not all bad.
Chinese app on Xi's ideology allows data access to 100M users' phones
Computers Don't Argue (1977)
I don't like it for a few reasons;

1. It looks like you are going to fight "ringing" with lack of rigidity.

2. Its a bowden extruder... which I suppose is a necessity due to the lack of structure. Still I would rather have direct drive on every machine.

3. It's very expensive. You can buy an Ender for $200 or less on sale... or around $230 normal price. Upgrade the board to a 32bit Bigtreetech for $60 with Trinamic drivers... plug and play.

4. Most people find they want a bigger printer... not smaller.

This is my initial reaction. I am always looking for innovation in this space and most of it is happening in the "industrial" realm. For example, I wish they would make an SLS machine or a "beginner" industrial machine.

The companies like Creality are just dominating everything.

We need prosumer/industrial machines that have features you can't get with $750 dollar machine.
Tried it out and its like night and day! Thanks man
Usually because the people capable of writing formally-verified software do not understand the specific subject area, and the people that understand the subject area are not generally capable of writing formally-verified software.
That's a pretty funny/clever hack (took me a minute to figure out you're Zooming with yourself). You can also try AirServer (similar to Reflector). There's a free trial.
https://www.airserver.com

I use it mainly for audio streaming from my phone to my MacMini / Stereo, and sometimes to play
Alto's Adventure on a projector.

Or, if your Mac is compatible, just try Sidecar. There's a hack to make it work on older Macs, but I think officially it's tied to the ones that have hardware HEVC/h.265 support.
http://osxdaily.com/2019/10/11/sidecar-compatible-mac-ipad-l...
"And before you even begin to complain about it being "too slow", "slower than Chrome"... "

That was undeniably true, though ages ago. Probably those thinking along these lines didn't run Firefox for some time.

A ton of code has changed in the two products and since about two years Firefox has filled the gap then surpassed Chrome.
And BTW even if Firefox wasn't faster than Chrome (it is), I would happily trade say a 20% loss in speed with a close to 100% gain in privacy.
Are they locked down? The article links to the paper [0], which has two zip files to download, first of which is the code, including an explanation of the corrections made [1].

[0] https://pubs.acs.org/doi/10.1021/acs.orglett.9b03216

[1] https://pubs.acs.org/doi/suppl/10.1021/acs.orglett.9b03216/s...
Mozilla has a lot of employees focused on making a libre browser. Instead of wasting time on the Gecko sinking ship, they should really be maintaining a fork of Chromium without the cancer. The world isn't any better off because you can't get over a massive sunk cost. What the world needs is a free Chromium fork (with all the Mozilla integrations like sync and the addons) that is professionally maintained for widespread use.
Any good websites to try this on?
> Who said they aren't needed?

The first good implementation I'm aware of is Egil Möller's from 2003 (https://srfi.schemers.org/srfi-49/srfi-49.html). My independently researched prediction in 2017 was that no one will ever discover a place where parens or other visible syntax is needed. That sets up an easy proof by contradiction (and I've built a database of over 10k languages so far, looking for a single scenario where you would need them, and haven't found one yet). Here are 19 demo languages covering lots of scenarios demonstrating utility without parens (https://github.com/treenotation/jtree/tree/master/langs). A glaring hole though, now that I think about it, is that I don't have a good Lisp-like Tree Language. I think a Bel Tree Language would be an excellent example project (and I'm happy to assist anyone who wants to make an attempt, and if no one has the bandwidth and it's not done by next year perhaps I'll find the time to give it a go).

> They are the structure that supports Lisp's simplicity and consistency, which is what all the good things come from.

I agree with this, but would say they are "one" structure, not "the", and that there are other options (I have one idea in tree notation, but not ruling out that there are more, perhaps better ones).

> If you take them out, it gets complicated and isn't worth it.

I agree with this, but think there is a future tipping point related to tooling. Tree Notation was quite terrible 2 years ago, but now with type checking, syntax highlighting, autocomplete, I hate to use Lisp and other languages (everything feels unfinished, because I know the syntax characters can be removed).

I think we'll hit a tipping point where the tooling for Lisp without parens is good enough that the benefits of dropping them make dropping them a no-brainer. Could I be wrong? Sure, it's a forecast/prediction. But I want to encourage people to invent new alternatives, to try everything under the sun, and not to settle that they are somehow needed. We can make it better.
Isn’t this a popular anime with a ninja theme? Why would that be hilarious?
I suppose there's a price at which you'd be fine walking away with for two months work? If their offer is below that magical number, you could instead offer them to invest in a seed round or offer advisor shares.
The articles mostly just repeat the same 3 complaints.

1) They employ a lot of people for doing shitty work. But they're not making those jobs worse, the jobs just suck, and the same jobs elsewhere are just as bad and often pays less. But people don't really want to address the societal root cause, and frown upon talks of increasing minimum wage, setting worker rights regulations, and promoting unionization. So I just see Amazon as a scapegoat for the fact no one really cares.

2) They struggle with quality control, which I've never particularly experienced. And I feel this is true of all big platforms in the internet era. Also, it's normal at their scale, even if only 1% of products have quality issues, that's like millions of orders to write news about. Maybe my local store also has about 1% of issues, but it just doesn't make headlines. The flip side is Amazon has awesome support and return policies.

3) They're killing local stores. I guess I just see that as healthy competition. Amazon just offers a really convenient service. I don't have to leave my house to buy stuff! That's awesome. Also, I see it more as internet shopping is killing local stores. If Amazon goes bust, it'll be some other online store. Driving your car to buy goods just no longer makes sense with the internet in my opinion, unless its goods you have to try out or inspect first. Lastly, I find the real local outlets, like straight from farms markets, hand made artisan shops etc. are competing quite well and not dying. Etsy is doing great for example. So it's more the non competitive middleman that are dying, and that's just healthy competition in my mind. They have to offer a better middleman service, or wait for Amazon to get lazy and stop offering a good service, which they haven't yet.
Apple's list of 235 apps that are incompatible with macOS Catalina
This is an advertisement and I don't think there is anything exceptional here.
In Macri's “democratic” Argentina tweets can get you arrested. (Spanish)
You'd be surprised. The new APFS.Framework appears to be all C for instance.
Once every two months I'll vote 3-5 times in 'new'.
I guess switching to a bowden extruder let them cut a ton of costs. Can't wait to see how it prints compared to the mk3.

The real test will be comparing it to the Ender 3, which seems to be the form factor/market the mini is trying to go after. Even if the mini is 150 bucks more than the Ender 3, if it prints even slightly as reliably as the MK3 then the Ender 3 may be done for.

With low cost printers like the Ender 3/Maker Select/etc, after the first 50-200 hours of printing, you can end up spending more time on printer maintenance than printing. There's also small problems that can happen that for non-technical users would be the end of their adventure into 3D printing. That is easily the greatest pain point at the Ender 3's price point.
You say you were just about to announce it, so doesn't that mean nobody saw your work yet? If so it sounds like it doesn't fit the definition of sherlocking, just an unfortunate coincidence.
I don’t think anyone is willing to pay for it nowadays, because now people think that you should be obligated to produce content to educate him and entertain him. However, most of the other parties are not willing to pay if they donate freely. Though someone's class is paid, People want to say that there are other free podcasts...

So it’s really hard for the average person to charge before becoming a celebrity.
I don't know any example where a legislation (especially which levied tax) was rolled back because the argument no longer held true. And hence my skepticism of "carbon taxes".

Additionally, I do not see anyone arguing a moderate position on legislation, which logically follows, considering the data may be wrong. Action based on potentially incorrect data is as big a problem as much as the null hypothesis you define. I am hard pressed to see a legislation that talks about reducing materialistic consumption, or living frugal, but we are very interested in increasing taxes. No?
http://www.realultimatepower.net/index4.htm
Summary: infosec guy gets arrested because government didn't like him! If you know Python you probably are a criminal...
Non-mobile: https://en.wikipedia.org/wiki/On_Bullshit
IncompatibleAppsList.plist – Steve Moser
Python vs. Golang Port Scanners
Remember when the US entertainment industry was considered part of American soft power? I guess that is now Chinese soft power?
Yeah, be prepared to be treated like a paranoid schizophrenic when you do that.

You're going to stop having conversations, or will you be recording them all?

Not to say you shouldn't, but it isn't easy and requires a lot of consideration, energy and discipline.

The digital tools are definitely NOT ready, there's a few gigabytes of raw mathematical data to be processed by humans into algorithms before we get there.
So, like 27 SJWs out of how many people actually partitipating in the GNU movement?

Like my grand-father would say, "storm in a glass of water".
Yeah, only thing I can think of is they need users to manually opt in to making those donations, and forcing users to remember and use an odd URL is their chosen way of doing that. It's weird, but for a good cause, so whatever I suppose.
Love this distinction. Makes a lot of sense, and is probably a key to happiness, to both realize which tribe you're in, and whether you're trying to argue with the tribe with another set of principles.
Its amazing what unfettered socialism can lead to.
A Butt-to-Butt extension? What's the point of that?
On my 2013 Macbook Pro, using Ruby 2.6.5 and Python 3.7.4, I wrote two parsers for a 19Mb Apache log file - logs1.txt. Code for each language:

Ruby

IO.foreach('logs1.txt') {|x| puts x if /\b\w{15}\b/.match? x }

Python

with open('logs1.txt', 'r') as fh:
for line in fh:
if re.search(r'\b\w{15}\b', line): print(line, end='')

Ruby's best was 3.3 seconds whilst Python's was 3.9 seconds. If you factor-out Ruby taking 100ms longer than Python to startup Ruby is 18% faster than Python for string parsing. Results probably differ for Python's numeric performance but that depends whether you're including C-based third party libs such as numpy.
For books, there are still big chains like Barnes & Noble, Booksamillion, etc.

https://www.barnesandnoble.com/

https://www.booksamillion.com/

And speciality ones like Alibris, AbeBooks, etc.

https://www.abebooks.com/

https://www.alibris.com/

Plenty of options besides Amazon.
It's often said that if the writing is dense, the writer probably doesn't understand what they are saying. Being in academia for 20 years now this seems spot-on.
I thought the relationship between Epstein and Gates was meant to be mostly bullshit, with Epstein harassing Bill Gates on a handful of occasions then bragging to other people that he was friends with Bill.

That's the story I heard a few weeks ago anyway.
Right. It should be trivial when instituting a change that would trigger an event like this to take inventory that the required instances are available.
I wonder how much of a factor the pace car drawing the optimal path on the street with a laser was. In races you might wobble a bit on the road and add extra steps to your run. In a pack side-pathing is inevitable. Not everyone can be the optimal path.
I think the market for this one will be difficult, just because you can get a 3D printer (read: Ender) for basically half the price...

...with this being said, though - I'm happy to see a "entry-level" Prusa. One thing that lags the cheap printers are security measurements. I guess no one is keen on burning down their house, just because this giant hotglue on rails went rogue.

On their website, they state that they are:

- monitoring FAN RPM

- Have self diagnostic

- Have a high quality PSU

- and, even more important, use thermistors.

Taking all this into account, this might justify the price bump, if you aren't able to add all this to, let's say, your Ender or any other printer by yourself.
It's not weird that climate change solutions are left wing if the right wing is still in denial.

I personally think a carbon fee is the best solution but I had to go back and retype tax as fee as that well has been so thoroughly poisoned by people that the average Republican voter think the free market solution is actually a cunning plan to introduce communism.
The user doesn't get the feeling of having done a good thing if they don't actively choose to use Smile instead of shopping on Amazon as usual.
There are digital versions of USD and EUR eg. Tether and others.
Great recommendation, thanks!
A Photo's Hidden 'Exif' Data Exposes Your Personal Information
Let's not do this - not only is this about to tinder, but these discussions end up being nonsense soaked in personal frustrations and biases.
This seems like a DSL masking itself as a programming language. Will this axiomatic approach allow declaration of domain specific operators like credit/debit? Is this is an attempt to make application development axiomatic?
For all its benefits, Git has plenty of limitations that don't exist in other systems.
This made my day.
On my startup ideas TODO list there is one PredictiveBullshitMeter that one day will warn you before clicking on a link if the target is full of bullshit. My motivation was terrible news article that appear regularly on Indian newspaper websites where they rehash the same pile of junk again and again to make it look like a full page length article/report.
I was hoping for a quick number like a ratio of facts vs garbage but even before clicking on a link. I wanted my computer to do the job of prefetching the content and parsing it for facts.
Anyways thanks for making this thing. Feels nice to know there are other people who suffer from the same pain :-) but thankfully are more proactive to do something about it.
I am not a Chrome user, but my users are. Good luck with your project getting traction when you are censored from distributing it to 70% of the market.

It's actually baffling how people are defending Google and saying it does not have a monopoly in the browser market. Just imagine Microsoft banning your software for arbitrary reasons from being installed on Windows, and then being told that there are still other operating systems on the market.
AACS Encryption Key Controversy
I'd like to enter a URL or copy/paste text into a textarea and see the result.

IIRC bookmarklets are terribly insecure (I'd have to carefully examine the source code, for example, before running this on my gmail.com).
It's a term for a simpler era where these divides made sense.

I've always understood it to mean interpreted and from a quick google search there are at least a sizeable number of people who agree.

I think now that there are a lot of high level compiled languages, it makes less sense.
As kids we obviously wanted to be ninjas, which was mostly about fighting using exotic weapons and sneaking around. We learned the ropes from VHS rentals and pirated copies of the Last Ninja games on C64.

Secret messages mostly belonged to different universes, where we wanted to be secret agents or detectives. We sent encoded messages written in invisible ink, usually caesar cipher variants, written using filtered lemon juice. Milk might also have been involved, as I distinctly recall heating up and decoding really smelly paper notes.
The GNU and stallman are political. "Removing politics" from software would require a definitive answer to GPL or MIT being a better license.
Unless you use Transferwise, Revolut, Monzo or similar.
>Would be cool if it suggested alternatives like Grammarly does.

sounds kind of counter-productive. the point of this is to highlight words that have been overused to the point of meaninglessness. If you're trying to use it to improve your own writing, each red "bullshit" is an opportunity to stop and think about what you really mean, not an opportunity to use a different fancy-sounding word that's been suggested by some automated tool.
> fast forward a decade later and I'm reading books on functional and logical languages for work

What work has you doing that?
https://twitter.com/nickwiger/status/1183086808046829568
The only reason that this was resolved was because ublock is a popular project. The other projects linked there did not have as much luck.

Just the fact that they reply in this way on issues is disgusting:

https://github.com/uBlockOrigin/uBlock-issues/issues/745#iss...

https://github.com/dessant/search-by-image/issues/57#issueco...
Full-time developers don't (to a first approximation) use formal verification, much less research scientists.
Hasn't online dating always been that way?
I haven’t bought a smart tv yet, either; but, I think this is a perfect usecase for a pihole, isn’t it?
If you have a 512mb SD card, you should probably not use it anymore. Even if you don't need the storage.
It’s a gold rush town. People put up with a lot when there’s billions to be made.
Curious how the results would differ for Bumble...?
even less, I posted it earlier if you extend in More :)