skysight-inc/HackerNews huggingface dataset:
You don't even need to be a math grad for it to be natural. It's just a natural way to perform set operations, pretty much everybody who knows a little bit of math is familiar with it. End even if you are not, you need like 5-10 minutes to learn it, and then maybe a couple of weeks of using it to become really fluent.

And I feel like "is not ASCII" is pretty silly complaint in 2020 anyways. First of, if these characters would be widely used in 1980, they would be on every keyboard today, same as it was on keyboards for APL. Second, you don't really have them to be literally ∀ and ∃, it could have been &A and &E for example, and then every other IDE, including some fancy product of JetBrains, vim & emacs and most likely even your mysql-cli (at least some wrapper around it written in Python) would turn them into pretty ∀ and ∃ on your screen, same as some editors do for λ.

And third, which is a personal pet peeve of mine (so I probably should keep my mouth shut about that, but I cannot): I really, really wish we'd stop with all this ASCII bullshit already. There's nothing special about ASCII except it's 7-bit. And that's outdated.

It may come as a shock to your average American, but most of the texts in the world are not ASCII, just deal with it. If your product doesn't support that, it probably means it's broken, outdated and will eventually lose to a competition, so you don't do yourself a favour forgetting about that.

And with regards to input, there's nothing complicated about typing ∀ (or anything else like that) on an ordinary US-layout keyboard. For me ∀ is 3 very fluent keystrokes. I use XCompose, which is a blessing, but other operating systems have similar software with similar capabilities as well. I understand that this is not something most people are familiar with, but that's just bad and shouldn't be respected: using a mouse also wasn't familiar to every single PC-user out there. With demand comes the supply.

So I really dream about the day when typing nice, clear syntax like ∀ instead of awkward Perl-like character sequences (to read which you need mentally traumatizing professional deformation and/or an IDE post-processor) becomes the norm of programming.
Sure you have the smaller distribution size. However you also have drawbacks. As you mentioned Chrome must be installed. Then you can not guarantee the Chrome version like this.. maybe the version the user has breaks your app. Also you cannot use the "native" menu and other windowing features as you can with electron. I am not really convinced by the "Lorca concept".
Hacking iOS Simulator with simctl and dynamic libraries
Ooo, that's no good. I'm surprised that wasn't handled better. At least with a simple page explaining what's up.
Yes, it is a losing strategy because this is a rearguard action. There are only losing strategies, nothing will turn Mozilla around to be some kind of powerhouse besides what it already is. And that's fine. It doesn't need to be the next singing, dancing platform with bells and whistles. It's a tool. It should do one thing and do that one thing well.

FireFox is not a failing product, it is the only product they have that is not failing and pursuing shiny and new stuff that nobody needs (despite the corpspeak there) is only going to accelerate that towards becoming the truth.

Mozilla is a one-trick pony (well, they were a two trick pony but then they decided to murder Thunderbird and then retracted it or whatever they did, it also confused the hell out of me when they pulled that one). And they now have to accept that, deal with it and focus on being the very best one trick pony they can be.
I viewed what might be the same course online. It’s a great class: https://oyc.yale.edu/astronomy/astr-160
Mozilla's mission is to make the internet a better place for everybody. Having an open web browser is a part of that, but nowhere near sufficient to accomplish the goal. The "vanity ambitions" you are talking about are the things that actually make a long-term difference in people's lives. Having a great competitive browser with a silo'd, broken up Internet is not a desirable end-state.
> Economic conditions resulting from the global pandemic have significantly impacted our revenue

This is baffling. How? You make a web technology and everyone is stuck at home.
Not surprised one bit! Would you happen to have a link to this experiment?
Trump's WeChat ban threatens Apple's smartphone sales in China
Not sure if this is a classic procrastination joke or a promise, but either way, please do :)
Misses the point. Sure, we have alternatives, and always have had alternatives to SQL. But those don't address the bazillions of lines of SQL already running almost every important business system. SQL won't just go away because we can point out it's flaws or come up with something we think works better.
How to Manifest Financial Abundance
Yes, and those leading the government are elected by the people every few years.
Show HN: Discoverify – A Spotify-based music discovery tool
Having someone responsible for the dev environment and tools sounds great if your team and organization has scaled enough to allow this.

