uKVZe85V

TL;DR: A replacement for LaTeX mathematical notation, simpler to use, better suited, and not yet ready.

> Mathematical notation can be ambiguous. [...] bad for students, because understanding how to talk about the notation is part of learning. And it is bad for anyone listening with a screen reader, because the words they hear could be different than the intended meaning.

> Space Math is not a programming language: it is a convenient way to type math formulas while capturing the author's intent.

> Space Math looks a lot like LaTeX math with all the backslashes and spacing adjustments deleted. But you can leave in the backslashes if you wish.

> To take advantage of the new features of Space Math, insert spaces to indicate implied multiplication instead of a 2-letter variable, or function application instead of implied multiplication: c(t + 1) is the function c evaluated at t + 1, while c (t + 1) is the quantity c times the quantity t + 1. A little space makes all the difference. In TeX, those expressions are typeset identically and a screen reader has to guess how to pronounce them. In Space Math output, there will be a tiny gap to indicate the implied multiplication and a screen reader will pronounce both expressions correctly.

> Is the point of Space Math to capture the semantics of the math expressions?

> Space Math allows the writer to create the intended formula, and generally focuses on preserving the information needed to pronounce the expression correctly. When an expression can have multiple meanings, but the pronunciation is the same in all cases, typically Space Math does not attempt to make a distinction.

Great but apparently not coded yet?

> How can I use Space Math?

> Space Math is currently under development, with the specification of the language as the first goal.

> The second step is to write a parser, followed by output routines to convert Space Math to TeX or LaTeXML or MathML. This will enable Space Math to be used in PreTeXt. If Space Math is adopted by MathJax, then it can become widely available.

Thanks for the story. Can you share a link, please? I've tried a bunch, too, and not fully satisfied.

Even if such a law was enforced, there is a workaround: rent the consoles instead of selling them. That way, you don't legally own the console/phone/car you're playing with and they still can do whatever they want. Leasing is common for expensive items, down to cars, sometimes phones, it can be used for consoles, too. https://en.wikipedia.org/wiki/Lease

You seem irritated. Sorry if you think I caused this.

I also happen to sometimes miss guidance directions (happened a few days ago). Still, I doubt ambiguously referring to environmental features is an actual progress.

My feeling is that in both current and projected systems, the driver will need some experience to figure out the ambiguity.

I also anticipate cases where the AI will mislabel an object and ask to turn left at the X while there's clearly no X, or maybe actually an X but further away, causing misguidance.

> A conventional navigation system would tell the driver to turn right in 100 meters this is not very informative since drivers may not have an accurate sense of distance.

So, this is for the subpopulation of car drivers that have no accurate sense of distance? Mmh, okay.

> - follow the silver car to turn left

> - I can't see it

Not surprising. Colors are somewhat ambiguous, cultural and subjective. Greyish ("silver") is a very common color for a car. At this moment there were several car matching that description.

So, using color, at least in this case, is not accurate.

At least, with a distance, the information is somewhat well-defined.

> - okay follow the silver car in the leftmost lane

That's another silver car.

Wait, what's the benefit of mentioning that car, compared to saying "join the leftmost lane and follow it to turn left"? Or simply, "turn left".

Do they mean it is for drivers that can follow another car but not painted lanes?

What happens in low traffic when there's no other car to follow?

> turn left at the building with a billboard

There are several buildings with a billboard. One at around 100 meters, one at around 300 meters.

So, mentioning "a building with a billboard", at least in this case, is not accurate.

At least, with a distance, the information is somewhat well-defined.

> recent breakthroughs in object detection and recognition semantic segmentation motion analysis of dynamic objects and natural language processing technologies our system also makes use of high precision maps

"recent buzzword in buzzword and buzzword buzzword buzzword buzzword of buzzword and buzzword buzzword our system also makes use of buzzword".

> surveillance systems that understand complex scenes and interpret them for humans

Ah, this may be the real deal. No, thanks.

I've seen many of consent forms mention tracking beyond cookies and cross-devices.

Are you sure that by accepting you aren't just accepting legally to continue to be tracked with all other means?

If true, then deleting cookies only cause them to ask again next time, but you're still fully tracked.

See https://www.kompyte.com/blog/5-ways-to-identify-your-users-w... (just found it) for examples of tracking without cookies.

Didn't know that editor.

Here are some pros(+) and cons(-):

+ Is included in Debian!

+ Just works

+ Snappy

+ Extensive file parsing: extensive syntax highlighting but also brace matching, etc, including for less common languages like assembly.

+ Many plugins, easy to choose and install, just works.

~ No easy way to simple get a dark mode. Fiddling with plugins and editor theme can somehow get a mostly dark theme.

- Falls into the same traps as so many programs regarding keyboard layout: announces key shortcuts, like Ctrl-ClosingBracket, and if your keyboard is not standard qwerty you can't find any actual keypress combination that works. Fortunately, it's easy enough to edit your own, still it loses the (arguably important) convenience of an already existing set of keyboard shortcuts.

Thanks for the link. OP video is blurry, and starts at 29:42 of this video. This video is better quality, also.

Many people here will wonder which "MS" this is about. It is "multiple sclerosis", a medical condition.

> Gregory MS > I am a robot that indexes and identifies relevant research and clinical trials for Multiple Sclerosis

> Daily information on Multiple Sclerosis > For Doctors > For Researchers > For Patients

Snippets above might save a few clicks to some here.

On top of this plethora of technology and various providers, doesn't bonding all links to a single solution provider (Speedify) create a single point of failure?

From https://speedify.com/features/

> What kinds of servers do you have? > We use a combination of dedicated and virtual servers, depending on location and scalability needs. All of our servers have at least 1 Gbps network access and are optimized for bandwidth intensive usage such as live streaming, video conferencing or online gaming.

Let's assume the best case, where Speedify implements this as swarms of redundant servers, so that even if some servers or datacenters are down it may continue to work.

I could not find in the article any mention of disabling Speedify and falling back to using a single provider, or a local bonding solution like described on https://wiki.debian.org/Bonding .

Isn't speedify still a "single point of failure", in the sense that any incident with Speedify (e.g. accounting glitch of any kind) may cause the whole contraption to fall like a house of cards?

TL;DR: this looks like it is about methods to answer questions like "Was it event X that caused event Y?"

This feels difficult for a layman like me. Let's try to clear that up.

> However, as noted by Pearl, interventional queries only form part of a larger hierarchy of causal queries, with counterfactuals sitting at the top.

Regarding "Pearl", paper text cites:

> Tian, J.; and Pearl, J. 2000. Probabilities of causation: Bounds and identification. Annals of Mathematics and Artificial Intelligence, 28(1): 287–313.

which appears to be this: https://link.springer.com/article/10.1023/A:1018912507879

and appears to provide mathematical foundations to answering questions like "did event A cause event B" from observations.

Regarding the "hierarchy", this looks like a clear and very short introduction: http://web.cs.ucla.edu/~kaoru/3-layer-causal-hierarchy.pdf

From the very end of the paper:

> Causal inference is a tool that can have significant impact on society depending on its use. As such the authors are adamant that all uses of causal inference that could have negative societal impacts should be accompanied with the proper due diligence and fail-safes in order to minimize and even eliminate said negative impacts.

Does this translate to "Applications of this research might destroy society, please refrain"?

In this case, I think you're right, it's a small sample. More generally, the statistical power of a test [1] relates the sample size with the magnitude of the effect to test.

In other words, subtle effects need a huge population to distinguish from noise, while huge effects will show even with small populations. All this is very sensitive to bias due to selected population as always.

All in all, I agree, more research needed. Anyone knows more research about this, with bigger samples?

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

According to github https://github.com/ppelleti/json65 C 47.1%, Assembly 40.4%, Perl 9.4%, Haskell 3.1%.

Yes, it actually contains perl and haskell code [0].

[0]: https://github.com/ppelleti/json65/blob/master/run-tests.pl https://github.com/ppelleti/json65/tree/master/tools

Never underestimate the longevity of systems, since new systems tend to be built on top of old systems.

Though I do not know any, I'm pretty sure in 2021 there *are* mission/security-critical applications running on 6502s in a number of places in the world.

Where was that?

Thanks for that one, very funny, hahaha. Sure you can try to invite our nice terminal-juggling mouse friend at some huge old heavy sweaty dusty elephant home and see if they play well along.

Anyway, trying to always add genuine value, have you even Googled? Those come really easy: https://alternativeto.net/software/asciinema/ https://github.com/asciinema/asciinema/issues/150 https://github.com/asciinema/asciinema/issues/47

Short answer: a windows-friendly hackish branch exists. And original works if you're actually running asciinema in the port of Ubuntu that Microsoft ships with recent Win10. Does it satisfy any use case that you had in mind?

* "It's All Text" can be approximated with "Textern". That one requires Python3.5+ and a (short) manual install.

* "Easy Copy" -> no real replacement. Partial features at https://addons.mozilla.org/en-US/firefox/addon/copy-as-markd... and https://addons.mozilla.org/fr/firefox/addon/url2clipboard/ .

Not affiliated with these in any ways.

Glad you ask.

Great convenience with these little-known gems:

* "It's All Text" -> edit any text input area in your favorite editor, since after all it's all text. Hope the author updates quickly to webextensions.

* "Easy Copy" -> many use cases, for example select relevant words in any page, copy as Markdown link (or other markup) and paste in your other editor. Easy to adapt to any sane markup language.

Also:

* Display #anchors

* uBlock Origin

Given up Ghostery for shady business model.