Having one person be the point person for refactoring, tech debt and code review on the other hand seems like a bad idea - these should be every developer's responsibilities. This sounds like a pretty silly team overall - all the team members write quick, messy code and then one person is on "cleanup crew" fixing bugs and improving design?

Talk about a way to brew up some tension and misalignment on a team. "Hey George... I know you are about to open a 2nd pull request to add additional features to your work, but I just refactored your whole initial implementation, and now there are 30 merge conflicts..."

We always talk about the bus rule at work - if someone got hit by a bus tonight, would the team be able to operate tomorrow? If we had "refactor guy" on our team though, I probably would have to resist not giving them a gentle nudge forward every time we wait to cross the street together.
Anti-cheating libraries used in games seem to be the primary culprits, and they're doing it this way because their purpose is to break things while resisting the user's attempts to make things work nicely.
I actually really like this definition of maturity.
AFAIK it's a forked compiler and already a number of language versions behind the mainline one.
Language Model Implementation (Bigram Model)
This works well if the laptop is front and center, but I actually have my laptop in a stand which holds it vertically to save desk space. I suppose the laptop could sit in my stand at 90 degrees but that might look a little strange! There are plenty of desk laptop stands though, so I am sure options exist.
I think of extensions as a way to adapt the web to my preferences. Sane defaults are not that universal and it's good to harness the power of the web to make everyone happy.
Firefox has been the default browser on many linux distros.
:) yes
VCs Judge Your Startup on Zoom
Agree with you! and also having unnecessary delegation for simple things!
So that's why there is Kiel. Any review/issue/PR are welcome.
Are we? There are and have been plenty of languages that target JavaScript for many years now. What does webasm actually enable that wasn't possible before?
Would defiantly move from proton to Mozilla’s VPN the minute they make it available in Europe. Would love to cancel my iCloud storage too, if Mozilla offered an hosted NextCloud or something similar.
Let's get cable internet regulated like a utility first. Then afterwards we can talk about competing services on the internet.

Anti-competitive behavior should be addressed but let's get our priorities straight.
Snapchat – The Rise and Fall and Rise Again
People complaining about that are generally talking about the churn in front end web frameworks and JavaScript development in general.

None of that eas necessary for WebAssembly to be developed. Unless you mean that the annoyance of the constantly changing JS ecosystem motivated people to push for it.
After hearing how their corporation is run and what their execs spend on flights I'm not convinced they deserve it.

Would rather they fall and a Phoenix rises out of the ashes for a second time.
It was definitely an “I think that would be cool” type of thing.

Office design wasn’t my passion by any means, and I don’t think it is now in the specific sense, but I do have a passion for curating and organizing the largest selection of office design imagery and information.
Kiel ist eine schöne stadt und die gefällt mir!
I think this is a reasonable take and I'm sure the government is taking into account.
It is mentioned in the link, but I just want to emphasize that Video Speed Controller [1] has been amazing for me. Unfortunately, it didn't work as well on Firefox (stuttering on higher speeds above 2X) when I tried it a year ago. Which means I'm stuck with chrome for at least a decent amount of my activity.

[1] https://chrome.google.com/webstore/detail/video-speed-contro...
Same basic idea. We'd exercise the generators weekly/bi-weekly, depending on the site and configuration.

Once a quarter we'd do a live load transfer, and watch all the PDUs and UPS systems do their thing. Those could be stressful...
Can you send me an invitation to pachicodev at gmail dot com?
I take it you refer to "Google started out as an almost benevolent index of the world wide web, showing users ten blue, unbiased links for whatever users were searching for."

Leaving aside whether it's true or not, this could be interpreted more charitably. Search results are necessarily biased to provide relevant links, based on some definition of "relevant". We can interpret "unbiased" in this context to mean that content providers cannot introduce "bad" bias (e.g. by misrepresenting their actual content, by paying for ads to indirectly boost placement, or directly paying for placement, etc.).
It is both not platform-independent, and not stable. That's not to say that this means it's bad! It was just not designed for that kind of purpose whatsoever.
One thing I have experienced is that often times developers are coming from a world of object oriented programming, or just coming from a JavaScript world.

Then often the storage and retrieval of data is an after thought during the development of an application. This is definitely true for CRUD apps.
Then maybe the person used a framework to handle database interactions and now after a year or so, it’s not scaling well because the data access was not really given priority during development. So then the problem is the database engine or the syntax instead of proper design and planning.

That’s not to say there are no drawbacks to writing most dialects of SQL. I just believe most of the hate over SQL is coming from a procedural mindset to a relational one.
The minimum price to be on ChowNow is $99/mo on a 2 year plan. It's not free.
> "Recognizing that the old model where everything was free has consequences, means we must explore a range of different business opportunities and alternate value exchanges," Baker said.

> We must learn and expand different ways to support ourselves and build a business that isn't what we see today.

Perhaps I am wrong, but to me this reads as Mozilla plans to give up on not being evil and to do whatever it takes to make money. Sounds like Mozilla products will soon become toxic including Firefox if not forked. Also, looks like their hand is being forced by google.

Edit: formatting - also I hope I am wrong.
The core Gecko engineering group in Taipei was all laid off already back in 2018. I'm not sure what was left but apparently it wasn't considered very essential.
MicroStrategy first public company to buy Bitcoin as part of its capital alloc
You Can Fight Russia's Plans to Troll Americans During Campaign 2020
Sorry for being the pedantic one, but the article early on states "without writing a single line of JavaScript" and then, in the first code, after showing configuration files, one can read

<script type="module">
import init from "/wasm.js";
init();
</script>

So two lines of JavaScript ...
Looks like that is the sign in link, here's the one to join! https://join.slack.com/t/eventnative/shared_invite/zt-gincgy...
Based on the second post, seems to be anti-cheating code for games.

Ironically, this work might backfire in the long run if unscrupulous players are able to use cheats developed specifically to run under Linux.
I was very surprised to find this. I have done some WASM experiments and found that JS is very often incredibly well optimised, often running faster than WASM. Do not underestimate the years of JIT optimisations that went into V8 and other JS engines.
What are your nice to haves?
Ubuntu is still trying it - the Ubuntu desktop download page still prompts you to donate. You no longer have to pass it to get the download, though.
HN discussion: https://news.ycombinator.com/item?id=24120336
Full-stack Dlang framework https://github.com/huntlabs/hunt-framework
Refactoring is what you do to existing, rough production code as a prelude to developing new features on top of it, so that the new code is built on a solid foundation and the whole lot doesn’t degenerate into a big ball of mud.

Therefore, if refactoring is all that Fred does, he’s not adding value, he’s an OCD hack and/or make-work bluffer who’s masturbating the code for his own gratification. Sack his worthless disruptive ass and move forward already.
Retirement and the Silver Economy
I wish Lenovo gave a P53 and GTX graphics without the "gamery" glitz of the Legion lineup.

I really want a workstation class laptop where IO isn't severely limited. Lenovo really cuts down on USB-C and Display IO across their lineup, their marketing is misleading where on the t580 one of the USB-C ports only charges so you're left with just one thunderbolt USB-C port.

Right now I'm looking at the Clio based System76 series but not sure of their build quality.
While they wouldn't have used the Disney brand for that ;)
Young folks probably don't remember how close Apple was to dying in the late 90's. It was bad. Jobs is directly responsible for that huge turnaround.
Various aspects have been discussed several times in the past:

https://news.ycombinator.com/item?id=23634138

https://news.ycombinator.com/item?id=23684950

https://news.ycombinator.com/item?id=21725139
It must have been a somewhat dull first generation of stars and planets with only Hydrogen and Helium around.

On the other hand, giant stars explode after just a few million years so it didn't take long for other elements to appear.
Probably more than 30 minutes, SQL may look easy but using it correctly assumes a fairly good understanding of the relational model.

I agree that programmers too often seem to wave database design and integrity aside and create RDBMS/SQL worst-cases with ORMs and terrible queries, and then blame the tools.
So now we've gone from "mozilla should stop being political" to "mozilla's politics are just corporate speak"
I think that point is not as big as you think it is. Remember how big Firefox was back in the day? This was despite Microsoft pushing IE and bundling it with Windows.

Users nowadays have been conditioned that it’s perfectly normal to download Chrome after installing Windows / buying a new computer. If Google can do this, why not Mozilla?
The Twilio API connected to a Google Spreadsheet and run through Google Apps Scripts works very well for me.
The wikipedia entry is substantially different. The twitter version only labels 6 of 7 categories and what would appear to be multiple elements miscategorized.
0 to $150m+: Scaling Engineering Teams with FuboTV CTO Sung Ho Choi
Let's turn that around: How much would it cost to run a lean-and-mean Mozilla that just focuses on FireFox? How much does it cost to run an unfocused Mozilla that tries very hard to compete with all those huge platforms out there?

It's the latter company that I would not be willing to pay for, the former would have my cash, and more than they would likely expect from one single user. That's because I think that ceding the territory to Chrome/Edge is exactly what we do not need. (oh, and there is of course Safari, but Apple has other problems)
The only thing worse is the end result of no captcha at all.
Along with Facebook, internet and cell providers. That alone would add so much value to society.
750 employees with $350 million or more in revenue. It seems like they're just restructuring and using covid as cover. Maybe I'm wrong, but it kind of looks like that on the surface.
Isn't this true, to some degree, with all software distribution channels? Weren't CCleaner and FileZilla hacked to distribute malware alongside the main payload?
The structure is set up that because it reflects the goals of Mozilla. Firefox the browser is not the end goal, it's a means to making the internet a better place. And that's what the Foundation is about. The corporation also pays dividends to the Foundation in order to help fund their efforts, because it's the Foundation's work that matters more (in the long term) than Firefox.
One Google quirk I've been thinking about lately is the times when you search for something and the thing you want is the top advertised and organic result. Seems like a waste of money.

An example, if you search for "heroku" then you get an ad for heroku, which, yeah, is what I was searching for, but heroku is also the top result and obviously what I was looking for. Heroku is paying Google to provide Google with the search result that Google should've (and does) already identified as the right result.

I assume the reason these ads exist is because if they didn't competitors would take them, but still, it feels like an odd arrangement very much to Google's benefit where companies pay Google up prevent competitors from taking their traffic.
That's true, if the Interface Types proposal gets accepted that overhead should be significantly less. At that point it'll get really interesting what the potential performance looks like for DOM-interaction heavy apps.

https://github.com/WebAssembly/interface-types/blob/master/p...

I wouldn't think it's far behind. The Multi-Value proposal, which had huge ramifications, was recently accepted in April so WASM is clipping along at a fair pace still.

https://hacks.mozilla.org/2019/11/multi-value-all-the-wasm/
uBlock is a godsend indeed. Which ones do you disagree with, and why?
quick search, and I've found a quote of $1.8 per 1000 recaptchas with average response time of ~10s.
Chromium is known to be a fairly well-staffed project; it’s really not a great example to compare against.
Basically more performance and managed Sulong (blocks memory management errors in C/C++ you run on the JVM). And for native AOT compiled images, G1 garbage collector (which is itself open source but the integration isn't).
"Alas, Scott left."

https://news.ycombinator.com/item?id=23808741
Your two claims (Mozilla can't do anything other than Firefox, Firefox is not failing) are easy to provide counter-evidence to.

You're making strong statements here as fact that are not only subjective but which run against evidence.
What is the size of the served wasm binaries?
> Sounds like Mozilla products will soon become toxic including Firefox if not forked.

This is extremely worrisome. Has it not been demonstrated quite clearly that developing and maintaining a modern and secure web browser is a gargantuan task, almost on par with an OS itself? Isn't Mozilla really the only organization that currently stands a chance at keeping a truly free and open such browser in the game?

This is very troubling.
When you figure out that you still have to use the DOM and CSS you're gonna turn right back around like grandpa Simpson.
Actually the Fyre Festival LLC owned trademark is dead: http://tmsearch.uspto.gov/bin/showfield?f=doc&state=4806:ad5...

Seems two different companies have rushed to register it, XNO LLC and IMG Worldwide LLC - the XNO service mark application has been granted: http://tmsearch.uspto.gov/bin/showfield?f=doc&state=4806:ad5...

Their trademark for use on merchandise is currently pending a submittal of a Statement of Use: http://tmsearch.uspto.gov/bin/showfield?f=doc&state=4806:ad5...
The bitcoin network is much too slow for real economic behavior. I don't understand this, but then I've been ignoring bitcoin for a couple of years. Did they change the proof-of-work requirements? (If they did, they're just competing with other fiat currency)
So little of his work translated in English, it's a pity.

https://en.wikipedia.org/wiki/Nelson_Rodrigues#Works_in_Engl...
Why not both? This kind of incrementalism can cause stagnation.
Marx did not account for exactly the sort of behavior as described. The jackboot enters to enforce equality in that system very quickly because people will abuse it. I have seen people fight each other over mcdonands toys. Greed/Sloth knows no bounds, your particular monetary systems has to account for that. Most dont.
For macOS users:

Checkout Lenovo Carbon X1. It is one of the best things I own.

Ever picked up a macbook and paused for a second to think subconciously "it's gonna feel cold on my lap until it warms up to my body temp"? I know everytime I wanna use my macbook, the cold aluminum is such a pain. I think about it everytime I sit down with it.

With Carbon X1 (running macOS[1]), it just feels wonderful to touch, magnesium/carbon body is way lighter than anything Apple makes.

I think it is time for Apple to use magnesium alloys, soft touch coating and still maintain extremely premium/luxury aspect. Keyboard is amazing. LCD is on par with Apple or even better. I have the HD 2560x1440 400 nits model. There is a shutter for webcam.

I also opened it up and replaced the thermal paste with gallium since the heatsink is copper (can't do this if it is alumnium). It runs cool but there is a problem with the macOS battery management and that's being solved right now. Regardless, I still love this thing.

[1] https://github.com/tylernguyen/x1c6-hackintosh
I tried your demo and it looks really cool.
Do you have a discount coupon code on any platform?
I you think projects like Mozilla and Firefox are important donations can really go a long way. If enough people even donated ~$5/mo to projects like this, which is less than lots of people spend for Spotify or buying coffee, it would make open source privacy respecting projects a lot more viable.
First Ever AI-Powered Employee Performance
Anthrax Outbreak in Russia Thought to Be Result of Thawing Permafrost
Ah, so they threatened her kids. Sickening.
Microsoft does some of this for the worst offenders, see 'PhotoDNA'. For once something that they did that has no downsides that I can determine.
I don't agree. Big refactors are _hard_. They usually require levels of sustained focus at multiple layers of abstraction, and its really easy to get exhausted/burnt out or be forced to switch gears in the middle.

People learn by doing. And after a few such messes, the dev will learn how to do smaller refactors.
Until financial institutions are regulated again, regulating big tech is a big joke.
Donations to the Mozilla Foundation have no guarantee of going to the browser. From their website:

> The not-for-profit Mozilla Foundation supports open-source apps, web literacy curriculum, gender equality in tech and more.
Charging money doesn't necessarily mean they're going to start being evil.

In fact, they may be able to provide better and more secure products, if it means they can stop relying on Google/advertising/etc. to stay afloat.